Return to Article Details Correctness of object-oriented database schema Download Download PDF