Leveraging the structure of uncertain data

Abstract : The management of data uncertainty can lead to intractability, in the case of probabilistic databases, or even undecidability, in the case of open-world reasoning under logical rules. My thesis studies how to mitigate these problems by restricting the structure of uncertain data and rules. My first contribution investigates conditions on probabilistic relational instances that ensure the tractability of query evaluation and lineage computation. I show that these tasks are tractable when we bound the treewidth of instances, for various probabilistic frameworks and provenance representations. Conversely, I show intractability under mild assumptions for any other condition on instances. The second contribution concerns query evaluation on incomplete data under logical rules, and under the finiteness assumption usually made in database theory. I show that this task is decidable for unary inclusion dependencies and functional dependencies. This establishes the first positive result for finite open-world query answering on an arbitrary-arity language featuring both referential constraints and number restrictions.
Document type :
Theses
Complete list of metadatas

Cited literature [139 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01345836
Contributor : Abes Star <>
Submitted on : Wednesday, October 26, 2016 - 10:41:11 AM
Last modification on : Thursday, October 17, 2019 - 12:36:09 PM

File

TheseAmarilli.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01345836, version 2

Citation

Antoine Amarilli. Leveraging the structure of uncertain data. Databases [cs.DB]. Télécom ParisTech, 2016. English. ⟨NNT : 2016ENST0021⟩. ⟨tel-01345836v2⟩

Share

Metrics

Record views

1287

Files downloads

555