DROP USER — удалить роль в базе данных
DROP USER [ IF EXISTS ] имя
[, ...]
DROP USER
— просто альтернативное написание команды DROP ROLE.
DROP USER
является расширением PostgreSQL. В стандарте SQL определение пользователей считается зависимым от реализации.