Skip to Main content Skip to Navigation
Conference papers

Uniform Reliability of Self-Join-Free Conjunctive Queries

Abstract : The reliability of a Boolean Conjunctive Query (CQ) over a tuple-independent probabilistic database is the probability that the CQ is satisfied when the tuples of the database are sampled one by one, independently, with their associated probability. For queries without self-joins (repeated relation symbols), the data complexity of this problem is fully characterized in a known dichotomy: reliability can be computed in polynomial time for hierarchical queries, and is #P-hard for non-hierarchical queries. Hierarchical queries also characterize the tractability of queries for other tasks: having read-once lineage formulas, supporting insertion/deletion updates to the database in constant time, and having a tractable computation of tuples' Shapley and Banzhaf values. In this work, we investigate a fundamental counting problem for CQs without self-joins: how many sets of facts from the input database satisfy the query? This is equivalent to the uniform case of the query reliability problem, where the probability of every tuple is required to be 1/2. Of course, for hierarchical queries, uniform reliability is in polynomial time, like the reliability problem. However, it is an open question whether being hierarchical is necessary for the uniform reliability problem to be in polynomial time. In fact, the complexity of the problem has been unknown even for the simplest non-hierarchical CQs without self-joins. We solve this open question by showing that uniform reliability is #P-complete for every nonhierarchical CQ without self-joins. Hence, we establish that being hierarchical also characterizes the tractability of unweighted counting of the satisfying tuple subsets. We also consider the generalization to query reliability where all tuples of the same relation have the same probability, and give preliminary results on the complexity of this problem.
Complete list of metadata

https://hal.telecom-paris.fr/hal-03712202
Contributor : Antoine Amarilli Connect in order to contact the contributor
Submitted on : Saturday, July 2, 2022 - 4:46:39 PM
Last modification on : Monday, July 11, 2022 - 3:45:25 PM

File

LIPIcs-ICDT-2021-17.pdf
Publisher files allowed on an open archive

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Collections

Citation

Antoine Amarilli, Benny Kimelfeld. Uniform Reliability of Self-Join-Free Conjunctive Queries. 24th International Conference on Database Theory (ICDT 2021), Mar 2021, Nicosia, Cyprus. ⟨10.4230/LIPIcs.ICDT.2021.17⟩. ⟨hal-03712202⟩

Share

Metrics

Record views

1113

Files downloads

4728