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

Franconi, Enrico and Kuper, Gabriel and Lopatenko, Andrei and Serafini, Luciano (2003) A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems. UNSPECIFIED.

[img]
Preview
PDF
Download (243Kb) | Preview

    Abstract

    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.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Data Base Management
    Additional Information: Published in DBISP2P workshop (Berlin, September 2003)
    Report Number: DIT-03-051
    Repository staff approval on: 06 Oct 2003

    Actions (login required)

    View Item