Support UNDO TABLESPACE DDL (CREATE / ALTER / DROP)

[kyleconroy]

Summary

Marino does not parse the UNDO TABLESPACE family of DDL statements that manage InnoDB undo logs as first-class tablespaces.

MySQL version

Introduced in MySQL 8.0.14.

Current state in marino

grep -in 'UNDO TABLESPACE\|UndoTablespace' parser/parser.y parser/keywords.go returns no matches.

Example SQL

CREATE UNDO TABLESPACE undo_ts ADD DATAFILE 'undo_ts.ibu';

ALTER UNDO TABLESPACE undo_ts SET INACTIVE;
ALTER UNDO TABLESPACE undo_ts SET ACTIVE;

DROP UNDO TABLESPACE undo_ts;

ENGINE clause is also accepted (deprecated in 8.4 but still parses):

CREATE UNDO TABLESPACE undo_ts ADD DATAFILE 'undo_ts.ibu' ENGINE = INNODB;

Validation

All three statements above run successfully against MySQL 9.2.0 Community.

Notes for the implementer

• Add UNDO as a keyword (probably reserved per upstream).
• Add CreateUndoTablespaceStmt, AlterUndoTablespaceStmt, DropUndoTablespaceStmt AST nodes.
• The ALTER form takes SET { ACTIVE | INACTIVE } and an optional ENGINE = name.
• Reference: https://dev.mysql.com/doc/refman/9.2/en/create-tablespace.html