On the decidability of query containment under constraints (1998)

by Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
Venue:In Proc. 17th ACM Symposium on Principles of Database Systems