On the decidability of query containment under constraints (1998)

by D Calvanese, G De Giacomo, M Lenzerini
Venue:In Proc. of the Seventeenth ACM SIGACT SIGMOD Sym. on Principles of Database Systems (PODS-98