データベースのREDOにおけるべき等性

障害回復処理におけるREDO操作の「べき等性（Idempotence）」の定義に関する問題です。 べき等（idempotent）とは、ある操作を1回実行しても、同一の操作を複数回繰り返し実行しても、最終的に得られる状態が1回実行したときと全く同一になる性質を指します。REDOログの適用がべき等であれば、回復処理中に障害が再発してREDOをやり直した場合でも正しく元のコミット状態に復旧できます。 整合性のとれたデータを定期的に記憶媒体に書き出す処理は「チェックポイント」の説明です。 バックアップデータをリストアしてログを適用する一連の手順は「ロールフォワード（媒体障害からの回復）」の説明です。 コミット前にログを先に書き出し、その後にデータ本体を更新する規則は「WAL（Write-Ahead Logging：ログ先行書き込み）」プロトコルの説明です。

データベースのREDOのべき等（idempotent）の説明として，適切なものはどれか。

出典令和7年度 秋期 データベーススペシャリスト試験 午前Ⅱ 問14
ア
REDOによる障害回復の時間を短縮するために，あるルールに従って整合性のとれたデータを記憶媒体に適宜反映すること。
イ
REDOを繰り返し実行しても，正常終了するときには1回実行したときと同じデータの状態になること。
ウ
事前に取得していたバックアップデータを記憶媒体に復旧し，そのデータに対してREDOを実行すること。
エ
トランザクションをコミットする前にREDOに必要な情報を書き出し，データの更新はそのあとで行うこと。