An efficient method for checking object-oriented database schema correctness
1998 ◽
Vol 23
(3)
◽
pp. 333-368
◽