A Deductive Database Architecture Based on Partial Evaluation.

Li Lei Georges-Henri Moll Jacques Kouloumdjian

Published in: SIGMOD Rec. (1990)

Keyphrases

partial evaluation
deductive databases
explanation based generalization
logic programming
integrity constraints
disjunctive deductive databases
update propagation
fixpoint
logic programs
declarative semantics
support vector
prior knowledge
query evaluation
domain theory