A Framework for Supporting Triggers in Deductive Databases.

Petra Bayer Willem Jonker

Published in: Rules in Database Systems (1993)

Keyphrases

deductive databases
integrity constraints
logic programming
query evaluation
fixpoint
integrity checking
semantic query optimization
artificial intelligence
active rules
disjunctive deductive databases
object oriented
general purpose
hypothetical reasoning
declarative language
constraint checking