I’m reading the paper Making Snapshot Isolation Serializable,it provide an example 2.1 in Section 2.1:
SI history H1
It’a an transaction history under SI,and explains it was The H1 transactions are serializable in order: T1T2T3
;as far as i known:
- If it’s serializable as
T1T2T3
, there should not beR3(Y1)
,must beR3(Y2)
- If it’s serializable as
T1T3T2
, there should not beR2(X1)
, must beR2(X3)
Where did I go wrong in my understanding?
I have search on google and asked on poe,it didn’t worked for me.
New contributor
Soren Yang is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.