Skip to Main content Skip to Navigation
New interface
Journal articles

Computing Possible and Certain Answers over Order-Incomplete Data

Antoine Amarilli 1 Mouhamadou Lamine Ba 2 Daniel Deutch 3 Pierre Senellart 4, 1 
1 DIG - Data, Intelligence and Graphs
LTCI - Laboratoire Traitement et Communication de l'Information
4 VALDA - Value from Data
DI-ENS - Département d'informatique - ENS Paris, Inria de Paris
Abstract : This paper studies the complexity of query evaluation for databases whose relations are partially ordered; the problem commonly arises when combining or transforming ordered data from multiple sources. We focus on queries in a useful fragment of SQL, namely positive relational algebra with aggregates, whose bag semantics we extend to the partially ordered setting. Our semantics leads to the study of two main computational problems: the possibility and certainty of query answers. We show that these problems are respectively NP-complete and coNP-complete, but identify tractable cases depending on the query operators or input partial orders. We further introduce a duplicate elimination operator and study its effect on the complexity results.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01891814
Contributor : Accord Elsevier CCSD Connect in order to contact the contributor
Submitted on : Wednesday, July 20, 2022 - 8:07:09 PM
Last modification on : Tuesday, October 25, 2022 - 4:17:52 PM
Long-term archiving on: : Friday, October 21, 2022 - 10:54:02 PM

File

S0304397519303214.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License

Identifiers

Citation

Antoine Amarilli, Mouhamadou Lamine Ba, Daniel Deutch, Pierre Senellart. Computing Possible and Certain Answers over Order-Incomplete Data. Theoretical Computer Science, 2019, 797, pp.42-76. ⟨10.1016/j.tcs.2019.05.013⟩. ⟨hal-01891814⟩

Share

Metrics

Record views

230

Files downloads

11