Restoring Consistency in P2P Deductive Databases

作者: Luciano Caroprese , Ester Zumpano

DOI: 10.1007/978-3-642-33362-0_13

关键词:

摘要: This paper proposes a logic framework for modeling the interaction among deductive databases and computing consistent answers to queries in P2P environment. As usual, data are exchanged peers by using logical rules, called mapping rules. The declarative semantics of system is defined terms weak models. Under this each peer uses its rules import minimal sets atoms allowing satisfy local integrity constraints. An equivalent alternative characterization model semantics, prioritized programs, also introduced computational complexity investigated.

参考文章(31)
Luciano Caroprese, Ester Zumpano, Handling Preferences in P2P Systems Lecture Notes in Computer Science. pp. 91- 106 ,(2012) , 10.1007/978-3-642-28472-4_6
Luciano Caroprese, Ester Zumpano, Sergio Greco, A Logic Programming Approach to Querying and Integrating P2P Deductive Databases. the florida ai research society. pp. 31- 36 ,(2006)
Enrico Franconi, Gabriel Kuper, Andrei Lopatenko, Luciano Serafini, A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems databases information systems and peer to peer computing. pp. 64- 76 ,(2003) , 10.1007/978-3-540-24629-9_6
Zachary G. Ives, Dan Suciu, Steven D. Gribble, Alon Y. Halevy, Maya Rodrig, What Can Database Do for Peer-to-Peer? international workshop on the web and databases. pp. 31- 36 ,(2001)
Leopoldo Bertossi, Loreto Bravo, The semantics of consistency and trust in peer data exchange systems international conference on logic programming. pp. 107- 122 ,(2007) , 10.1007/978-3-540-75560-9_10
Gianluigi Greco, Sergio Greco, Ester Zumpano, Repairing and querying inconsistent databases Effective databases for text & document management. pp. 318- 359 ,(2003) , 10.4018/978-1-93177-747-6.CH018
L. Caroprese, E. Zumpano, Consistent Data Integration in P2P Deductive Databases scalable uncertainty management. pp. 230- 243 ,(2007) , 10.1007/978-3-540-75410-7_17
Jayant Madhavan, Alon Y. Halevy, Composing mappings among data sources very large data bases. pp. 572- 583 ,(2003) , 10.1016/B978-012722442-8/50057-4
Kewen Wang, Torsten Schaub, A comparative study of logic programs with preference international joint conference on artificial intelligence. pp. 597- 602 ,(2001)
PB Fausto, PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, I Zaihrayeu, Data Management for Peer-to-Peer Computing: A Vision international workshop on the web and databases. pp. 89- 94 ,(2002)