Building a deductive database: M Nussbaum Ablex Publishing Corporation (1992) $54.50 272 pp ISBN 0 89391 768 0.

Published in: Inf. Softw. Technol. (1993)

Keyphrases

deductive databases
integrity constraints
logic programming
disjunctive deductive databases
semantic query optimization
fixpoint
integrity checking
update propagation
query evaluation
event calculus
closed world assumption
data model
data mining
logic programs
first order logic
datalog programs