P2P deductive databases: a system prototype.

Luciano Caroprese Ester Zumpano

Published in: iiWAS (2017)

Keyphrases

deductive databases
integrity constraints
peer to peer
fixpoint
semantic query optimization
logic programming
query evaluation
integrity checking
disjunctive deductive databases
declarative semantics
declarative language
constraint checking
closed world assumption
model theoretic
database