データベーススペシャリスト 2011年 午前2 問13

前進・後退復帰判定【午前2解説】

正解の理由

解法ステップ

1. チェックポイントの意味を確認する
   • チェックポイントより前にコミット済みの変更は安定化されている前提（再適用不要）と扱う。
2. 各トランザクションのコミット状態と時点を確認する
   • チェックポイント以降にコミット：redo（前進復帰）対象
   • 未コミットで書込みあり：undo（後退復帰）対象
3. 各トランザクションの操作内容を確認する
   • Readのみ（Writeなし）ならば、復旧時に undo は不要
4. 上記を当てはめて該当トランザクションを分類する
   • 前進復帰：チェックポイント通過後にコミットされた T2, T5
   • 後退復帰：未コミットで書込みを行った T6
   • T1 はチェックポイント到達直前にコミット → 安定化済みで再適用不要
   • T3, T4 は Readのみ → 復旧上の undo 対象外

選択肢別の誤答解説

• ア（正）：前進復帰に T2, T5、後退復帰に T6 を配置。T3/T4 が読み取り専用で undo 不要、T1 はチェックポイント以前にコミットされ安定化済みである点を正しく扱っている。
• イ：後退復帰に T3 を含めている誤り。T3 は Write がない読み取り専用であり、未コミットでも取り消す変更が存在しないため undo の対象にはならない。
• ウ：前進復帰に T1 を含めている誤り。T1 はチェックポイント到達直前にコミットされているため、チェックポイントが安定化を示す想定では再適用（redo）は不要である。
• エ：前進復帰に T1、後退復帰に T3 を含める二重の誤り。T1 はチェックポイント以前のコミットで redo 不要、T3 は書込みがないため undo 不要である。

よくある誤解

• 誤解1：未コミット＝必ず後退復帰対象
  • 未コミットでも「読み取りのみ」はデータを変更していないため、undo の対象にはならない点を忘れがちです。
• 誤解2：コミット済みなら常に前進復帰が必要
  • コミットの時点がチェックポイントの前か後かで扱いが変わります。チェックポイントより前にコミット済みなら通常再適用は不要と判断されます。
• 誤解3：チェックポイントの意味を過度に単純化
  • 実装によってチェックポイントの取り方（完全チェックポイント、フェーズ分けなど）が異なりますが、試験問題では「チェックポイント到達前にコミット済みは安定化済み」とするのが基本想定です。

補足コラム

• 実際の DBMS（例えば ARIES）の復旧では、ログの内容（WAL）や checkpoint の記録位置を使い、undo フェーズと redo フェーズを厳密に分けて処理します。問題では簡略化されたモデルを使っているため、読み取り専用トランザクションが未コミットでも復旧上の undo が不要という点を明確に理解しておけば十分です。
• 「読み取り専用」でも一時構造を更新するようなケース（統計情報の更新など）は実装次第で例外になり得ますが、図に明示された Read 回数のみの表記は変更無しと解釈します。

FAQ