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

Enrico Franconi, Gabriel Kuper, Andrei Lopatenko +1

In this paper we give a robust logical and computational characterisation of peer-to-peer database systems. We first define a pre- cise model-theoretic semantics of a peer-to-peer…