Logical Foundations of Peer-To-Peer Data Integration

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati.
In Proceedings of the Twentythird ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS 2004), pages 241-251, ACM Press, 2004. ISBN 1-58113-858-X.



In peer-to-peer data integration, each peer exports data in terms of its own schema, and data interoperation is achieved by means of mappings among the peer schemas. Peers are autonomous systems and mappings are dynamically created and changed. One of the challenges in these systems is answering queries posed to one peer taking into account the mappings. Obviously, query answering strongly depends on the semantics of the overall system. In this paper, we compare the commonly adopted approach of interpreting peer-to-peer systems using a first-order semantics, with an alternative approach based on epistemic logic. We consider several central properties of peer-to-peer systems: modularity, generality, and decidability. We argue that the approach based on epistemic logic is superior with respect to all the above properties. In particular, we show that, in systems in which peers have decidable schemas and conjunctive mappings, but are arbitrarily interconnected, the first-order approach may lead to undecidability of query answering, while the epistemic approach always preserves decidability. This is a fundamental property, since the actual interconnections among peers are not under the control of any actor in the system.

Bibtex entry:

@String{PODS-04 = "Proceedings of the Twentythird ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS~2004)"}

@String{ACM = "{ACM} Press"}

author = "Diego Calvanese and De Giacomo, Giuseppe and Maurizio Lenzerini and Riccardo Rosati",
title = "Logical Foundations of Peer-To-Peer Data Integration",
booktitle = PODS-04,
pages = "241--251",
publisher = ACM,
year = 2004,
isbn = "1-58113-858-X",

Link to electronic version of published paper