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.

Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm

Preventing Groundings and Handling Evidence in the Lifted Junction Tree Algorithm

Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm

On the Completeness and Complexity of the Lifted Dynamic Junction Tree Algorithm

The expressive language ALCNHR+K(D) for knowledge reasoning

Lifted Inference beyond First-Order Logic

Constraint Processing in Lifted Probabilistic Inference

Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability

Counting Query Answers over a DL-Lite Knowledge Base (extended version)

Consistent Query Answering for Primary Keys and Conjunctive Queries with Counting

Lifted Causal Inference in Relational Domains

Conjunctive Queries over Trees

An extended view on lifting Gaussian Bayesian networks

Workload-Aware Materialization of Junction Trees

Enumeration and updates for conjunctive linear algebra queries through expressibility

Answering Conjunctive Queries under Updates

Lifted Variable Elimination: A Novel Operator and Completeness Results

Why is Compiling Lifted Inference into a Low-Level Language so Effective?

Lifted Graphical Models: A Survey

Linear Programs with Conjunctive Database Queries

Query answering in lattice-based description logic