Consistency Checking in Complex Object database Schemata with Integrity Constraints” in (1988)

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