Consistent answers to a query from a possibly inconsistent database are answers that are simultaneously retrieved from every possible repair of the database. Repairs are consistent instances that minimally differ from the original inconsistent instance. It has been shown before that database repairs can be specified as the stable models of a disjunctive logic program. In this paper we show how to use the repair programs to transform the problem of consistent query answering into a problem of reasoning w.r.t. a theory written in second-order predicate logic. It also investigated how a first-order theory can be obtained instead by applying second-order quantifier elimination techniques.

中文翻译：

---

数据库中一致查询应答的二阶规范和量词消除

来自可能不一致的数据库的查询的一致答案是从数据库的每个可能修复中同时检索的答案。修复是与原始不一致实例的差异最小的一致实例。之前已经表明，可以将数据库修复指定为析取逻辑程序的稳定模型。在本文中，我们展示了如何使用修复程序将一致查询答案的问题转化为用二阶谓词逻辑编写的理论进行推理的问题。它还研究了如何通过应用二阶量词消除技术来获得一阶理论。