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,271 | Cleaning Denial Constraint Violations through Relaxation | 2020 | SIGMOD | 6.2943273e-05 |
| 8,014 | The Computation of Optimal Subset Repairs | 2020 | VLDB | 4.6020746e-05 |
| 9,257 | CAvSAT: Answering Aggregation Queries over Inconsistent Databases via SAT Solving | 2021 | SIGMOD | 4.3648789e-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.00067607389 |
| 677 | ConQuer: Efficient Management of Inconsistent Databases | 2005 | SIGMOD | 0.00018250681 |
| 2,246 | The Data Complexity of Consistent Query Answering for Self-Join-Free Conjunctive Queries Under Primary Key Constraints | 2015 | PODS | 9.2039096e-05 |
| 3,531 | Efficient Querying of Inconsistent Databases with Binary Integer Programming | 2013 | VLDB | 6.9982256e-05 |
| 5,394 | ConQuer : A System for Efficient Querying Over Inconsistent Databases | 2005 | VLDB | 5.5312682e-05 |
| 7,058 | On the First-order Expressibility of Computing Certain Answers to Conjunctive Queries over Uncertain Databases | 2010 | PODS | 4.8412176e-05 |
| 8,409 | Charting the Tractability Frontier of Certain Conjunctive Query Answering | 2013 | PODS | 4.5158916e-05 |
Previous
Page 1 / 1
Next