You actually don't need the first constraint at all for serializability: see "A Critique of Snapshot Isolation" https://arxiv.org/pdf/2405.18393 https://arxiv.

You actually don't need the first constraint at all for serializability: see "A Critique of Snapshot Isolation" https://arxiv.org/pdf/2405.18393 https://arxiv.org/pdf/2405.18393