This reminds me of CHECK CONSTRAINTS in RDMS. The whitepaper Serializable Snapshot Isolation talks more of dangerous read-write structures. My MVCC may be vul

This reminds me of CHECK CONSTRAINTS in RDMS. The whitepaper Serializable Snapshot Isolation talks more of dangerous read-write structures. My MVCC may be vulnerable to write skew even though it generates the right result. I am yet to generate a test case that exhibits that behaviour. The write skew occurs when there's two dangerous read-write structures