2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.DB2021★ 1 cited
Consistent Answers of Aggregation Queries using SAT Solvers
Akhil A. Dixit, Phokion G. Kolaitis
The framework of database repairs and consistent answers to queries is a principled approach to managing inconsistent databases. We describe the first system able to compute the co…
cs.DB2019★ 2 cited
A SAT-based System for Consistent Query Answering
Akhil A. Dixit, Phokion G. Kolaitis
An inconsistent database is a database that violates one or more integrity constraints, such as functional dependencies. Consistent Query Answering is a rigorous and principled app…