충돌 순서는 방향 그래프로 모아 사이클을 본다
같은 데이터 항목에서 하나 이상이 쓰기인 쌍만 간선으로 만들고, 사이클이 없으면 충돌 직렬 가능합니다.
스케줄 S
R1(A)W1(A)R2(A)W2(A)C2
W1(A)가 R2(A), W2(A)보다 앞서므로 T1이 T2보다 앞서야 합니다.간선
T1→T2
돌아오는 간선이 없으므로 사이클 없음1. 항목별 묶기 같은 A를 만지는 연산만 비교합니다.
2. 충돌만 고르기 R-W, W-R, W-W만 간선을 만듭니다.
3. 사이클 확인 T1→T2→T1처럼 되돌아오면 어떤 직렬 순서로도 설명할 수 없습니다.
간선은 장식이 아니라 “반드시 앞서야 하는 제약”입니다. 제약이 순환하면 충돌 직렬 가능하지 않습니다.