Benennen Sie eine Spalte in einer MySQL-Tabelle um, ohne ihre Typdefinition wiederholen zu müssen

Die ALTER TABLE-Syntax scheint eine solche Möglichkeit nicht zu bieten:

ALTER [ONLINE | OFFLINE] [IGNORE] TABLE tbl_name
    [alter_specification [, alter_specification] ...]
    [partition_options]

ALTER [ONLINE | OFFLINE] [IGNORE] TABLE tbl_name
    partition_options

alter_specification:
    table_options
[...]
  | CHANGE [COLUMN] old_col_name new_col_name column_definition
        [FIRST|AFTER col_name]
  | MODIFY [COLUMN] col_name column_definition
        [FIRST | AFTER col_name]
[...]

genauer gesagt :