[解決済み】カラムを変更し、デフォルト値を変更する方法は？

質問

カラムのデータ型を変更し、新しいデフォルト値を設定しようとしたところ、以下のエラーが発生しました。

ALTER TABLE foobar_data ALTER COLUMN col VARCHAR(255) NOT NULL SET DEFAULT '{}';

エラー 1064 (42000)。SQL 構文にエラーがあります。 MySQLサーバーのバージョンに対応するマニュアルで、正しい 1行目の 'VARCHAR(255) NOT NULL SET DEFAULT '{}'' の付近で使用する構文です。

解決方法は？

ALTER TABLE foobar_data MODIFY COLUMN col VARCHAR(255) NOT NULL DEFAULT '{}';

同じことをする2つ目の可能性（juergen_dさんに感謝します）。

ALTER TABLE foobar_data CHANGE COLUMN col col VARCHAR(255) NOT NULL DEFAULT '{}';