On the Complexity of Checking Mixed Isolation Levels for SQL Transactions

Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo

Concurrent accesses to databases are typically grouped in transactions which define units of work that should be isolated from other concurrent computations and resilient to failur…