Advertisement

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems

  • Enrico Franconi
  • Gabriel Kuper
  • Andrei Lopatenko
  • Luciano Serafini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2944)

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.

Keywords

Minimal Model Query Evaluation Conjunctive Query Query Answering Local Query 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Calvanese et al., 2003]
    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)Google Scholar
  2. [Casotto, 1998]
    Casotto, C.: Un algoritmo distribuito per l’interrogazione di basi di dati federate. Master thesis, ITC-irst (1998)Google Scholar
  3. [Cooper and Garcia-Molina, 2001]
    Cooper, B., Garcia-Molina, H.: Peer to peer data trading to preserve information. Technical report, Stanford University (2001)Google Scholar
  4. [Ghidini and Serafini, 1998]
    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)Google Scholar
  5. [Gribble et al., 2001]
    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)Google Scholar
  6. [Halevy et al., 2003a]
    Halevy, A., Ives, Z., Mork, P., Tatarinov, I.: Peer data management systems: Infrastructure for the semantic web. In: WWW Conference (2003)Google Scholar
  7. [Halevy et al., 2003b]
    Halevy, A.Y., Ives, Z.G., Suciu, D., Tatarinov, I.: Schema mediation in peer data management systems. In: ICDE (2003)Google Scholar
  8. [Kementsietsidis et al., 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)Google Scholar
  9. [Lenzerini, 2002]
    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)CrossRefGoogle Scholar
  10. [Reiter, 1992]
    Reiter, R.: What should a database know? Journal of Logic Programming 14(2,3) (1992)Google Scholar
  11. [Serafini and Ghidini, 2000]
    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)CrossRefGoogle Scholar
  12. [Serafini et al., 2003]
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Enrico Franconi
    • 1
  • Gabriel Kuper
    • 2
  • Andrei Lopatenko
    • 1
    • 3
  • Luciano Serafini
    • 4
  1. 1.Faculty of Computer ScienceFree University of Bozen–BolzanoItaly
  2. 2.DITUniversity of TrentoItaly
  3. 3.Department of Computer ScienceUniversity of ManchesterUK
  4. 4.ITC-irstTrentoItaly

Personalised recommendations