Akhil A. Dixit

Consistent Answers of Aggregation Queries using SAT Solvers

2021 · arXiv (Cornell University)

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 consistent answers of general aggregation queries with the …