Enforcement of integrity constraints against transactions with transition axioms.
Sang Ho LeeLawrence J. HenschenMyoung-Ho KimYoon-Joon LeePublished in: COMPSAC (1992)
Keyphrases
- integrity constraints
- database transactions
- correctness criterion
- deductive databases
- integrity checking
- conjunctive queries
- functional dependencies
- database
- query answering
- inclusion dependencies
- databases
- database integrity
- access control
- concurrency control
- database schema
- active rules
- first order logic
- transaction processing
- schema integration
- xml documents
- knowledge base
- transaction management
- null values
- snapshot isolation
- consistent query answering
- expressive power
- multi dimensional
- inconsistent databases