Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)

Hexu Li, Hengfeng Wei, Hongrong Ouyang +4

Serializability (SER) and snapshot isolation (SI) are widely used transactional isolation levels in database systems. The isolation checking problem asks whether a given execution…