Detecting Robustness against MVRC for Transaction Programs with Predicate Reads

Brecht Vandevoort, Bas Ketsman, Christoph Koch +1

The transactional robustness problem revolves around deciding whether, for a given workload, a lower isolation level than Serializable is sufficient to guarantee serializability. T…