loading...
Integrating and Querying P2P Deductive Databases
Delhi, India December 11-December 14
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IDEAS.2006.2810th International Database Engineeri ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Luciano Caroprese, Universita della Calabria
Cristian Molinaro, Universita della Calabria
Ester Zumpano, Universita della Calabria
The 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 novelty of our approach is that only data not violating integrity constraints are exchanged. The (declarative) semantics of a P2P system is defined in terms of weak models. Under this semantics only facts not making the local databases inconsistent can be imported, and the preferred weak models are the consistent scenarios in which peers import maximal sets of facts not violating integrity constraints. A characterization of the preferred weak model semantics, allowing to model a P2P system with a prioritized logic program, is provided. The proposed framework is then extended in order to also take into account P2P system in which each peer may be locally inconsistent, i.e. its data does not satisfy some of its constraints. Finally, the complexity of P2P logic queries is investigated.
Citation:
Luciano Caroprese, Cristian Molinaro, Ester Zumpano, "Integrating and Querying P2P Deductive Databases," ideas, pp.285-290, 10th International Database Engineering and Applications Symposium (IDEAS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.