W1(A) → R2(A)
Three Transactions
트랜잭션이 셋 이상이어도 규칙은 같다
트랜잭션이 늘어도 모든 충돌쌍을 그래프에 누적한 뒤, 사이클과 위상 정렬 가능 여부를 한 번에 판단한다.
T1
T2
T3
W2(B) → R3(B)
R1(C) after W3(C)
예시 간선이 T1 → T2, T2 → T3, T3 → T1로 닫히면 세 트랜잭션 모두를
만족하는 직렬 순서는 없다.