Abstract
This paper is placed among the works on semantic peer data management systems. It proposes a different perspective in which a peer of a P2P system may consider its own data to be more trustable with respect to data provided by external peers (sound peer) or less trustable (unsound peer). The paper generalizes previous works of the same authors and proposes a new semantics capturing this simple idea.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
We use for the operator and both ‘, ’ and ‘\(\wedge \)’.
- 2.
Whenever the reference to a peer predicate (resp. peer atom, peer literal, peer fact, peer rule, peer standard rule, peer integrity constraint, peer mapping rule) is clear from the context, the term peer can be omitted.
- 3.
A built-in atom is of the form \(\theta (X,Y)\), where X and Y are terms and \(\theta \in \{<,>,\le ,\ge ,=,\ne \}\). It is also denoted as \(X\ \theta \ Y\).
References
Abiteboul, S., Duschka, O.M.: Complexity of answering queries using materialized views. In: ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. PODS 1998, pp. 254–263 (1998)
Arenas, M., Bertossi, L., Chomicki, J.: Consistent query answers in inconsistent databases. In: Symposium on Principles of Database Systems, pp. 68–79 (1999)
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)
Bertossi, L., Bravo, L.: Query answering in peer-to-peer data exchange systems. In: Lindner, W., Mesiti, M., Türker, C., Tzitzikas, Y., Vakali, A.I. (eds.) Current Trends in Database Technology. LNCS, vol. 3568, pp. 476–485. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30192-9_47
Bertossi, L., Bravo, L.: The semantics of consistency and trust in peer data exchange systems. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790, pp. 107–122. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75560-9_10
Bertossi, L., Bravo, L.: Consistency and trust in peer data exchange systems. TPLP 17(2), 148–204 (2017)
Calì, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: PODS, pp. 260–271 (2003)
Calvanese, D., Damaggio, E., De Giacomo, G., Lenzerini, M., Rosati, R.: Semantic data integration in P2P systems. In: Aberer, K., Koubarakis, M., Kalogeraki, V. (eds.) DBISP2P 2003. LNCS, vol. 2944, pp. 77–90. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24629-9_7
Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical foundations of peer-to-peer data integration. In: PODS, pp. 241–251 (2004)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tolerance in P2P data integration: an epistemic logic approach. Inf. Syst. 33(4–5), 360–384 (2008)
Caroprese, L., Greco, S., Zumpano, E.: A logic programming approach to querying and integrating P2P deductive databases. In: The International Florida AI Research Society Conference, pp. 31–36 (2006)
Caroprese, L., Zumpano, E.: A declarative semantics for P2P systems. In: Holzinger, A., Kieseberg, P., Tjoa, A.M., Weippl, E. (eds.) CD-MAKE 2017. LNCS, vol. 10410, pp. 315–329. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66808-6_21
Caroprese, L., Molinaro, C., Zumpano, E.: Integrating and querying P2P deductive databases. In: International Database Engineering & Applications Symposium, pp. 285–290 (2006)
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). https://doi.org/10.1007/978-3-540-75410-7_17
Caroprese, L., Zumpano, E.: Modeling cooperation in P2P data management systems. In: An, A., Matwin, S., Raś, Z.W., Ślęzak, D. (eds.) ISMIS 2008. LNCS (LNAI), vol. 4994, pp. 225–235. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-68123-6_25
Caroprese, L., Zumpano, E.: Aggregates and priorities in P2P data management systems. In: IDEAS 2011, pp. 1–7 (2011)
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). https://doi.org/10.1007/978-3-642-28472-4_6
Caroprese, L., Zumpano, E.: Generalized maximal consistent answers in P2P deductive databases. In: Hartmann, S., Ma, H. (eds.) DEXA 2016 Part II. LNCS, vol. 9828, pp. 368–376. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-44406-2_30
Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: getting to the core. ACM Trans. Database Syst. 30(1), 174–210 (2005)
Franconi, E., Kuper, G.M., Lopatenko, A., Zaihrayeu, I.: Queries and updates in the coDB peer to peer database system. In: VLDB, pp. 1277–1280 (2004)
Franconi, E., Kuper, G.M., Lopatenko, A., Zaihrayeu, I.: A robust logical and computational characterisation of perto-peer database systems. In: DBISP2P 2003, pp. 64–76 (2003)
Franconi, E., Kuper, G.M., Lopatenko, A., Zaihrayeu, I.: A distributed algorithm for robust data sharing and updates in P2P database networks. In: Lindner, W., Mesiti, M., Türker, C., Tzitzikas, Y., Vakali, A.I. (eds.) EDBT 2004, vol. 3268, pp. 446–455. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30192-9_44
Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: ICLP/SLP 1988, pp. 1070–1080 (1988)
Greco, G., Greco, S., Zumpano, E.: Repairing and querying inconsistent databases. Trans. Knowl. Data Eng. 15, 1389–1408 (2003)
Halevy, A., Ives, Z.G., Suciu, D., Tatarinov, I.: Schema mediation in peer data management systems. In: ICDT, pp. 505–516 (2003)
Halevy, A.Y., Ives, Z.G., Suciu, D., Tatarinov, I.: Schema mediation for large-scale semantic data sharing. VLDB J. 14(1), 68–83 (2005)
Lenzerini, M.: Data integration: a theoretical perspective. In: PODS, pp. 233–246 (2002)
Madhavan, J., Halevy, A.Y: Composing mappings among data sources. In: VLDB, pp. 572–583 (2003)
Tatarinov, I., Halevy, A.: Efficient query reformulation in peer data management systems. In: SIGMOD, pp. 539–550 (2004)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Caroprese, L., Zumpano, E. (2018). Integration of Unsound Data in P2P Systems. In: Benczúr, A., Thalheim, B., Horváth, T. (eds) Advances in Databases and Information Systems. ADBIS 2018. Lecture Notes in Computer Science(), vol 11019. Springer, Cham. https://doi.org/10.1007/978-3-319-98398-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-98398-1_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-98397-4
Online ISBN: 978-3-319-98398-1
eBook Packages: Computer ScienceComputer Science (R0)