Read atomic transactions with prevention of lost updates: ROLA and its formal analysis.
Si LiuPeter Csaba ÖlveczkyQi WangIndranil GuptaJosé MeseguerPublished in: Formal Aspects Comput. (2019)
Keyphrases
- formal analysis
- update transactions
- database transactions
- read only transactions
- read write
- update operations
- transaction processing
- distributed database systems
- database
- transaction management
- database updates
- formal methods
- concurrency control
- distributed databases
- agent model
- transaction model
- data replication
- real time database systems
- concurrency control protocols
- data access
- update propagation
- integrity constraints
- databases