不一致数据库的修复：模型理论方法和溯因推理
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning
摘要：
在本文中，我们考虑两个观点的问题，分布式数据的相干集成。首先，我们给出了一个纯模型理论分析的可能方法来“修复”数据库。我们这样做的特征的可能性，以“恢复”一致的数据从不一致的数据库中的那些模型的数据库，表现出尽可能少的不一致的信息，合理的可能。然后，我们介绍了一个溯因应用程序来恢复一个给定的数据库的一致性。这个应用程序是基于一个溯因求解器（A系统），实现了一个SLDNFA的决议程序，并计算一个列表的数据事实，应该插入到数据库或从它撤回，以保持数据库一致。相干数据集成的两种方法是相关的健全性和完整性的结果。
英文摘要：
In this paper we consider two points of views to the problem of coherent integration of distributed data. First we give a pure model-theoretic analysis of the possible ways to `repair' a database. We do so by characterizing the possibilities to `recover' consistent data from an inconsistent database in terms of those models of the database that exhibit as minimal inconsistent information as reasonably possible. Then we introduce an abductive application to restore the consistency of a given database. This application is based on an abductive solver (A-system) that implements an SLDNFA-resolution procedure, and computes a list of data-facts that should be inserted to the database or retracted from it in order to keep the database consistent. The two approaches for coherent data integration are related by soundness and completeness results.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
