A client-centric specification of database isolation | Hacker News Reader