On the Decidability of Query Containment under Constraints.

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Browse the full PODS paper archive.