3 research outputs found
The Constructive method for query containment checking (extended version)
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.Postprint (published version
Query containment checking as a view updating problem
In this paper we present a new approach that handles query
containment problems by expressing them as a view updating
problem. Since this approach is independent of any particular view
updating method, it provides a general framework that joins research
efforts in both the query containment checking and view updating
fields. In particular, the larger development of current view updating
technology allows us to check properly query containment when
considering negative-derived literals 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. Therefore, an important outcome
of our proposal is that, to the best of our knowledge, it is the first
approach that checks true query containment instead of uniform
query containment in the presence of negation and integrity
constraints.Postprint (published version
A General procedure to test conjunctive query containment
Resumo
En esta tesis se presenta un procedimiento sintáctico que permite comprobar si una consulta Q esta incluida en otra consulta Q', Para ello se consideran los dos siguientes factores.
La presencia de predicados builtin en las consultas: son predicados son significado, tales como =, <, etc. Si una consulta puede tener predicados de este tipo decimos que es una consulta con desigualdades, en otro caso una consulta con igualdades.
La semátnica utilizada puede ser de conjuntos (sin duplicados de tuplas en las relaciones) o de bolsas (con duplicados).
Teniendo en cuenta estos dos factores, en esta tesise se estudia el problema de la inclusión bajo cuatro puntos de vista:
- Inclusión de consultas con igualdades bajo la semántica de conjuntos.
- Inclusión de consultas con igualdades bajo la semántica de conjuntos.
- Inclusión de consultas con desigualdades bajo la semántica de bolsas.
- Inclusión de consultas con desigualdades bajo la semántica de bolsas.
El procedimiento prestado en esta tesis es homogéneo para comprobar la inclusión bajo estos cuatro puntos de vista, y consta de tres pasos:
1,- Construir el conjunto de bases de datos canónicas a partir de Q.
2,- Aplicar Q y Q' sobre todas las bases de datos canónicas.
3,- Comprobar la inclusión solamente en las bases de datos canónicas