AUTOREF: A deductive database for automatic referee selection.

Published in: Inf. Manag. (1992)

Keyphrases

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