Recoverable

회복 가능 스케줄

Ti가 Tj의 값을 읽었다면, 독자 Ti는 작성자 Tj가 commit된 뒤에만 commit해야 abort 전파를 통제할 수 있다.

안전

작성자

독자

W1(A) → R2(A) → C1 → C2
read-from: T2 reads A from T1, commit order: C1 before C2

회복 가능은 더티 읽기를 금지한다는 뜻이 아니라, commit 순서를 지켜 abort가 필요한 트랜잭션을 아직 되돌릴 수 있게 둔다는 뜻이다.