Ich möchte einen Index umbenennen. Ich habe mir die Dokumentation zur Änderungstabelle angesehen , kann aber die Syntax zum einfachen Umbenennen eines Index nicht herausfinden. Wenn Sie dies über die MySQL-Benutzeroberfläche tun, wird der Index gelöscht und ein neuer erstellt. Während dies...