Consistent Query Answering for Primary Keys and Conjunctive Queries with Counting
Aziz Amezian El Khalfioui, Jef Wijsen

TL;DR
This paper extends consistent query answering to include counting occurrences of values in query answers, introducing a new class of queries, C_parsimony, that precisely characterizes those allowing efficient counting through repairs.
Contribution
It defines the class C_parsimony, proving it exactly captures self-join-free conjunctive queries with parsimonious counting, advancing understanding of query classes for counting in repairs.
Findings
C_parsimony contains all self-join-free conjunctive queries with parsimonious counting
C_forest is a subset of C_parsimony, but not equal
Efficient counting can be characterized by syntactic query classes
Abstract
The problem of consistent query answering for primary keys and self-join-free conjunctive queries has been intensively studied in recent years and is by now well understood. In this paper, we study an extension of this problem with counting. The queries we consider count how many times each value occurs in a designated (possibly composite) column of an answer to a full conjunctive query. In a setting of database repairs, we adopt the semantics of [Arenas et al., ICDT 2001] which computes tight lower and upper bounds on these counts, where the bounds are taken over all repairs. Ariel Fuxman defined in his PhD thesis a syntactic class of queries, called C_forest, for which this computation can be done by executing two first-order queries (one for lower bounds, and one for upper bounds) followed by simple counting steps. We use the term "parsimonious counting" for this computation. A…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Database Systems and Queries · Data Management and Algorithms · Logic, Reasoning, and Knowledge
