DROP USER — remove a database role
DROP USER [ IF EXISTS ] name [, ...] DROP USER is simply an alternate spelling of
DROP ROLE.
The DROP USER statement is a
PostgreSQL extension. The SQL standard
leaves the definition of users to the implementation.