A, B별로 묶기
Practice
직렬 가능성 검증은 충돌 간선을 빠뜨리지 않는 것이 핵심이다
같은 데이터 항목, 다른 트랜잭션, 하나 이상 write인 쌍만 간선 후보가 된다.
같은 항목
write
간선
R/W, W/R, W/W
먼저 나온 쪽에서 나중 쪽으로
있으면 불가능
위상 정렬