Random graphs and the parity quantifier
Phokion G. Kolaitis, Swastik Kopparty
STOC 2009
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 COUNT (A), COUNT (*), and SUM operators, and with or without grouping constructs. Our system uses reductions to optimization versions of Boolean satisfiability (SAT) and then leverages powerful SAT solvers. We carry out an extensive set of experiments on both synthetic and real-world data that demonstrate the usefulness and scalability of this approach.
Phokion G. Kolaitis, Swastik Kopparty
STOC 2009
Vishal Chakraborty, Phokion G. Kolaitis
AAMAS 2021
Albert Atserias, Anuj Dawar, et al.
Journal of the ACM
Jing Ao, Zehui Cheng, et al.
JDIQ