Before I forget it and have to search again here a short note about how to rename a MySQL Partition:
My dream:
ALTER TABLE history RENAME PARTITION p2015_kw10 INTO p2015_kw09;
In reality:
ALTER TABLE history
REORGANIZE PARTITION p2015_kw10 INTO (
PARTITION p2015_kw09 VALUES LESS THAN (UNIX_TIMESTAMP('2015-03-02 00:00:00'))
);Caution: REORGANIZE PARTITION causes a full copy of the whole partition!
Hint: I assume it would be very easy for MySQL or MariaDB to make this DDL command an in-place operation...
MySQL Partitioning was introduced in MySQL 5.1.