Transformation of Dynamic Integrity Constraints into Transaction Specifications.
Udo W. LipeckPublished in: ICDT (1988)
Keyphrases
- integrity constraints
- database transactions
- deductive databases
- database schema
- integrity checking
- database integrity
- correctness criterion
- inclusion dependencies
- query answering
- conjunctive queries
- functional dependencies
- database
- constraint checking
- schema integration
- databases
- consistent query answering
- null values
- active databases
- active rules
- np complete
- sensor networks