On the Complexity of Checking Mixed Isolation Levels for SQL Transactions.

Ahmed Bouajjani, Constantin Enea, Enrique Romn-Calvo

Browse the full CAV paper archive.