Null inclusion dependencies in relational databases
Information and Computation
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Mapping data in peer-to-peer systems: semantics and algorithmic issues
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Logics for Emerging Applications of Databases
Logics for Emerging Applications of Databases
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
The Piazza Peer Data Management System
IEEE Transactions on Knowledge and Data Engineering
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Schema mappings, data exchange, and metadata management
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Optimizing Repair Programs for Consistent Query Answering
SCCC '05 Proceedings of the XXV International Conference on The Chilean Computer Science Society
Consistent query answering in databases
ACM SIGMOD Record
ACM Transactions on Database Systems (TODS)
Magic Sets and their application to data integration
Journal of Computer and System Sciences
Handling inconsistency in databases and data integration systems
Handling inconsistency in databases and data integration systems
Proceedings of the 2nd international conference on Semantics in databases
The semantics of consistency and trust in peer data exchange systems
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
A distributed algorithm for robust data sharing and updates in p2p database networks
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Query answering in peer-to-peer data exchange systems
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Semantically correct query answers in the presence of null values
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Information Sharing Agents in a Peer Data Exchange System
Globe '08 Proceedings of the 1st international conference on Data Management in Grid and Peer-to-Peer Systems
DL-LITER in the light of propositional logic for decentralized data management
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Non-conservative extension of a peer in a P2P inference system
AI Communications
The semantics of consistency and trust in peer data exchange systems
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Modeling cooperation in P2P data management systems
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Data conflict resolution using trust mappings
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Query translation between sources in peer-to-peer database sharing systems
International Journal of Knowledge Engineering and Data Mining
Aggregates and priorities in P2P data management systems
Proceedings of the 15th Symposium on International Database Engineering & Applications
Handling preferences in p2p systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Restoring consistency in p2p deductive databases
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
Automated and user involved data synchronization in collaborative e-health environments
Computers in Human Behavior
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Hi-index | 0.00 |
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.