On the Decidability of Query Containment under Constraints (1998)

by D Calvanese, G De Giacomo, M Lenzerini
Venue:In Proc. of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS ’98