Semantic Data Integration in P2P Systems

  • Diego Calvanese
  • Elio Damaggio
  • Giuseppe De Giacomo
  • Maurizio Lenzerini
  • Riccardo Rosati
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2944)


In this paper, we study the problem of data integration in P2P systems. Differently from the traditional setting, data integration in these systems is not based on the existence of a global view. Instead, each peer exports data in terms of its own schema, and information integration is achieved by establishing mappings among the various peer schemas. We present a framework that captures this general architecture, and then we discuss the problem of characterizing the semantics of such framework. We show that the usual approach of resorting to a first-order logic intepretation of P2P mappings, leads both to a poor modeling of the whole system, and to undecidability of query answering, even for mappings of a restricted form. This motivates the need of a new semantics for P2P system. We then present a novel proposal, based on epistemic logic, and show that not only it adequately models the interactions among peers, but it also supports decidable query answering. In particular, for the restricted form of mapping mentioned above, query answering is polynomial with respect to the size of data stored in the peers.


Data Integration Epistemic Logic Conjunctive Query Virtual View Source Database 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aberer, K., Punceva, M., Hauswirth, M., Schmidt, R.: Improving data access in P2P systems. IEEE Internet Computing (2002)Google Scholar
  2. 2.
    Bernstein, P.A., Giunchiglia, F., Kementsietsidis, A., Mylopoulos, J., Serafini, L., Zaihrayeu, I.: Data management for peer-to-peer computing: A vision. In: Proc. of the 5th Int. Workshop on the Web and Databases, WebDB 2002 (2002)Google Scholar
  3. 3.
    Calì, D., Calvanese, G., De Giacomo, G., Lenzerini, M.: Data integration under integrity constraints. Information Systems (2003) (to appear)Google Scholar
  4. 4.
    Calì, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of the 22nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2003), pp. 260–271 (2003)Google Scholar
  5. 5.
    Calì, D., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, IJCAI 2003 (2003) (to appear)Google Scholar
  6. 6.
    Catarci, T., Lenzerini, M.: Representing and using interschema knowledge in cooperative information systems. J. of Intelligent and Cooperative Information Systems 2(4), 375–398 (1993)CrossRefGoogle Scholar
  7. 7.
    Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 207–224. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  8. 8.
    Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: Getting to the core. In: Proc. of the 22nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2003), pp. 90–101 (2003)Google Scholar
  9. 9.
    Friedman, M., Levy, A., Millstein, T.: Navigational plans for data integration. In: Proc. of the 16th Nat. Conf. on Artificial Intelligence (AAAI 1999), pp. 67–73. AAAI Press/The MIT Press (1999)Google Scholar
  10. 10.
    Gribble, S., Halevy, A., Ives, Z., Rodrig, M., Suciu, D.: What can databases do for peer-to-peer? In: Proc. of the 4th Int. Workshop on the Web and Databases, WebDB 2001 (2001)Google Scholar
  11. 11.
    Halevy, Z., Ives, D., Suciu, D., Tatarinov, I.: Schema mediation in peer data management systems. In: Proc. of the 19th IEEE Int. Conf. on Data Engineering, ICDE 2003 (2003)Google Scholar
  12. 12.
    Halevy, Y.: Answering queries using views: A survey. Very Large Database J. 10(4), 270–294 (2001)zbMATHCrossRefGoogle Scholar
  13. 13.
    Hull, R.: Managing semantic heterogeneity in databases: A theoretical perspective. In: Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1997), pp. 51–61 (1997)Google Scholar
  14. 14.
    Koch, C.: Query rewriting with symmetric constraints. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol. 2284, pp. 130–147. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  15. 15.
    Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002), pp. 233–246 (2002)Google Scholar
  16. 16.
    Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. The MIT Press, Cambridge (2001)zbMATHGoogle Scholar
  17. 17.
    Ullman, J.D.: Information integration using logical views. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 19–40. Springer, Heidelberg (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Diego Calvanese
    • 1
  • Elio Damaggio
    • 1
  • Giuseppe De Giacomo
    • 1
  • Maurizio Lenzerini
    • 1
  • Riccardo Rosati
    • 1
  1. 1.Dipartimento di Informatica e SistemisticaUniversità di Roma “La Sapienza”RomaItaly

Personalised recommendations