< set_serverdb_statement > ::= EXEC SQL [< session number >] SET SERVERDB < database_name > [ON < database_server >];