In this paper we give an overview of the coDB semantically well-founded P2P DB system. A network of databases, possibly with different schemas, are interconnected by means of GLAV coordination rules, which are inclusions of conjunctive queries, with possibly existential variables in the head; coordination rules may be cyclic. Each node can be queried in its schema for data, which the node can fetch from its neighbours, if a coordination rule is involved. Correctness and termination of query answering is guaranteed also in the case of runtime change in the topology of the network.
Enrico Franconi, Gabriel M. Kuper, Andrei Lopatenk