{"id":"aborted-writes-universally-invisible","text":"A version created by an aborted transaction is invisible to every transaction, and a deletion by an aborted transaction is ignored — aborted transactions' effects are completely erased from all snapshots.","truth_value":"IN","source":"entries/2026/05/29/snapshot-isolation-mvcc_database-_is_visible.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"aborted-writes-universally-invisible","truth_value":"IN","reason":"premise"}]}}