Generating Deductive Database Explanations.

Sarah Mallet Mireille Ducassé

Published in: ICLP (1999)

Keyphrases

deductive databases
integrity constraints
logic programming
query evaluation
disjunctive deductive databases
integrity checking
fixpoint
update propagation
semantic query optimization
closed world assumption
event calculus
declarative semantics
artificial intelligence