Query containment checking as a view updating problem

In this paper we present a new approach that handles query containment problems by expressing them as a view updating problem. Since this approach is independent of any particular view updating method, it provides a general framework that joins research efforts in both the query containment checking...

Full description

Bibliographic Details
Authors: Farré Tost, Carles|||0000-0001-5814-3782, Teniente López, Ernest|||0000-0001-8890-9638, Urpí Tubella, Antoni|||0000-0002-5900-1492
Format: report
Publication Date:1998
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:English
OAI Identifier:oai:upcommons.upc.edu:2117/84378
Online Access:https://hdl.handle.net/2117/84378
Access Level:Open access
Keyword:Query containtment
Checking
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
id ES_f0d2e7d8935df3706b387cdd1ea02f19
oai_identifier_str oai:upcommons.upc.edu:2117/84378
network_acronym_str ES
network_name_str España
repository_id_str
spelling Query containment checking as a view updating problemFarré Tost, Carles|||0000-0001-5814-3782Teniente López, Ernest|||0000-0001-8890-9638Urpí Tubella, Antoni|||0000-0002-5900-1492Query containtmentCheckingÀrees temàtiques de la UPC::Informàtica::Sistemes d'informacióIn this paper we present a new approach that handles query containment problems by expressing them as a view updating problem. Since this approach is independent of any particular view updating method, it provides a general framework that joins research efforts in both the query containment checking and view updating fields. In particular, the larger development of current view updating technology allows us to check properly query containment when considering negative-derived literals 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. Therefore, an important outcome of our proposal is that, to the best of our knowledge, it is the first approach that checks true query containment instead of uniform query containment in the presence of negation and integrity constraints.19981998-06-0120162016-03-15reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/84378reponame: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/843782026-05-27T15:37:01Z
dc.title.none.fl_str_mv Query containment checking as a view updating problem
title Query containment checking as a view updating problem
spellingShingle Query containment checking as a view updating problem
Farré Tost, Carles|||0000-0001-5814-3782
Query containtment
Checking
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
title_short Query containment checking as a view updating problem
title_full Query containment checking as a view updating problem
title_fullStr Query containment checking as a view updating problem
title_full_unstemmed Query containment checking as a view updating problem
title_sort Query containment checking as a view updating problem
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 containtment
Checking
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
topic Query containtment
Checking
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
description In this paper we present a new approach that handles query containment problems by expressing them as a view updating problem. Since this approach is independent of any particular view updating method, it provides a general framework that joins research efforts in both the query containment checking and view updating fields. In particular, the larger development of current view updating technology allows us to check properly query containment when considering negative-derived literals 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. Therefore, an important outcome of our proposal is that, to the best of our knowledge, it is the first approach that checks true query containment instead of uniform query containment in the presence of negation and integrity constraints.
publishDate 1998
dc.date.none.fl_str_mv 1998
1998-06-01
2016
2016-03-15
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/84378
url https://hdl.handle.net/2117/84378
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_ 1869424043979964416
score 15.300719