DROP USER — remove a database role
DROP USER [ IF EXISTS ]
DROP USER is simply an alternate
spelling of DROP ROLE.
DROP USER statement is a
PostgreSQL extension. The SQL
standard leaves the definition of users to the implementation.
If you see anything in the documentation that is not correct, does not match your experience with the particular feature or requires further clarification, please use this form to report a documentation issue.