Loading...
Loading...

Go to the content (press return)

Formalization and correctness of the CQC method

Author
Farré, C.; Teniente, E.; Urpi, T.
Type of activity
Report
Date
2002-11
Code
LSI-02-68-R
Repository
http://hdl.handle.net/2117/97404 Open in new window
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.
Citation
Farre, C., Teniente, E., Urpi, T. "Formalization and correctness of the CQC method". 2002.
Keywords
CQC, Query containment
Group of research
GESSI - Group of Software and Service Engineering
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments