On the decidability of query containment under constraints (1998)

by D Calvanese, G De Giacomo, M Lenzerini
Venue:In Proc. of PODS’98