DROP USER MAPPING

Delete user maps from external servers.

Summary

DROP USER MAPPING [ IF EXISTS ] { username | USER | CURRENT_USER | PUBLIC } 
    SERVER servername

describe

DROP USER MAPPING removes existing user maps from external servers. To execute this command, the current user must be the owner of the server containing the map.

Parameters

IF EXISTS

If the user map does not exist, please do not report an error. In this case, a notification will be issued.

username

Map username. CURRENT_USER and USER match the name of the current user. PUBLIC is used to match all current and future user names in the system.

servername

User mapped server name.

Example

Delete the user map named bob, if it exists, delete the server foo:

DROP USER MAPPING IF EXISTS FOR bob SERVER foo;

compatibility