Chciałbym zmienić nazwę indeksu. Przejrzałem dokumentację tablicy alter , ale nie potrafię wymyślić składni, aby zmienić nazwę indeksu. Robiąc to przez GUI MySQL, porzuca indeks i tworzy nowy. Chociaż to działa, chciałbym uniknąć przebudowywania całego indeksu tylko po to, aby zmienić nazwę...