Content deleted Content added
→View equivalence: fixed typo and used better wording |
→View equivalence: fixed typo |
||
Line 314:
* S1: R1(A)<sub>initial read</sub>, W1(A), R1(B)<sub>initial read</sub>, W1(B), Com1, R2(A)<sub>written by T1</sub>, W2(A)<sub>final write</sub>, R2(B)<sub>written by T1</sub>, W2(B)<sub>final write</sub>, Com2
* S2: R1(A)<sub>initial read</sub>, W1(A), R2(A)<sub>written by T1</sub>, W2(A)<sub>final write</sub>, R1(B)<sub>initial read</sub>, W1(B), Com1, R2(B)<sub>written by T1</sub>, W2(B)<sub>final write</sub>, Com2
* S3: R1(A)<sub>initial read</sub>, W1(A), R2(A)<sub>written by T1</sub>, W2(A)<sub>final write</sub>, '''R2(B)<sub>
====View-serializable====
|