A Client-Centric Specification of Database Isolation | Hacker News Reader