Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Preferred answer sets for extended logic programs
Artificial Intelligence
Prioritized logic programming and its application to commonsense reasoning
Artificial Intelligence
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Extending and implementing the stable model semantics
Artificial Intelligence
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Efficient query reformulation in peer data management systems
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
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
Integrating and Querying P2P Deductive Databases
IDEAS '06 Proceedings of the 10th International Database Engineering and Applications Symposium
Composing mappings among data sources
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Consistent Data Integration in P2P Deductive Databases
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A comparative study of logic programs with preference
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
Aggregates and priorities in P2P data management systems
Proceedings of the 15th Symposium on International Database Engineering & Applications
Query answering in peer-to-peer data exchange systems
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Handling preferences in p2p systems
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
| Hi-index | 0.00 |
This paper proposes a logic framework for modeling the interaction among deductive databases and computing consistent answers to logic queries in a P2P environment. As usual, data are exchanged among peers by using logical rules, called mapping rules. The declarative semantics of a P2P system is defined in terms of weak models. Under this semantics each peer uses its mapping rules to import minimal sets of mapping atoms allowing to satisfy its local integrity constraints. An equivalent and alternative characterization of minimal weak model semantics, in terms of prioritized logic programs, is also introduced and the computational complexity of P2P logic queries is investigated.