같은 판정법

트랜잭션 수가 늘어나도 충돌 추출 → 선행 그래프 작성 → 사이클 확인 순서만 보면 됩니다. 이 예시는 모든 간선이 앞으로만 이어져 한 줄의 직렬 순서로 정리됩니다.

1. 충돌을 선후 제약으로 바꾸기

항목 A
W1(A) < R2(A)
T1 → T2
항목 B
W2(B) < R3(B)
T2 → T3
항목 B
W2(B) < W3(B)
T2 → T3

같은 데이터 항목에서 순서가 충돌하는 연산만 남기면, 그래프는 누가 먼저 실행되어야 하는지만 압축해서 보여줍니다.

2. 선행 그래프에서 사이클이 있는지 보기

되돌아오는 간선이 없으면 위상 정렬 가능
사이클 없음
T1 A를 먼저 씀 T2 A,B에 선행 T3 B를 나중에 읽고 씀
가능한 직렬 순서
T1
→
T2
→
T3

간선 방향을 거스르지 않는 순서를 실제 직렬 순서로 잡을 수 있으므로, 이 스케줄은 충돌 직렬 가능입니다. 세 개 이상에서도 핵심은 노드 수가 아니라 사이클 존재 여부입니다.