Formalization and correctness of the CQC method

View/Open
Cita com:
hdl:2117/97404
Document typeResearch report
Defense date2002-11
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
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.
CitationFarre, C., Teniente, E., Urpi, T. "Formalization and correctness of the CQC method". 2002.
Is part ofLSI-02-68-R