The Constructive method for query containment checking (extended version)
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/93040
Tipus de documentReport de recerca
Data publicació1999-07
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
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.
CitacióFarre, C., Teniente, E., Urpi, T. "The Constructive method for query containment checking (extended version)". 1999.
Forma partR99-23
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R99-23.pdf | 203,1Kb | Visualitza/Obre |