Concurrency Control Protocol for Broadcast-based Transaction Processing and Correctness Proof.
Yan HuangYann-Hang LeePublished in: PDCS (2001)
Keyphrases
- concurrency control protocols
- transaction processing
- correctness criterion
- distributed databases
- data broadcast
- concurrency control
- database systems
- transaction management
- real time database systems
- multilevel secure
- database management systems
- mobile computing
- nested transactions
- distributed database systems
- transaction processing systems
- data dissemination
- multidatabase systems
- active databases
- database server
- transaction model
- communication networks
- read only transactions
- data management
- mobile devices
- mobile applications
- distributed environment
- wireless networks
- database applications
- mobile phone
- data structure