Sign in
A Logic Framework for P2P Deductive Databases.
Luciano Caroprese
Ester Zumpano
Published in:
Theory Pract. Log. Program. (2020)
Keyphrases
</>
deductive databases
logic programming
integrity constraints
query evaluation
declarative language
general logic programs
machine learning
model theoretic
constraint checking
disjunctive deductive databases