An Efficient Method for Checking Object-Oriented Database Schema Correctness. - Formica, A.; Groger, H. D.; Missikoff, M. (ACM Transactions on Database Systems, 1998)