Qobra: Fast Verification of Transactional Serializability with Quantum Annealing.
Natsuki HamadaKazuhiro SaitoHideyuki KawashimaPublished in: BigData (2023)
Keyphrases
- transaction processing
- transaction model
- concurrency control
- model checking
- simulated annealing
- multidatabase systems
- transaction management
- distributed database systems
- quantum computation
- nested transactions
- database systems
- correctness criterion
- fault tolerant
- verification method
- quantum computing
- face verification
- distributed databases
- signature verification
- quantum inspired
- database
- real time database systems
- concurrency control protocols
- logic circuits
- correctness criteria