Monitoring dynamic integrity constraints based on temporal logic.
Udo W. LipeckGunter SaakePublished in: Inf. Syst. (1987)
Keyphrases
- integrity constraints
- temporal logic
- model checking
- dynamic constraints
- deductive databases
- modal logic
- functional dependencies
- integrity checking
- satisfiability problem
- query answering
- conjunctive queries
- computation tree logic
- linear temporal logic
- constraint checking
- active rules
- inclusion dependencies
- verification method
- consistent query answering
- xml documents
- predicate logic
- belief revision