Loading...
Loading...

Go to the content (press return)

The Constructive Method for Query Containment Checking (extended version)

Author
Farré, C.; Teniente, E.; Urpi, T.
Type of activity
Report
Date
1999-07
Code
R99-23
Repository
http://hdl.handle.net/2117/93040 Open in new window
Abstract
We present a new method that checks Query Containment for queries with negated derived atoms and/or integrity constraints. Existing methods for Query Containment checking that deal with these cases do not check actually containment but another related property called uniform containment, which is a sufficient but not necessary condition for containment. Our method can be seen as an extension of the canonical databases approach beyond the class of conjunctive queries.
Citation
Farre, C., Teniente, E., Urpi, T. "The Constructive method for query containment checking (extended version)". 1999.
Keywords
Query containment, Uniform containment
Group of research
GESSI - Group of Software and Service Engineering
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments