A Logic Framework for P2P Deductive Databases.

Luciano Caroprese Ester Zumpano

Published in: CoRR (2019)

Keyphrases

deductive databases
logic programming
integrity constraints
declarative language
peer to peer
query evaluation
integrity checking
model theoretic
declarative semantics
general logic programs
databases
query processing
general purpose
defeasible logic
semantic query optimization