データベーススペシャリスト 2020年 午前2 問11

直列化可能性【午前2解説】

正解の理由

解法ステップ

1. 「直列化可能性」の定義を思い出す：並行実行の結果が何らかの逐次実行と同じかどうか。
2. 各選択肢を定義と照らし合わせる：
   • 並行実行の結果と逐次実行の結果が同じであれば正解。
   • プロトコル名（2相コミット）や隔離水準の高低などの記述は定義そのものではない。
3. 最も定義に合致する記述を選ぶ（エ）。

選択肢別の誤答解説

• ア: 「2相コミットが可能であり、複数のトランザクションを同時実行できる。」
  • 誤り。2相コミットは分散環境でのコミット合意プロトコルであり、並行実行の結果が逐次実行と同じかどうか（直列化可能性）を定義するものではありません。また、「2相コミットが可能であること」自体が直列化可能性の条件ではありません。
• イ: 「隔離性水準が低い状態であり、トランザクション間の干渉が起こり得る。」
  • 誤り。これは低い隔離レベル（例：Read Uncommitted）を示す説明であり、直列化可能性とは逆の概念です。直列化可能性は干渉があってもその結果が逐次と等しいことを要求します。
• ウ: 「複数のトランザクションが、一つずつ順にスケジュールされて実行される。」
  • 誤り。これは「逐次（シリアル）スケジュール」の説明であり、直列化可能性は「同時実行でもその結果がある逐次スケジュールと同じになる」ことを意味します。ウは逐次実行そのものを述べており、直列化可能性の定義と混同しやすい点に注意。
• エ: 「複数のトランザクションが同時実行された結果と、逐次実行された結果とが同じになる。」
  • 正解。これは直列化可能性の定義そのものです。

よくある誤解

• 2相コミットは直列化可能性を保証する、という誤解。実際は2相コミットはコミット合意（原子性）を目的とするプロトコルであり、並行制御（直列化可能性）とは別の関心事です。
• 直列化可能性＝逐次実行しかない、という誤解。直列化可能性が満たされていれば、並行実行を行っても「結果はある逐次スケジュールと同じ」になるため、並行性は保てます。
• 「隔離性」全般を直列化可能性と同一視する誤解。隔離性には複数レベルがあり、最高レベル（Serializable）が直列化可能性に相当しますが、他のレベル（Read Committed, Repeatable Read 等）は必ずしも直列化可能ではありません。

補足コラム

• 直列化可能性を実現する代表的手法：
  • 厳密二相ロッキング（Strict Two-Phase Locking, S2PL）：ロックの取得と解放の順序制約により直列化可能性を保証します。
  • タイムスタンプ順序付け（Timestamp Ordering）：各トランザクションにタイムスタンプを付与し、それに従って競合を解決することで直列化可能性を実現します。
• 例（簡単なスケジュールでの直列化可能性の確認）
  • T1: R(A), W(A)
  • T2: R(A), W(A)
  • 並行スケジュール: R1(A), R2(A), W1(A), W2(A)
    • このスケジュールの結果は逐次のどちらか（T1→T2 または T2→T1）と等しいかを検討して等しければ直列化可能。
• 直列化可能性が満たされていない場合、典型的な不整合（Lost Update, Non-serializable anomalies）が発生する可能性があります。

FAQ