Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking.