W1(A) before R2(A)
Acyclic Result
사이클이 없으면 위상 정렬 순서가 동등한 직렬 순서다
간선 방향은 반드시 앞서야 하는 트랜잭션 관계다. 방향을 모두 만족하는 위상 정렬이 충돌 동등한 직렬 순서다.
무사이클
위상 정렬
직렬 순서
→
T1 결과를 읽음
예: T1 → T2만 있으면 T1, T2는 가능하지만 T2, T1은 write-read 순서를
뒤집어 충돌 동등하지 않다.