Keyphrases
- correctness criterion
- concurrency control
- integrity constraints
- concurrent execution
- linear logic
- transaction management
- correctness criteria
- distributed database systems
- multidatabase systems
- data replication
- nested transactions
- data sets
- concurrency control protocols
- neural network
- response time
- xml documents
- information systems
- information retrieval