Checking query containment with the CQC method

  title={Checking query containment with the CQC method},
  author={Carles Farr{\'e} and Ernest Teniente and Toni Urp{\'i}},
  journal={Data Knowl. Eng.},
We present the Constructive Query Containment (CQC) method to check query containment and query containment under constraints for queries over databases with safe negation in both IDB and EDB subgoals and with or without built-in predicates. The aim of the CQC method is to construct a counterexample that proves that the query containment relationship being checked does not hold. The method uses different Variable Instantiation Patterns (VIPs) to generate only relevant counterexamples according… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS
25 Citations
55 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 25 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…