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