CAvSAT: A System for Query Answering over Inconsistent Databases
Summary: CAvSAT, Consistent Answering via Satisfiability, is a SAT-based CQA system for inconsistent databases using the repair semantics. It targets scalable, broad-constraint consistent query answering, proposing a novel approach and reporting preliminary prototype experiments. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 3 of 3 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,273 | Cleaning Denial Constraint Violations through Relaxation | 2020 | SIGMOD | 6.3003864e-05 |
| 7,605 | The Computation of Optimal Subset Repairs | 2020 | VLDB | 4.697534e-05 |
| 9,250 | CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving | 2021 | SIGMOD | 4.3690661e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 7 of 7 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 |
| 7,063 | On the First-order Expressibility of Computing Certain Answers to Conjunctive Queries over Uncertain Databases | 2010 | PODS | 4.8461152e-05 |
| 8,410 | Charting the Tractability Frontier of Certain Conjunctive Query Answering | 2013 | PODS | 4.5204725e-05 |
Previous
Page 1 / 1
Next