Skip to Main content Skip to Navigation
Conference papers

A Declarative Semantics for P2P Systems

Abstract : This paper investigates the problem of data integration among Peer-to-Peer (P2P) deductive databases and presents a declarative semantics that generalizes previous proposals in the literature. Basically, by following the classical approach, the objective of a generic peer, joining a P2P system, is to enrich its knowledge by importing as much knowledge as possible while preventing inconsistency anomalies. This basic idea is extended in the present paper by allowing each peer to select between two different settings. It can either declare its local database to be sound but not complete, or declare it to be unsound. In the first case the peer considers its own knowledge more trustable than the knowledge imported from the rest of the system i.e. it gives preference to its knowledge with respect to the knowledge that can be imported from other peers. In the second case the peer considers its own knowledge as trustable as the knowledge that can be imported from the rest of the system i.e. it does not give any preference to its knowledge with respect to the knowledge that can be imported from other peers.
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-01677127
Contributor : Hal Ifip <>
Submitted on : Monday, January 8, 2018 - 9:49:20 AM
Last modification on : Tuesday, February 26, 2019 - 3:52:05 PM
Long-term archiving on: : Friday, May 4, 2018 - 4:48:09 PM

File

456304_1_En_21_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Luciano Caroprese, Ester Zumpano. A Declarative Semantics for P2P Systems. 1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.315-329, ⟨10.1007/978-3-319-66808-6_21⟩. ⟨hal-01677127⟩

Share

Metrics

Record views

112

Files downloads

70