Keyphrases
- multidatabase systems
- integrity constraints
- transaction management
- schema integration
- correctness criterion
- database systems
- integrity checking
- multidatabase environment
- concurrency control
- deductive databases
- query optimization
- snapshot isolation
- distributed database systems
- transaction processing
- database management systems
- xml documents
- execution model
- active rules
- concurrency control protocols
- transaction model
- query decomposition
- context aware
- database