ALTER USER MAPPING FOR { $user_name$ | USER | CURRENT_ROLE | CURRENT_USER | SESSION_USER | PUBLIC }
    SERVER $server_name$
    OPTIONS ( { { ADD | SET } $option$ '$value$' | DROP $option$ } [ , ... ] )