Reduce Once, Verify Many: Verifying Isolation Guarantees via Hierarchical Abstractions

Shabnam Ghasemirad, Christoph Sprenger, Si Liu +1

We present a mathematically rigorous, systematic approach for the verification of database isolation guarantees, which (i) supports a spectrum of seven isolation levels, (ii) uncov…