Abstract:We consider the task of enumerating and counting answers to $k$-ary conjunctive queries against relational databases that may be updated by inserting or deleting tuples. We exhibit a new notion of q-hierarchical conjunctive queries and show that these can be maintained efficiently in the following sense. During a linear time preprocessing phase, we can build a data structure that enables constant delay enumeration of the query results; and when the database is updated, we can update the data structure and restart the enumeration phase within constant time. For the special case of self-join free conjunctive queries we obtain a dichotomy: if a query is not q-hierarchical, then query enumeration with sublinear$^\ast$ delay and sublinear update time (and arbitrary preprocessing time) is impossible. For answering Boolean conjunctive queries and for the more general problem of counting the number of solutions of k-ary queries we obtain complete dichotomies: if the query's homomorphic core is q-hierarchical, then size of the the query result can be computed in linear time and maintained with constant update time. Otherwise, the size of the query result cannot be maintained with sublinear update time. All our lower bounds rely on the OMv-conjecture, a conjecture on the hardness of online matrix-vector multiplication that has recently emerged in the field of fine-grained complexity to characterise the hardness of dynamic problems. The lower bound for the counting problem additionally relies on the orthogonal vectors conjecture, which in turn is implied by the strong exponential time hypothesis. $^\ast)$ By sublinear we mean $O(n^{1-\varepsilon})$ for some $\varepsilon>0$, where $n$ is the size of the active domain of the current database.

The Dichotomy of Conjunctive Queries on Probabilistic Structures

The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs

Discovering Dichotomies for Problems in Database Theory

A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join

Faster Query Answering in Probabilistic Databases using Read-Once Functions

Answering Conjunctive Queries under Updates

What do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog have to do with one another?

Complete Approximations of Incomplete Queries

Semantics and Evaluation of Top-k Queries in Probabilistic Databases

Enumeration Algorithms for Conjunctive Queries with Projection

H-Tree: a hybrid structure for confidence computation in probabilistic databases

Probing the Quantitative-Qualitative Divide in Probabilistic Reasoning

A Simple Algorithm for Consistent Query Answering under Primary Keys

Consensus Answers for Queries over Probabilistic Databases.

Combined-Semantics Equivalence Is Decidable for a Practical Class of Conjunctive Queries

Conjunctive Queries over Trees

Ranked Enumeration of Conjunctive Query Results

Expected Shapley-Like Scores of Boolean Functions: Complexity and Applications to Probabilistic Databases

Tractable Circuits in Database Theory

A Topological Version of Schaefer's Dichotomy Theorem

A Dichotomy Theorem for the Approximate Counting of Complex-Weighted Bounded-Degree Boolean CSPs