Advertisement

Acta Informatica

, Volume 38, Issue 7, pp 489–529 | Cite as

A general procedure to check conjunctive query containment

  • Miguel R. Penabad
  • Nieves R. Brisaboa
  • Héctor J. Hernández
  • José R. Paramá
Original article

Abstract.

In this paper, we present a general procedure to test conjunctive query containment. We divide the containment problem into four categories, taking into account the underlying semantics (set or bag theoretic) and the presence or absence of built-in predicates in the queries.

After a brief review of previous work on conjunctive query containment, we present a new procedure, called QCC (Query Containment Checker), which we show to be a general and uniform procedure to check the containment among conjunctive queries under the four categories mentioned above. We briefly describe the use of QCC to check bag containment of conjunctive queries, and explain in detail how to use QCC to check set containment of conjunctive queries with built-in predicates. In our conclusions, we point out some uses of QCC for other types of containment.

Keywords

General Procedure Conjunctive Query Uniform Procedure Containment Problem Query Containment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Miguel R. Penabad
    • 1
  • Nieves R. Brisaboa
    • 1
  • Héctor J. Hernández
    • 2
  • José R. Paramá
    • 1
  1. 1.Departamento de Computación, Facultade de Informática, Universidade Da Coru na, A Coru na, E-15071 Spain (e-mail: {penabad,brisaboa,parama}@udc.es) ES
  2. 2.Department of Computer Science, Texas Tech University, Lubbock, TX, USA 79409 (e-mail: hector@cs.ttu.edu) US

Personalised recommendations