R1(A), W2(A)처럼 항목별 로그를 묶기
실습
직렬 가능성 검증
충돌 그래프는 같은 항목을 접근한 서로 다른 트랜잭션 중 하나 이상이 write인 순서쌍만 간선으로 바꾼다.
같은 항목
write
간선
R/W, W/R, W/W만 충돌로 표시
먼저 실행된 Ti에서 나중 Tj로 Ti → Tj
Ti → Tj → Ti가 생기면 직렬 불가능
사이클 없으면 가능한 직렬 순서 산출