Formalization and correctness of the CQC method
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 p...
| Autores: | , , |
|---|---|
| Formato: | informe técnico |
| Fecha de publicación: | 2002 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/97404 |
| Acesso em linha: | https://hdl.handle.net/2117/97404 |
| Access Level: | acceso abierto |
| Palavra-chave: | Query containment CQC Àrees temàtiques de la UPC::Informàtica |
| Resumo: | 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. |
|---|