Practice

직렬 가능성 검증은 충돌 간선을 빠뜨리지 않는 것이 핵심이다

같은 데이터 항목, 다른 트랜잭션, 하나 이상 write인 쌍만 간선 후보가 된다.

같은 항목
write
간선
1항목 찾기

A, B별로 묶기

2충돌 확인

R/W, W/R, W/W

3간선 추가

먼저 나온 쪽에서 나중 쪽으로

4사이클

있으면 불가능

5순서

위상 정렬