On Active Deductive Databases: The Statelog Approach.

Georg Lausen Bertram Ludäscher Wolfgang May

Published in: Transactions and Change in Logic Databases (1998)

Keyphrases

deductive databases
integrity constraints
logic programming
query evaluation
fixpoint
model theoretic
active rules
disjunctive deductive databases
semantic query optimization
integrity checking
constraint checking
closed world assumption
databases
active databases