Transformation of Dynamic Integrity Constraints into Transaction Specifications.
Udo W. LipeckPublished in: Theor. Comput. Sci. (1990)
Keyphrases
- integrity constraints
- database transactions
- deductive databases
- functional dependencies
- integrity checking
- database integrity
- correctness criterion
- conjunctive queries
- query answering
- schema integration
- database schema
- xml documents
- inclusion dependencies
- constraint checking
- active rules
- active databases
- transaction processing
- data complexity
- null values
- federated databases