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.