A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets.
J. XuPublished in: VLDB (1982)
Keyphrases
- formal model
- transaction systems
- nested transactions
- concurrency control and recovery
- concurrency control
- transaction processing
- database systems
- formal models
- concurrency control protocols
- distributed databases
- transaction model
- data replication
- fine grained
- multidatabase systems
- security properties
- databases
- context aware
- database management systems
- transaction management
- mobile devices
- security patterns
- data structure