Skip to main content

Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach

  • Conference paper
Database Programming Languages (DBPL 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3774))

Included in the following conference series:

  • 410 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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)

    Article  MATH  Google Scholar 

  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. 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. 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. 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. Bravo, L., Bertossi, L.: Logic programming for consistently querying data integration systems. In: Proc. of IJCAI 2003, pp. 10–15 (2003)

    Google Scholar 

  7. Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Data integration under integrity constraints. Information Systems 29, 147–163 (2004)

    Article  Google Scholar 

  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. 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. 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. Chellas, B.F.: Modal Logic: An introduction. Cambridge University Press, Cambridge (1980)

    MATH  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

  13. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  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. 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. 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. 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. 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. 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. Halevy, A.Y.: Answering queries using views: A survey. VLDB Journal 10(4), 270–294 (2001)

    Article  MATH  Google Scholar 

  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. Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of PODS 2002, pp. 233–246 (2002)

    Google Scholar 

  23. Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  24. Lifschitz, V.: Minimal belief and negation as failure. Artificial Intelligence 70, 53–72 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  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. Rosati, R.: Reasoning about minimal belief and negation as failure. J. of Artificial Intelligence Research 11, 277–300 (1999)

    MATH  MathSciNet  Google Scholar 

  27. Tatarinov, I., Halevy, A.: Efficient query reformulation in peer data management. In: Proc. of ACM SIGMOD (2004)

    Google Scholar 

  28. Ullman, J.D.: Principles of Database and Knowledge Base Systems, vol. 1. Computer Science Press (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R. (2005). Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. In: Bierman, G., Koch, C. (eds) Database Programming Languages. DBPL 2005. Lecture Notes in Computer Science, vol 3774. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11601524_6

Download citation

  • DOI: https://doi.org/10.1007/11601524_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-30951-2

  • Online ISBN: 978-3-540-31445-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics