Skip to main content

2004 | OriginalPaper | Buchkapitel

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

verfasst von : Enrico Franconi, Gabriel Kuper, Andrei Lopatenko, Luciano Serafini

Erschienen in: Databases, Information Systems, and Peer-to-Peer Computing

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Metadaten
Titel
A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems
verfasst von
Enrico Franconi
Gabriel Kuper
Andrei Lopatenko
Luciano Serafini
Copyright-Jahr
2004
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-540-24629-9_6