회복 불가능 스케줄은 더티 읽기를 먼저 커밋한다
커밋되지 않은 값을 읽은 트랜잭션이 먼저 커밋하면, 원 작성자가 abort될 때 전파 롤백을 안전하게 할 수 없습니다.
01W1(A)T1이 아직 미커밋 값을 씁니다.
02R2(A)T2가 T1의 더티 값을 읽습니다.
03C2T2가 먼저 커밋해 결과를 공개합니다.
04A1T1이 abort되면 T2 결과를 되돌리기 어렵습니다.
검사 기준: 읽은 쪽의 commit은 쓴 쪽의 commit보다 앞서면 안 됩니다. C2가 C1 또는 A1보다 먼저 나오면 위험합니다.