Efficient Consistency Control in Deductive Databases.

Guido Moerkotte Stefan Karl

Published in: ICDT (1988)

Keyphrases

deductive databases
integrity constraints
update propagation
logic programming
query evaluation
semantic query optimization
closed world assumption
database
fixpoint
integrity checking
declarative language
disjunctive deductive databases
natural language
datalog programs
model theoretic