データベーススペシャリスト 2012年 午前2 問17

先行ログ方式（WAL）【午前2解説】

正解の理由

解法ステップ

1. WALの基本要件を確認する：「ログはデータ更新より先に永続化されること（Write Ahead）」「コミットはログに残して永続化された時点で確定する」。
2. 設問の各処理の役割を認識する：
   • ① begin：トランザクション開始の記録
   • ③ 更新前レコード：undoに必要
   • ④ 更新後レコード：redoに必要
   • ② データベース更新：ページやレコードの実体変更
   • ⑤ commit：確定記録（必ず永続化）
   • ⑥ end：トランザクション終了の後処理完了記録
3. 要件に照らして順序を並べる：① → ③ → ④ → ② → ⑤ → ⑥。
4. 選択肢と照合して エ を選ぶ。

選択肢別の誤答解説

• ア: ①→②→③→④→⑤→⑥
  誤り点：データベース更新（②）が先に来ており、更新前後のログ（③・④）が後になっています。WALに反し、障害時に必要なログが未永続化のままデータを書き込むことになり、回復不能になる可能性があります。
• イ: ①→③→②→④→⑥→⑤
  誤り点1：更新後レコード（④）がデータベース更新（②）の後に書かれており、WALの「ログはデータ更新より先に」要件を満たしていません。
  誤り点2（重要）：end（⑥）がcommit（⑤）より先に書かれている点が致命的です。commit はトランザクション確定を示す記録であり、end はその後のクリーンアップ記録です。commitがendより後に来る（つまりcommitがendの後で初めて書かれる）順序は論理的に不適切で、復旧処理が成立しません。
• ウ: ①→③→②→⑤→④→⑥
  誤り点：commit（⑤）が更新後レコード（④）より前に書かれています。commit が永続化された後に、redoに必要な更新後イメージが未永続化という状態は許されません。コミット済みの変更を障害後に再適用（redo）できなくなる恐れがあります。
• エ: ①→③→④→②→⑤→⑥
  理由：更新前イメージ→更新後イメージをログに残してからデータ本体を更新し、コミットをログに永続化して最後に終了記録を出す流れは、WALの要件（undo/redoに必要なログを先に確保し、コミットを永続化してから終了）を満たします。したがって正しい順序です。

よくある誤解

• 「ログはまとめてでもよい」
  誤解：ログとデータ更新の順序さえ守ればよいと考え、更新後イメージをデータ更新後にまとめて書き込めばよいと思いがちです。実際はコミット前にredo用の情報が確実に永続化されている必要があります。
• 「endが先でも問題ない」
  誤解：endは単なる終了マークと考える誤り。endはトランザクションの後処理が完了したことを示す記録であり、commitが記録・永続化されていることが前提です。順序を逆にすると回復不整合が生じます。

補足コラム

• ARIESのような現代的なログ再実行方式では、各更新ログにundoとredo情報（before/afterイメージや差分）を含め、ログの先行性（WAL）とチェックポイントを組み合わせて効率的な復旧を実現しています。
• 実装面では「ログの永続化＝ディスクへ書くだけでなくfsync等で確実にディスクに反映させる」操作が必要です。単にバッファに入れただけではWAL要件は満たされません。
• group commit：高負荷環境では複数トランザクションのcommitログを書きまとめて永続化する手法が用いられますが、各トランザクションごとにcommitログが確実に永続化されることが前提です。

FAQ