Add DDL to rename a database. Actual syntax TBD, but we could do either:

ALTER DATABASE <database> SET NAME = <name>;

RENAME DATABASE <database> to <name>;