Checking Robustness Against Snapshot Isolation

Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea

Transactional access to databases is an important abstraction allowing programmers to consider blocks of actions (transactions) as executing in isolation. The strongest consistency…