CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving
Summary: CAvSAT: CQA via SAT reductions for SPJ queries with SUM/COUNT aggregations on inconsistent databases. First to support unions of SPJ with aggregation under keys, FDs, and denial constraints, via natural reductions to SAT and its optimization variants for consistent answers. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Akhil A. Dixit (University of California Santa Cruz)
- 2. Phokion G. Kolaitis (IBM; University of California Santa Cruz)
BibTeX Citation
@inproceedings{dixit_sigmod21,
title = {{CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving}},
author = {Dixit, Akhil A. and Kolaitis, Phokion G.},
series = {{SIGMOD} '21},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/3448016.3452749},
url = {https://dl.acm.org/doi/10.1145/3448016.3452749},
year = {2021}
}Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,121 | Consistent Query Answering for Primary Keys on Rooted Tree Queries | 2024 | PODS | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 6 of 6 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 33 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS | 0.00049907763 |
| 586 | ConQuer: Efficient Management of Inconsistent Databases | 2005 | SIGMOD | 0.00016124396 |
| 1,707 | The Data Complexity of Consistent Query Answering for Self-Join-Free Conjunctive Queries Under Primary Key Constraints | 2015 | PODS | 9.9625097e-05 |
| 2,551 | Efficient Querying of Inconsistent Databases with Binary Integer Programming | 2013 | VLDB | 8.4290374e-05 |
| 5,330 | ConQuer: A System for Efficient Querying Over Inconsistent Databases | 2005 | VLDB | 6.2631441e-05 |
| 8,228 | CAvSAT: A System for Query Answering over Inconsistent Databases | 2019 | SIGMOD | 5.4621278e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 11,121 | Consistent Query Answering for Primary Keys on Rooted Tree Queries | 2024 | PODS |
| 2 | 33 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS |
| 3 | 5,773 | Consistent Query Answering for Primary Keys and Conjunctive Queries with Negated Atoms | 2018 | PODS |
| 4 | 5,648 | Consistent Query Answers in Inconsistent Probabilistic Databases | 2010 | SIGMOD |
| 5 | 9,921 | Combined Approximations for Uniform Operational Consistent Query Answering | 2024 | PODS |
| 6 | 7,712 | Uniform Operational Consistent Query Answering | 2022 | PODS |
| 7 | 6,674 | Benchmarking Approximate Consistent Query Answering | 2021 | PODS |
| 8 | 11,384 | LinCQA: Faster Consistent Query Answering with Linear Time Guarantees | 2023 | SIGMOD |
| 9 | 5,619 | An Operational Approach to Consistent Query Answering | 2018 | PODS |
| 10 | 8,228 | CAvSAT: A System for Query Answering over Inconsistent Databases | 2019 | SIGMOD |