Verifying Transactional Consistency of MongoDB.

Hongrong Ouyang Hengfeng Wei Yu Huang Haixiang Li Anqun Pan

Published in: CoRR (2021)

Keyphrases

model checking
consistency checking
real time
transaction processing
path consistency
databases
real world
decision making
fault tolerant
temporal reasoning
constraint networks
global consistency