On the Decidability of Query Containment under Constraints


Query containment under constraints is the problem of checking whether for every database satisfying a given set of constraints, the result of one query is a subset of the result of another query, Recent research points out that this is a central problem in severa database applications, and we address it within A setting where constraints are specified in… (More)
DOI: 10.1145/275487.275504


4 Figures and Tables