Skip to main content
SpringerLink
Log in

Restoring Consistency in P2P Deductive Databases

  • Conference paper
Scalable Uncertainty Management (SUM 2012)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7520))

Included in the following conference series:

Abstract

This paper proposes a logic framework for modeling the interaction among deductive databases and computing consistent answers to logic queries in a P2P environment. As usual, data are exchanged among peers by using logical rules, called mapping rules. The declarative semantics of a P2P system is defined in terms of weak models. Under this semantics each peer uses its mapping rules to import minimal sets of mapping atoms allowing to satisfy its local integrity constraints. An equivalent and alternative characterization of minimal weak model semantics, in terms of prioritized logic programs, is also introduced and the computational complexity of P2P logic queries is investigated.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arenas, M., Bertossi, L., Chomicki, J.: Consistent Query Answers in Inconsistent Databases. In: PODS Conf., pp. 68–79 (1999)

    Google Scholar 

  2. Bernstein, P.A., Giunchiglia, F., Kementsietsidis, A., Mylopulos, J., Serafini, L., Zaihrayen, I.: Data Management for Peer-to-Peer Computing: A Vision. In: WebDB, pp. 89–94 (2002)

    Google Scholar 

  3. Bertossi, L., Bravo, L.: Query Answering in Peer-to-Peer Data Exchange Systems. In: EDBT Workshops, pp. 476–485 (2004)

    Google Scholar 

  4. Bertossi, L., Bravo, L.: Query The semantics of consistency and trust in peer data exchange systems. In: LPAR, pp. 107–122 (2007)

    Google Scholar 

  5. Brewka, G., Eiter, T.: Preferred Answer Sets for Extended Logic Programs. Artificial Intelligence 109(1-2), 297–356 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  6. Brewka, G., Niemela, I., Truszczynski, M.: Answer Set Optimization. In: Int. Joint Conf. on Artificial Intelligence, pp. 867–872 (2003)

    Google Scholar 

  7. Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical foundations of peer-to-peer data integration. In: PODS Conf., pp. 241–251 (2004)

    Google Scholar 

  8. Caroprese, L., Greco, S., Zumpano, E.: A Logic Programming Approach to Querying and Integrating P2P Deductive Databases. In: FLAIRS, pp. 31–36 (2006)

    Google Scholar 

  9. Caroprese, L., Zumpano, E.: Aggregates and priorities in P2P data management systems. In: IDEAS, pp. 1–7 (2011)

    Google Scholar 

  10. Caroprese, L., Molinaro, C., Zumpano, E.: Integrating and Querying P2P Deductive Databases. In: IDEAS, pp. 285–290 (2006)

    Google Scholar 

  11. Caroprese, L., Zumpano, E.: Consistent Data Integration in P2P Deductive Databases. In: Prade, H., Subrahmanian, V.S. (eds.) SUM 2007. LNCS (LNAI), vol. 4772, pp. 230–243. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  12. Caroprese, L., Zumpano, E.: Modeling Cooperation in P2P Data Management Systems. In: An, A., Matwin, S., Raś, Z.W., Ślęzak, D. (eds.) Foundations of Intelligent Systems. LNCS (LNAI), vol. 4994, pp. 225–235. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  13. Caroprese, L., Zumpano, E.: Handling Preferences in P2P Systems. In: Lukasiewicz, T., Sali, A. (eds.) FoIKS 2012. LNCS, vol. 7153, pp. 91–106. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  14. Delgrande, J.P., Schaub, T., Tompits, H.: A Framework for Compiling Preferences in Logic Programs. TPLP 3(2), 129–187 (2003)

    MathSciNet  MATH  Google Scholar 

  15. Franconi, E., Kuper, G.M., Lopatenko, A., Zaihrayeu, I.: A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. In: DBISP2P, pp. 64–76 (2003)

    Google Scholar 

  16. Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. Fifth Conf. on Logic Programming, pp. 1070–1080 (1998)

    Google Scholar 

  17. Greco, G., Greco, S., Zumpano, E.: Repairing and Querying Inconsistent Databases. IEEE Transaction on Knowledge and Data Engineering (2003)

    Google Scholar 

  18. Gribble, S., Halevy, A., Ives, Z., Rodrig, M., Suciu, D.: What can databases do for peer-to-peer? In: WebDB, pp. 31–36 (2006)

    Google Scholar 

  19. Halevy, A., Ives, Z., Suciu, D., Tatarinov, I.: Schema mediation in peer data management systems. In: Int. Conf. on Database Theory, pp. 505–516 (2003)

    Google Scholar 

  20. Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. ACM Symposium on Principles of Database Systems, pp. 233–246 (2002)

    Google Scholar 

  21. Madhavan, J., Halevy, A.Y.: Composing mappings among data sources. In: Int. Conf. on Very Large Data Bases, pp. 572–583 (2003)

    Google Scholar 

  22. Sakama, C., Inoue, K.: Prioritized logic programming and its application to commonsense reasoning. Artificial Intelligence (123), 185–222 (2000)

    Google Scholar 

  23. Schaub, T., Wang, K.: A Comparative Study of Logic Programs with Preference. In: IJCAI, pp. 597–602 (2001)

    Google Scholar 

  24. Simons, S., Niemela, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1-2), 181–234 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  25. Tatarinov, I., Halevy, A.: Efficient Query reformulation in Peer Data Management Systems. In: SIGMOD, pp. 539–550 (2004)

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DEIS, Univ. della Calabria, 87030, Rende, Italy

    Luciano Caroprese & Ester Zumpano

Authors
  1. Luciano Caroprese
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ester Zumpano
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science, Marburg University, Hans-Meerwein-Strasse 6, 35032, Marburg, Germany

    Eyke Hüllermeier , Thomas Fober  & Bernhard Seeger ,  & 

  2. Department of Computer Science, Auckland University, 38 Princes St., 1010, Auckland, New Zealand

    Sebastian Link

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Caroprese, L., Zumpano, E. (2012). Restoring Consistency in P2P Deductive Databases. In: Hüllermeier, E., Link, S., Fober, T., Seeger, B. (eds) Scalable Uncertainty Management. SUM 2012. Lecture Notes in Computer Science(), vol 7520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33362-0_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33362-0_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33361-3

  • Online ISBN: 978-3-642-33362-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation