분별 1순위 기준 = COMMIT 발행 여부

COMMIT 끝났으면 다시, 안 끝났으면 취소

분별	대상 트랜잭션	사용 로그값	동작	보장 ACID
REDO	COMMIT 발행됨 (디스크 미반영)	이후값	다시 Write	영속성
UNDO	COMMIT 미발행 (활동/실패)	이전값	되돌리기	원자성

🗳️

결재 도장 — 도장 찍힘(COMMIT)이면 다시 결재(REDO·이후값), 도장 안 찍힘(미COMMIT)이면 찢어버림(UNDO·이전값).

⚠️ 함정 + 예외

'REDO는 이전값'❌·'UNDO는 COMMIT된 대상'❌·'REDO는 원자성'❌. 그림자 페이지만 REDO/UNDO 둘 다 불필요.