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
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10,899 | Consistent Query Answering for Primary Keys on Rooted Tree Queries | 2024 | PODS | 4.1945683e-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 |
|---|---|---|---|---|
| 49 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS | 0.00067660624 |
| 678 | ConQuer: Efficient Management of Inconsistent Databases | 2005 | SIGMOD | 0.00018253213 |
| 2,243 | The Data Complexity of Consistent Query Answering for Self-Join-Free Conjunctive Queries Under Primary Key Constraints | 2015 | PODS | 9.2166927e-05 |
| 3,524 | Efficient Querying of Inconsistent Databases with Binary Integer Programming | 2013 | VLDB | 7.0087032e-05 |
| 5,389 | ConQuer : A System for Efficient Querying Over Inconsistent Databases | 2005 | VLDB | 5.5368328e-05 |
| 8,166 | CAvSAT: A System for Query Answering over Inconsistent Databases | 2019 | SIGMOD | 4.5712945e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 407 | Conjunctive-Query Containment and Constraint Satisfaction | 1998 | PODS | 0.00024004562 |
| 1,102 | On the Decidability and Complexity of Query Answering over Inconsistent and Incomplete Databases | 2003 | PODS | 0.00014049364 |
| 10,899 | Consistent Query Answering for Primary Keys on Rooted Tree Queries | 2024 | PODS | 4.1945683e-05 |
| 49 | Consistent Query Answers in Inconsistent Databases | 1999 | PODS | 0.00067660624 |
| 6,705 | Consistent Query Answers in Inconsistent Probabilistic Databases | 2010 | SIGMOD | 4.9549359e-05 |
| 9,748 | Combined Approximations for Uniform Operational Consistent Query Answering | 2024 | PODS | 4.2897489e-05 |
| 7,703 | Uniform Operational Consistent Query Answering | 2022 | PODS | 4.673644e-05 |
| 6,739 | Benchmarking Approximate Consistent Query Answering | 2021 | PODS | 4.9449088e-05 |
| 11,178 | LinCQA: Faster Consistent Query Answering with Linear Time Guarantees | 2023 | SIGMOD | 4.1945683e-05 |
| 8,166 | CAvSAT: A System for Query Answering over Inconsistent Databases | 2019 | SIGMOD | 4.5712945e-05 |