MoryFabric : Reducing Transaction Abort by Actual Validity Verification and Reordering.
Jinlong HeYang LiuJingwen ChenSong PengYaoqi WangMiaomiao ZhangPublished in: ICPADS (2023)
Keyphrases
- concurrency control
- transaction processing
- transaction management
- nested transactions
- transaction model
- commit protocols
- response time
- database management systems
- distributed databases
- database systems
- distributed database systems
- database
- fine grained
- verification method
- database transactions
- signature verification
- model checking
- databases
- formal methods
- face verification
- wireless networks
- database applications
- object oriented