I-Serializability: Generalized Correctness for Transaction-Based Environments.
Jürgen EbertGottfried VossenPublished in: Inf. Process. Lett. (1997)
Keyphrases
- correctness criterion
- concurrency control
- transaction management
- nested transactions
- concurrency control protocols
- correctness criteria
- multidatabase systems
- integrity constraints
- linear logic
- transaction model
- database systems
- database
- distributed databases
- transaction processing
- database concurrency control
- data replication
- fine grained
- snapshot isolation
- concurrent execution
- real world
- robotic systems
- query optimization
- database management systems
- replicated databases
- concurrent transactions
- databases
- transaction data
- dynamic environments
- distributed systems
- acid properties