Robustness against read committed for transaction templates

The isolation level Multiversion Read Committed (RC), offered by many database systems, is known to trade consistency for increased transaction throughput. Sometimes, workloads can be safely executed under RC obtaining the perfect of serializability at lower cost RC. To identify such cases, we introduce an expressive model programs better reason about transactional workloads. We develop tractable algorithms decide whether any possible schedule a workload serializable (referred as robustness problem). Our approach yields robust subsets that are larger than those identified previous methods. provide experimental evidence against evaluated faster compared stronger levels. discuss techniques making promoting selective read operations updates. Depending on scenario, performance improvements considerable. Robustness testing and executing transactions therefore direct way increase throughput without changing DBMS internals.