プッシュダウンの最適化のユーザー定義パラメータを使用し、パラメータファイルで定義されているパラメータ値に基づいてプッシュダウンの最適化を実行します。異なる時刻に、異なるプッシュダウンの最適化オプションを実行する場合は、プッシュダウンの最適化のユーザー定義パラメータを使用します。