Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/21588
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bonifati, Angela | - |
dc.contributor.author | Nutt, Werner | - |
dc.contributor.author | Torlone, Riccardo | - |
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.date.accessioned | 2016-06-30T12:04:36Z | - |
dc.date.available | 2016-06-30T12:04:36Z | - |
dc.date.issued | 2016 | - |
dc.identifier.citation | VLDB JOURNAL, 25 (3), p. 381-397 | - |
dc.identifier.issn | 1066-8888 | - |
dc.identifier.uri | http://hdl.handle.net/1942/21588 | - |
dc.description.abstract | Conjunctive database queries have been extended with a mechanism for object creation to capture important applications such as data exchange, data integration, and ontology-based data access. Object creation generates new object identifiers in the result that do not belong to the set of constants in the source database. The new object identifiers can be also seen as Skolem terms. Hence, object-creating conjunctive queries can also be regarded as restricted second-order tuple-generating dependencies (SO-tgds), considered in the data exchange literature. In this paper, we focus on the class of single-function object-creating conjunctive queries, or sifo CQs for short. The single-function symbol can be used only once in the head of the query. We give a new characterization for oid-equivalence of sifo CQs that is simpler than the one given by Hull and Yoshikawa and places the problem in the complexity class NP. Our characterization is based on Cohen's equivalence notions for conjunctive queries with multiplicities. We also solve the logical entailment problem for sifo CQs, showing that also this problem belongs to NP. Results by Pichler et al. have shown that logical equivalence for more general classes of SO-tgds is either undecidable or decidable with as yet unknown complexity upper bounds. | - |
dc.description.sponsorship | We thank the anonymous referees for their careful comments which helped improve the presentation of the paper. The work by Angela Bonifati has been partially supported by the ANR through the grant Datacert: Coq deep specification of security aware data integration (ANR-15-CE39-0009). The work by Werner Nutt has been partially supported by the grant CANDy of the Free University of Bozen-Bolzano. | - |
dc.language.iso | en | - |
dc.publisher | SPRINGER | - |
dc.rights | © Springer-Verlag Berlin Heidelberg 2016 | - |
dc.subject.other | conjunctive query; object creation; oid; equivalence; logical entailment; SO-tgd; Sifo CQ; nested tgd; schema mapping | - |
dc.subject.other | Conjunctive query; Object creation; Oid; Equivalence; Logical entailment; SO-tgd; Sifo CQ; Nested tgd; Schema mapping | - |
dc.title | Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries | - |
dc.type | Journal Contribution | - |
dc.identifier.epage | 397 | - |
dc.identifier.issue | 3 | - |
dc.identifier.spage | 381 | - |
dc.identifier.volume | 25 | - |
local.format.pages | 17 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.notes | [Bonifati, Angela] Univ Lyon 1, LIRIS, F-69365 Lyon, France. [Nutt, Werner] Free Univ Bozen Bolzano, Bolzano, Italy. [Torlone, Riccardo] Univ Rome Tre, I-00146 Rome, Italy. [Van den Bussche, Jan] Hasselt Univ, Hasselt, Belgium. [Van den Bussche, Jan] Transnat Univ Limburg, Hasselt, Belgium. | - |
local.publisher.place | NEW YORK | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.identifier.doi | 10.1007/s00778-016-0421-x | - |
dc.identifier.isi | 000376263400005 | - |
item.accessRights | Open Access | - |
item.fulltext | With Fulltext | - |
item.fullcitation | Bonifati, Angela; Nutt, Werner; Torlone, Riccardo & VAN DEN BUSSCHE, Jan (2016) Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries. In: VLDB JOURNAL, 25 (3), p. 381-397. | - |
item.contributor | Bonifati, Angela | - |
item.contributor | Nutt, Werner | - |
item.contributor | Torlone, Riccardo | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
item.validation | ecoom 2017 | - |
crisitem.journal.issn | 1066-8888 | - |
crisitem.journal.eissn | 0949-877X | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
art%3A10.1007%2Fs00778-016-0421-x.pdf Restricted Access | Published version | 884.96 kB | Adobe PDF | View/Open Request a copy |
1503.01707v2.pdf | Non Peer-reviewed author version | 310.06 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
1
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
1
checked on Aug 11, 2024
Page view(s)
48
checked on Sep 7, 2022
Download(s)
104
checked on Sep 7, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.