インデックスの名前を変更したいのですが。表の変更に関するドキュメントを見てきましたが、単にインデックスの名前を変更するための構文を理解できません。MySQL GUIを介して実行すると、インデックスが削除され、新しいインデックスが作成されます。これは機能しますが、インデックスの名前を変更するためだけにインデックス全体を再構築することは避けたいと思います。
[追加情報]
表の変更のドキュメントには、
テーブルメタデータのみを変更し、テーブルデータは変更しない変更は、テーブルの.frmファイルを変更し、テーブルの内容に触れないことですぐに行うことができます。次の変更は、この方法で行うことができる高速な変更です。
* Renaming a column or index.
ただし、(テストデータベース上の).frmファイルを編集してサーバーを再起動し、インデックスの名前を変更しようとすると、列を一覧表示しようとしたとき、および実行しようとしたときに、UIに「列をフェッチできませんでした」と表示されるようになりました。クエリを実行すると、「不明なテーブルエンジン ''」というエラーが返されます。.frmファイルには多くのバイナリコンテンツが含まれています。バイナリ情報を編集するための優れたツールはありますか?