Constraints in an Object-Oriented Deductive Database.

Published in: DOOD (1991)

Keyphrases

deductive databases
integrity constraints
fixpoint
logic programming
cardinality constraints
integrity checking
constraint satisfaction
query evaluation
update propagation
logic programs
event calculus
closed world assumption
object oriented
constraint programming
global constraints
declarative semantics