Come si fa il downgrade da MySQL 5.5 a MariaDB 5.3/5.2/5.1?

Al momento della stesura di questa pagina, MariaDB 5.5, che è basato su MySQL 5.5, non è ancora stato rilasciato. Si potrebbe avere un ambiente in cui si utilizza MySQL 5.5, ma si desidera passare a MariaDB 5.3. Perché questo sia possibile, occorre effettuare un downgrade dell'attuale installazione a MariaDB 5.3/5.2/5.1, che è basato su MySQL 5.1.

Il MySQL Reference Manual spiega come fare il downgrade di MySQL. Si notino le modifiche in mysql.proc.comment. Questa tabella viene vista come corrotta, e quindi come se dovesse essere riparata. Potrebbe essere necessario lanciare mysql_upgrade in MariaDB o eseguire la seguente istruzione per modificare la colonna dei commenti:

ALTER TABLE `mysql`.`proc` MODIFY COLUMN `comment` CHAR(64) CHARACTER SET utf8 COLLATE utf8_bin NOT NULL DEFAULT '';