On the decidability of query containment under constraints (1998)

by D Calvanese, G De Giacomo, M Lenzerini
Venue:In Proceedings of the 17th ACM SIGACT-SIGMODGlimm et al