IPA公式正解：イ REDO を繰り返し実行しても，正常終了するときには 1 回実行したときと同じデータの状態になること。
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【イ】です。「べき等（べきとう性）」とは、ある操作を1回実行しても複数回繰り返して実行しても、得られる結果やシステムの最終状態が同一になる性質を指します。
【詳細解説】■ 本問の核心・解法のポイント
数学や計算機科学における「べき等性（idempotence）」とは、「f(f(x)) = f(x)」のように、同一の操作を何度重ねて適用しても結果が変わらない性質のことです。データベースのREDO処理がべき等であれば、障害回復処理の途中で再びシステム障害が発生してREDOを最初から再実行することになっても、データの一貫性と正確性が保証されます。
・各選択肢の徹底解説：
・ア：チェックポイント処理などによるディスクへのダーティページのフラッシュに関する説明であり、べき等性の説明ではありません。
・イ：【選択肢イ★】操作を1回行っても複数回繰り返し実行しても最終的なデータ状態が同一になるという、べき等性の正確な定義です。
・ウ：メディア障害（ディスク障害）からのロールフォワード回復手順の説明です。
・エ：WAL（Write-Ahead Logging：ログ先行書き込み）プロトコルの説明です。
よって正解はイです。
