Designing a dynamic integrity constraint checker with nonmonotonic logic.

Sheela Ramanna James F. Peters Elizabeth A. Unger K. W. Glander

Published in: COMPSAC (1990)

Keyphrases

integrity constraints
nonmonotonic logics
deductive databases
default logic
active rules
nonmonotonic reasoning
integrity checking
logic programming
sufficient conditions