Sign in

A Logic Framework for P2P Deductive Databases.

Luciano CaropreseEster 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