トランザクション T はチェックポイント後にコミットしたが, その後にシステム障害が発生した。トランザクション T の更新内容をその終了直後の状態にするために用いられる復旧技法はどれか。ここで, トランザクションは WAL プロトコルに従い, チェックポイントの他に, トランザクションログを利用する。