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