Title:
|
The Constructive method for query containment checking (extended version)
|
Author:
|
Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
Abstract:
|
We present a new method that checks Query Containment for queries with negated derived atoms and/or integrity constraints.
Existing methods for Query Containment checking that deal with these cases do not check actually containment but another
related property called uniform containment, which is a sufficient but not necessary condition for containment. Our method can
be seen as an extension of the canonical databases approach beyond the class of conjunctive queries. |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -Query containment -Uniform containment |
Rights:
|
|
Document type:
|
Article - Published version Report |
Share:
|
|