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(*), SUM(A), MIN(A), and MAX(A) 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.

翻译：数据库维修框架和对查询的一致答复是管理不一致数据库的原则性办法,我们描述了第一个能够与COUNT(A)、COUNT(*)、SUM(A)、MIN(A)和MAX(A)操作员以及不论是否分组结构一起计算总汇总查询的一致答复的系统。我们的系统利用削减来优化布利安可探测性(SAT)版本,然后利用强大的SAT解答器。我们对合成数据和真实世界数据进行一系列广泛的实验,表明这一方法的有用性和可扩展性。