Removes a database role.
DROP USER [IF EXISTS] <name> [, ...]
DROP USER is an obsolete command, though still accepted for backwards compatibility. Groups (and users) have been superseded by the more general concept of roles. See DROP ROLE for more information.
There is no
DROP USER statement in the SQL standard. The SQL standard leaves the definition of users to the implementation.