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.