Advertisement

Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach

  • Diego Calvanese
  • Giuseppe De Giacomo
  • Domenico Lembo
  • Maurizio Lenzerini
  • Riccardo Rosati
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3774)

Abstract

We study peer-to-peer data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by means of mappings among the peer schemas, rather than through a global schema. We propose a multi-modal epistemic semantics based on the idea that each peer is conceived as a rational agent that exchanges knowledge/belief with other peers, thus nicely modeling the modular structure of the system. We then address the issue of dealing with possible inconsistencies, and distinguish between two types of inconsistencies, called local and P2P, respectively. We define a nonmonotonic extension of our logic that is able to reason on the beliefs of peers under inconsistency tolerance. Tolerance to local inconsistency essentially means that the presence of inconsistency within one peer does not affect the consistency of the whole system. Tolerance to P2P inconsistency means being able to resolve inconsistencies arising from the interaction between peers. We study query answering and its data complexity in this setting, and we present an algorithm that is sound and complete with respect to the proposed semantics, and optimal with respect to worst-case complexity.

Keywords

Data Integration Global Schema Epistemic Logic Conjunctive Query Axiom Schema 
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. 1.
    Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic 50, 510–530 (1985)zbMATHCrossRefGoogle Scholar
  2. 2.
    Arenas, M., Barcelo, P., Fagin, R., Libkin, L.: Locally consistent transformations and query answering in data exchange. In: Proc. of PODS 2004, pp. 229–240 (2004)Google Scholar
  3. 3.
    Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. of PODS 1999, pp. 68–79 (1999)Google Scholar
  4. 4.
    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 WebDB 2002 (2002)Google Scholar
  5. 5.
    Bertossi, L.E., Bravo, L.: Query answering in peer-to-peer data exchange systems. In: In Proc. of the EDBT Workshop on Peer-to-Peer Computing and Databases (P2P&DB 2004), pp. 476–485 (2004)Google Scholar
  6. 6.
    Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. of IJCAI 2003, pp. 10–15 (2003)Google Scholar
  7. 7.
    Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Data integration under integrity constraints. Information Systems 29, 147–163 (2004)CrossRefGoogle Scholar
  8. 8.
    Calì, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS 2003, pp. 260–271 (2003)Google Scholar
  9. 9.
    Calì, A., Lembo, D., Rosati, R.: Query rewriting and answering under constraints in data integration systems. In: Proc. of IJCAI 2003, pp. 16–21 (2003)Google Scholar
  10. 10.
    Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical foundations of peer-to-peer data integration. In: Proc. of PODS 2004, pp. 241–251 (2004)Google Scholar
  11. 11.
    Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1980)zbMATHGoogle Scholar
  12. 12.
    Duschka, O.M., Genesereth, M.R., Levy, A.Y.: Recursive query plans for data integration. J. of Logic Programming 43(1), 49–73 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)zbMATHGoogle Scholar
  14. 14.
    Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: Getting to the core. In: Proc. of PODS 2003, pp. 90–101 (2003)Google Scholar
  15. 15.
    Fagin, R., Ullman, J.D., Vardi, M.Y.: On the semantics of updates in databases. In: Proc. of PODS 1983, pp. 352–365 (1983)Google Scholar
  16. 16.
    Franconi, E., Kuper, G., Lopatenko, A., Serafini, L.: A robust logical and computational characterisation of peer-to-peer database systems. In: Proc. of the VLDB International Workshop on Databases, Information Systems and Peer-to-Peer Computing (2003)Google Scholar
  17. 17.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proc. of the 5th Logic Programming Symposium, pp. 1070–1080. The MIT Press, Cambridge (1988)Google Scholar
  18. 18.
    Gribble, S., Halevy, A., Ives, Z., Rodrig, M., Suciu, D.: What can databases do for peer-to-peer? In: Proc. of WebDB 2001 (2001)Google Scholar
  19. 19.
    Halevy, A., Ives, Z., Suciu, D., Tatarinov, I.: Schema mediation in peer data management systems. In: Proc. of ICDE 2003, pp. 505–516 (2003)Google Scholar
  20. 20.
    Halevy, A.Y.: Answering queries using views: A survey. VLDB Journal 10(4), 270–294 (2001)zbMATHCrossRefGoogle Scholar
  21. 21.
    Kementsietsidis, A., Arenas, M., Miller, R.J.: Mapping data in peer-to-peer systems: Semantics and algorithmic issues. In: Proc. of ACM SIGMOD, pp. 325–336 (2003)Google Scholar
  22. 22.
    Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of PODS 2002, pp. 233–246 (2002)Google Scholar
  23. 23.
    Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. MIT Press, Cambridge (2001)zbMATHGoogle Scholar
  24. 24.
    Lifschitz, V.: Minimal belief and negation as failure. Artificial Intelligence 70, 53–72 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  25. 25.
    Madhavan, J., Bernstein, P.A., Domingos, P., Halevy, A.Y.: Representing and reasoning about mappings between domain models. In: Proc. of AAAI 2002, pp. 80–86 (2002)Google Scholar
  26. 26.
    Rosati, R.: Reasoning about minimal belief and negation as failure. J. of Artificial Intelligence Research 11, 277–300 (1999)zbMATHMathSciNetGoogle Scholar
  27. 27.
    Tatarinov, I., Halevy, A.: Efficient query reformulation in peer data management. In: Proc. of ACM SIGMOD (2004)Google Scholar
  28. 28.
    Ullman, J.D.: Principles of Database and Knowledge Base Systems, vol. 1. Computer Science Press (1988)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Diego Calvanese
    • 1
  • Giuseppe De Giacomo
    • 2
  • Domenico Lembo
    • 2
  • Maurizio Lenzerini
    • 2
  • Riccardo Rosati
    • 2
  1. 1.Faculty of Computer ScienceFree University of Bolzano/BozenBolzanoItaly
  2. 2.Dipartimento di Informatica e SistemisticaUniversità di Roma “La Sapienza”RomaItaly

Personalised recommendations