Title:
|
Query containment with negated IDB predicates (extended version)
|
Author:
|
Teniente López, Ernest; Farré Tost, Carles; Urpí Tubella, Antoni
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
Abstract:
|
We present a method that checks Query Containment for queries with
negated IDB predicates. Existing methods either deal only with
restricted cases of negation or do not check actually containment but
uniform containment, which is a sufficient but not necessary condition
for containment. Additionally, our queries may also contain equality,
inequality and order comparisons. The generality of our approach allows
our method to deal straightforwardly with query containment under
constraints. Our method is sound and complete both for success and for
failure and we characterize the databases where these properties hold.
We also state the class of queries that can be decided by our method. |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica -Query containment -Negated IDB predicates -Databases |
Rights:
|
|
Document type:
|
Article - Published version Report |
Share:
|
|