DDB Trees: A Basis for Deductive Database Explanations.

Sarah Mallet Mireille Ducassé

Published in: AADEBUG (1997)

Keyphrases

deductive databases
integrity constraints
fixpoint
logic programming
query evaluation
disjunctive deductive databases
query processing
integrity checking
declarative semantics
databases
tree structure
semantic query optimization
general purpose
datalog programs