The Constructive method for query containment checking (extended version)

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...

Descripción completa

Detalles Bibliográficos
Autores: Farré Tost, Carles|||0000-0001-5814-3782, Teniente López, Ernest|||0000-0001-8890-9638, Urpí Tubella, Antoni|||0000-0002-5900-1492
Tipo de recurso: informe técnico
Fecha de publicación:1999
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/93040
Acceso en línea:https://hdl.handle.net/2117/93040
Access Level:acceso abierto
Palabra clave:Query containment
Uniform containment
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
id ES_7d0c31fbd5d64fab717c7bb940ad30cf
oai_identifier_str oai:upcommons.upc.edu:2117/93040
network_acronym_str ES
network_name_str España
repository_id_str
spelling The Constructive method for query containment checking (extended version)Farré Tost, Carles|||0000-0001-5814-3782Teniente López, Ernest|||0000-0001-8890-9638Urpí Tubella, Antoni|||0000-0002-5900-1492Query containmentUniform containmentÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació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.19991999-07-0120162016-11-07reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/93040reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/930402026-05-27T15:37:01Z
dc.title.none.fl_str_mv The Constructive method for query containment checking (extended version)
title The Constructive method for query containment checking (extended version)
spellingShingle The Constructive method for query containment checking (extended version)
Farré Tost, Carles|||0000-0001-5814-3782
Query containment
Uniform containment
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
title_short The Constructive method for query containment checking (extended version)
title_full The Constructive method for query containment checking (extended version)
title_fullStr The Constructive method for query containment checking (extended version)
title_full_unstemmed The Constructive method for query containment checking (extended version)
title_sort The Constructive method for query containment checking (extended version)
dc.creator.none.fl_str_mv Farré Tost, Carles|||0000-0001-5814-3782
Teniente López, Ernest|||0000-0001-8890-9638
Urpí Tubella, Antoni|||0000-0002-5900-1492
author Farré Tost, Carles|||0000-0001-5814-3782
author_facet Farré Tost, Carles|||0000-0001-5814-3782
Teniente López, Ernest|||0000-0001-8890-9638
Urpí Tubella, Antoni|||0000-0002-5900-1492
author_role author
author2 Teniente López, Ernest|||0000-0001-8890-9638
Urpí Tubella, Antoni|||0000-0002-5900-1492
author2_role author
author
dc.subject.none.fl_str_mv Query containment
Uniform containment
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
topic Query containment
Uniform containment
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
description 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.
publishDate 1999
dc.date.none.fl_str_mv 1999
1999-07-01
2016
2016-11-07
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/93040
url https://hdl.handle.net/2117/93040
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411634412257280
score 15,300724

Similares en LA Referencia