IPA公式正解:エ 複数のトランザクションが同時実行された結果と,逐次実行された結果とが同じになる。
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【エ】です。直列化可能性(シリアライザビリティ)とは、複数のトランザクションを並行して実行した結果が、それらを何らかの順序で1つずつ逐次実行(直列実行)した結果と等価になる性質のことです。これにより並行実行によるデータの不整合を防ぎます。
【詳細解説】■ 本問の核心・解法のポイント
トランザクションの同時実行制御における「直列化可能性(Serializability:シリアライザビリティ)」の定義を問う問題です。
データベースでは処理スループットを高めるために複数のトランザクションを並行実行しますが、そのままでは干渉によって不整合が生じる恐れがあります。複数のトランザクションをインターリーブ(並行)実行した最終結果が、それらを直列(逐次)に1つずつ実行したいずれかのスケジュールと同じ結果になる場合、そのスケジュールは直列化可能であるといい、データベースの一貫性が保たれます。
・各選択肢の徹底解説:
・ア:2相コミット(2フェーズコミット)は分散データベース環境で原子性を保証するためのプロトコルであり、直列化可能性の説明ではありません。
・イ:隔離性水準が低い場合はダーティリードや反復不能読み取りなどの干渉が起こりますが、これは直列化可能性が損なわれている状態の説明です。
・ウ:実際に1つずつ順に逐次実行することを表しており、並行実行されたスケジュールが直列実行と等価であることを表す直列化可能性の説明ではありません。
・エ:【選択肢エ★】複数のトランザクションを同時実行した結果が、逐次実行した結果と同一になる性質であり、直列化可能性の正しい説明です。
よって正解はエです。