2007 | OriginalPaper | Buchkapitel
The Semantics of Consistency and Trust in Peer Data Exchange Systems
verfasst von : Leopoldo Bertossi, Loreto Bravo
Erschienen in: Logic for Programming, Artificial Intelligence, and Reasoning
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We propose and investigate a semantics for
peer data exchange systems
(or peer data management systems) where different peers are pairwise related to each other by means of data exchange constraints and trust relationships. These two elements plus the data at the peers’ sites and the local integrity constraints for a peer are made compatible via the proposed semantics by determining a set of
solution instances
, which are the intended virtual instances for the peer. The semantically correct answers from a peer to a query, called its
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.