[MonetDB-users] alter table - rename?