MySQL: Missing support for ALTER TABLE RENAME INDEX

[solomonty]

line 1:23 no viable alternative at input 'ALTER TABLE FOO RENAME INDEX'

ALTER TABLE FOO RENAME INDEX BAR TO FOOBAR;

https://dev.mysql.com/doc/refman/5.7/en/alter-table.html

| RENAME {INDEX|KEY} old_index_name TO new_index_name

[mike-lischke]

The MySQL grammar from Oracle is complete and supports this syntax. If you have the option to switch I recommend to try this out instead. It requires some work on the infrastructure side, if you don't use C++, however.

A few more details about this grammar can be found in the MySQL folder in this grammar repositiory.