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...
| Authors: | , , |
|---|---|
| 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 |