Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/97404
Título:
|
Formalization and correctness of the CQC method
|
Autor/a:
|
Farré Tost, Carles; Teniente López, Ernest; Urpí Tubella, Antoni
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
Abstract:
|
In this report we formalize a new method that checks Query
Containment for queries with negated IDB and EDB predicates as well as
equality, inequality and order comparisons. The generality of our
approach allows also our method to deal straightforwardly with query
containment under constraints. We prove soundness and completeness of
success and of failure of our method and we characterize the databases
where these properties hold. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica -Query containment -CQC |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem