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