WAL Recovery Checkpoint

Redo, undo, and analysis phases.


1. Redo should apply an update if:
2. Undo is applied to:
3. True/False: Recovery must be deterministic for correctness.