The Semantics of Consistency and Trust in Peer Data Exchange Systems

DOI10.1007/978-3-540-75560-9_10MaRDI QIDQ3498459zbMATH OpenOpenAlexFDO

Authors Leopoldo Bertossi, Loreto Bravo

Publication date 15 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.01930

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Abstract: We 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.

Recommendations

• Consistency and trust in peer data exchange systems
• Database Programming Languages
• Intensional Semantics for P2P Data Integration
• A logic framework for P2P deductive databases
• Data exchange: semantics and query answering

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1950744 (Why is no real title available?)
• scientific article; zbMATH DE number 1954112 (Why is no real title available?)
• Answer sets for consistent query answering in inconsistent databases
• Database Programming Languages
• Inconsistency Tolerance
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming
• Logic programming and knowledge representation---The A-Prolog perspective
• Magic Sets and their application to data integration
• Null inclusion dependencies in relational databases
• The Semantics of Consistency and Trust in Peer Data Exchange Systems

Cited in

(7)

• Update translation in instance mapped heterogeneous peer databases
• Intensional Semantics for P2P Data Integration
• The Semantics of Consistency and Trust in Peer Data Exchange Systems
• A logic framework for P2P deductive databases
• Database Programming Languages
• Policy-based inconsistency management in relational databases
• Consistency and trust in peer data exchange systems

This page was built for publication: The Semantics of Consistency and Trust in Peer Data Exchange Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3498459)