ALTER SERVER server_name
OPTIONS (option ...)
server_name
のサーバ情報を変更し、CREATE SERVER
コマンドごとの指定オプションを調整します。詳しくは 項 「CREATE SERVER
構文」 を参照してください。mysql.servers
テーブル内の対応するフィールドは適宜更新されます。
例えば、USER
オプションを更新する為には:
ALTER SERVER s OPTIONS (USER 'sally');
ALTER SERVER
を利用する為に特別な権限は必要ありません。
ALTER SERVER
は自動コミットを引き起こしません。