Abstract:Counting the number of answers to conjunctive queries is a fundamental problem in databases that, under standard assumptions, does not have an efficient solution. The issue is inherently #P-hard, extending even to classes of acyclic instances. To address this, we pinpoint tractable classes by examining the structural properties of instances and introducing the novel concept of #-hypertree decomposition. We establish the feasibility of counting answers in polynomial time for classes of queries featuring bounded #-hypertree width. Additionally, employing novel techniques from the realm of fixed-parameter computational complexity, we prove that, for bounded arity queries, the bounded #-hypertree width property precisely delineates the frontier of tractability for the counting problem. This result closes an important gap in our understanding of the complexity of such a basic problem for conjunctive queries and, equivalently, for constraint satisfaction problems (CSPs). Drawing upon #-hypertree decompositions, a ''hybrid'' decomposition method emerges. This approach leverages both the structural characteristics of the query and properties intrinsic to the input database, including keys or other (weaker) degree constraints that limit the permissible combinations of values. Intuitively, these features may introduce distinct structural properties that elude identification through the ''worst-possible database'' perspective inherent in purely structural methods.

Counting the Number of Solutions to Constraints

Decomposition Strategies to Count Integer Solutions over Linear Constraints

Approximate Integer Solution Counts over Linear Arithmetic Constraints

Approximate Model Counting

Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems

Constraint problem solving based on geometric abstraction

Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm

Organization mechanism and counting algorithm on Vertex-Cover solutions

Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability

SMT Solving for the Theory of Ordering Constraints.

Approximate Model Counting, Sparse XOR Constraints and Minimum Distance

Computing and Estimating the Volume of the Solution Space of SMT(LA) Constraints

Counting the number of solutions in satisfiability problems with tensor-network message passing

The Underlying Interactive Chain Structure In The Solution Space Of Constraint Satisfaction Problems

Two Spatial Constraint Solving Algorithms

A new approach to model counting

Constant Unary Constraints and Symmetric Real-Weighted Counting Constraint Satisfaction Problems

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic

A spatial constraint template problem

The BIN_COUNTS Constraint: Filtering and Applications

Fast Sampling and Counting K-Sat Solutions in the Local Lemma Regime.