Semantic Conformance of Concurrency Control Protocols under Mixed Isolation Levels

Qiuhuan Xiong, Hengfeng Wei, Si Liu +2

Modern database systems widely support per-transaction isolation levels as a practical means of balancing consistency guarantees and performance. Yet, it remains largely unclear wh…