Consistency and trust in peer data exchange systems

dc.contributor.authorBertossi, Leopoldo
dc.contributor.authorBravo, Loreto
dc.date.accessioned2017-01-25T20:10:55Z
dc.date.available2017-01-25T20:10:55Z
dc.date.issued2016
dc.description.abstractWe propose and investigate a semantics for peer data exchange systems where different peers are related by data exchange constraints and trust relationships. These two elements plus the data at the peers' sites and their local integrity constraints are made compatible via a semantics that characterizes sets of solution instances for the peers. They are the intended – possibly virtual – instances for a peer that are obtained through a data repair semantics that we introduce and investigate. The semantically correct answers from a peer to a query, the so-called peer consistent answers, are defined as those answers that are invariant under all its different solution instances. We show that solution instances can be specified as the models of logic programs with a stable model semantics. The repair semantics is based on null values as used in SQL databases, and is also of independent interest for repairs of single databases with respect to integrity constraints.
dc.identifier.citationBERTOSSI, L., & BRAVO, L. (2017). Consistency and trust in peer data exchange systems. Theory and Practice of Logic Programming, 17(2), 148-204.
dc.identifier.urihttp://hdl.handle.net/11447/964
dc.identifier.urihttps://doi.org/10.1017/S147106841600017X
dc.language.isoen_US
dc.subjectPeer data exchange
dc.subjectAnswer set programs
dc.subjectDisjunctive stable model semantics
dc.subjectMetadata management;
dc.subjectSchema mappings
dc.subjectRelational databases
dc.subjectIntegrity constraints
dc.subjectDatabase repairs consistency
dc.titleConsistency and trust in peer data exchange systems
dc.typeArtículo

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
camReadP2PtplpWithApp2.pdf
Size:
1.4 MB
Format:
Adobe Portable Document Format
Description:
Texto completo