Formalization and correctness of the CQC method
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97404
Tipus de documentReport de recerca
Data publicació2002-11
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióFarre, C., Teniente, E., Urpi, T. "Formalization and correctness of the CQC method". 2002.
Forma partLSI-02-68-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R02-68.ps | 1,859Mb | Postscript | Visualitza/Obre |