Abstract
The problem of query containment asks whether the answer to one query is always contained in the answer to another query for every database. Chandra and Merlin showed that this problem is decidable for conjunctive queries [6]. In this note we discuss query containment relative to database integrity constraints or (recursively defined) views, where both the integrity constraints and views are defined by (disjunctive) Datalog or first-order logic.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
