对等数据库系统的鲁棒性和计算性刻画
A Robust and Computational Characterisation of Peer-to-Peer Database Systems
摘要：
在本文中，我们给出了一个强大的对等数据库系统的逻辑和计算特性。我们首先定义了一个精确的模型理论语义的对等系统，它允许本地不一致处理。然后，我们将一般的计算性质的问题回答这样一个对等系统的查询。最后，我们设计紧密的复杂性界限和分布式程序的问题，回答查询在一些相关的特殊情况下。
英文摘要：
In this paper we give a robust logical and computational characterisation of peer-to-peer database systems. We first define a pre- cise model-theoretic semantics of a peer-to-peer system, which allows for local inconsistency handling. We then characterise the general computa- tional properties for the problem of answering queries to such a peer-to- peer system. Finally, we devise tight complexity bounds and distributed procedures for the problem of answering queries in few relevant special cases.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
