论文信息 - A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems

A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems

In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p system, which allows for local inconsistency handling. We then characterise the general computational properties for the problem of answering queries to such a p2p system. Finally, we devise tight complexity bounds and distributed procedures for the problem of answering queries in few relevant special cases.

[1] Raymond Reiter. What Should a Database Know? , 1992, J. Log. Program..

[2] Patrick Brézillon,et al. Modeling and Using Context , 1999, Lecture Notes in Computer Science.

[3] Luciano Serafini,et al. Using Wrapper Agents to Answer Queries in Distributed Information Systems , 2000, ADVIS.

[4] Renée J. Miller,et al. Mapping data in peer-to-peer systems: semantics and algorithmic issues , 2003, SIGMOD '03.

[5] Diego Calvanese,et al. Semantic Data Integration in P2P Systems , 2003, DBISP2P.

[6] Maurizio Lenzerini,et al. Data integration: a theoretical perspective , 2002, PODS.

[7] Renée J. Miller,et al. Data mapping in peer-to-peer systems: Semantics and algorithmic issues , 2003, SIGMOD 2003.

[8] Fausto Giunchiglia,et al. Local Relational Model: A Logical Formalization of Database Coordination , 2003, CONTEXT.

[9] Raymond Reiter,et al. What should a database know? , 1988, PODS '88.

[10] Hector Garcia-Molina,et al. Peer-to-peer data trading to preserve information , 2002, TOIS.

[11] Dan Suciu,et al. What Can Database Do for Peer-to-Peer? , 2001, WebDB.

[12] Tatyana Yakhno,et al. Advances in Information Systems , 2002, Lecture Notes in Computer Science.

[13] J. Meigs,et al. WHO Technical Report , 1954, The Yale Journal of Biology and Medicine.

[14] Fausto Giunchiglia,et al. Data Management for Peer-to-Peer Computing : A Vision , 2002, WebDB.