Consistency checking in complex object database schemata with integrity constraints (1998)

by D Beneventano, S Bergamaschi, S Lodi, C Sartori
Venue:IEEE Transactions on Knowledge and Data Engineering