Encyclopedia of Database Systems

2009 Edition
| Editors: LING LIU, M. TAMER ÖZSU

Query Containment

  • Rada Chirkova
Reference work entry
DOI: https://doi.org/10.1007/978-0-387-39940-9_1269

Definition

One query is contained in another if, independent of the values of the “stored data” (that is, database), the set of answers to the first query on the database is a subset of the set of answers to the second query on the same database. A formal definition of containment is as follows: denote with Q(D) the result of computing query Q over database D. A query Q1 is said to be contained in a query Q2, denoted by Q1Q2, if for all databases D, the set of tuples Q1(D) is a subset of the set of tuples Q2(D) – that is, Q1(D) ⊆ Q2(D). This definition of containment, as well as the related definition of query equivalence, can be used to specify query containment and equivalence on databases conforming to both relational and nonrelational data models, including XML and object-oriented databases.

Historical Background

Testing for query containment on finite databases is, in general, co-recursively enumerable: The procedure is going through all possible databases and simultaneously...

This is a preview of subscription content, log in to check access.

Recommended Reading

  1. 1.
    Abiteboul S., Hull R., and Vianu V. Foundations of Databases. Addison-Wesley, 1995.Google Scholar
  2. 2.
    Afrati F.N., Li C., and Mitra P. Rewriting queries using views in the presence of arithmetic comparisons. Theor. Comput. Sci., 368(1–2):88–123, 2006.zbMATHMathSciNetGoogle Scholar
  3. 3.
    Chandra A.K. and Merlin P.M. Optimal implementation of conjunctive queries in relational data bases. In Proc. 9th Annual ACM Symp. on Theory of Computing, 1977, pp. 77–90.Google Scholar
  4. 4.
    Halevy A.Y. Answering queries using views: A survey. VLDB J., 10(4):270–294, 2001.zbMATHGoogle Scholar
  5. 5.
    Jayram T.S., Kolaitis P.G., and Vee E. The containment problem for REAL conjunctive queries with inequalities. In Proc. 25th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems, 2006, pp. 80–89.Google Scholar
  6. 6.
    Kanellakis P.C. Elements of Relational Database Theory. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). Elsevier and the MIT Press, 1990, pp. 1073–1156.Google Scholar
  7. 7.
    Kimelfeld B. and Sagiv Y. Revisiting Redundancy and Minimization in an XPath Fragment. In Advances in Database Technology, Proc. 11th Int. Conf. on Extending Database Technology, 2008, pp. 61–72.Google Scholar
  8. 8.
    Klug A.C. On conjunctive queries containing inequalities. J. ACM, 35(1):146–160, 1988.zbMATHMathSciNetGoogle Scholar
  9. 9.
    Kolaitis P.G. and Vardi M.Y. Conjunctive-Query Containment and Constraint Satisfaction. J. Comput. Syst. Sci., 61(2):302–332, 2000.zbMATHMathSciNetGoogle Scholar
  10. 10.
    Miklau G. and Suciu D. Containment and equivalence for a fragment of XPath. J. ACM, 51(1):2–45, 2004.MathSciNetGoogle Scholar
  11. 11.
    Saraiya Y. Subtree elimination algorithms in deductive databases. Ph.D. thesis, Stanford University, 1991.Google Scholar
  12. 12.
  13. 13.
    Ullman J.D. Principles of Database and Knowledge-Base Systems, Volume II. Computer Science press, 1989.Google Scholar
  14. 14.
    Ullman J.D. The database approach to knowledge representation. In Proc. 13th National Conf. on Artificial Intelligence and 8th Innovative Applications of AI Conf., Volume 2, 1996, pp. 1346–1348.Google Scholar
  15. 15.
    Ullman J.D. Information integration using logical views. Theor. Comput. Sci., 239(2):189–210, 2000.zbMATHMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  • Rada Chirkova
    • 1
  1. 1.North Carolina State UniversityRaleighUSA