Abstract
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p system, which allows for local inconsistency handling. We then characterise the general computational properties for the problem of answering queries to such a p2p system. Finally, we devise tight complexity bounds and distributed procedures for the problem of answering queries in few relevant special cases.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Calvanese, D., Damaggio, E., De Giacomo, G., Lenzerini, M., Rosati, R.: Semantic data integration in P2P systems. In: Proc. of the International Workshop On Databases, Information Systems and Peerto-Peer Computing (September 2003)
Casotto, C.: Un algoritmo distribuito per l’interrogazione di basi di dati federate. Master thesis, ITC-irst (1998)
Cooper, B., Garcia-Molina, H.: Peer to peer data trading to preserve information. Technical report, Stanford University (2001)
Ghidini, C., Serafini, L.: Distributed first order logics. In: Baader, F., Schulz, K.U. (eds.) Frontiers of Combining Systems 2, Berlin, Research Studies Press (1998)
Gribble, S., Halevy, A., Ives, Z., Rodrig, M., Suciu, D.: What can databases do for peer-to-peer? In: WebDB Workshop on Databases and the Web (2001)
Halevy, A., Ives, Z., Mork, P., Tatarinov, I.: Peer data management systems: Infrastructure for the semantic web. In: WWW Conference (2003)
Halevy, A.Y., Ives, Z.G., Suciu, D., Tatarinov, I.: Schema mediation in peer data management systems. In: ICDE (2003)
Kementsietsidis, A., Arenas, M., Miller, R.J.: Mapping data in peer-to-peer systems: Semantics and algorithmic issues. In: Proceedings of the SIGMOD International Conference on Management of Data, SIGMOD 2003 (2003)
Lenzerini, M.: Data integration: a theoretical perspective. In: Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 233–246. ACM Press, New York (2002)
Reiter, R.: What should a database know? Journal of Logic Programming 14(2,3) (1992)
Serafini, L., Ghidini, C.: Using wrapper agents to answer queries in distributed information systems. In: Yakhno, T. (ed.) ADVIS 2000. LNCS, vol. 1909, p. 331. Springer, Heidelberg (2000)
Serafini, L., Giunchiglia, F., Mylopoulos, J., Bernstein, P.A.: Local relational model: A logical formalization of database coordination. In: Blackburn, P., Ghidini, C., Turner, R.M., Giunchiglia, F. (eds.) CONTEXT 2003. LNCS, vol. 2680, pp. 286–299. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Franconi, E., Kuper, G., Lopatenko, A., Serafini, L. (2004). A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. In: Aberer, K., Koubarakis, M., Kalogeraki, V. (eds) Databases, Information Systems, and Peer-to-Peer Computing. DBISP2P 2003. Lecture Notes in Computer Science, vol 2944. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24629-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-24629-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20968-3
Online ISBN: 978-3-540-24629-9
eBook Packages: Springer Book Archive