Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment.

K. Kim Lawrence J. Henschen

Published in: SEKE (1992)

Keyphrases

deductive databases
integrity constraints
logic programming
query evaluation
semantic query optimization
disjunctive deductive databases
fixpoint
datalog programs
integrity checking
declarative semantics
logical implication
database
machine learning
declarative language
fixpoint semantics
closed world assumption