Abstract
In peer-to-peer (P2P) systems, each peer exports information in terms of its own schema, and 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 processing queries posed to one peer taking into account the mappings. Obviously, query processing strongly depends on the semantics of the overall system.
In this talk, we overview the various approaches that have been proposed for modeling P2P systems, considering several central properties of such systems, such as modularity, generality, and computational issues related to query processing. We argue that an approach based on epistemic logic is superior with respect to all the above properties to previously proposed approaches based on first-order logic. Specifically, the epistemic logic approach naturally captures the modular nature of P2P systems, and moreover query answering can be performed efficiently (i.e., polynomially) in the size of the data stored in the various peers. This holds independently of the topology of the mappings among peers, and hence respecting one of the fundamental assumptions in P2P systems: namely, that peers are autonomouns entities that can establish mappings to other peers without requiring the intervention of any centralized authority.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Calvanese, D. (2005). Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. In: Beckert, B. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2005. Lecture Notes in Computer Science(), vol 3702. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11554554_1
Download citation
DOI: https://doi.org/10.1007/11554554_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28931-9
Online ISBN: 978-3-540-31822-4
eBook Packages: Computer ScienceComputer Science (R0)