DROP USER [ IF EXISTS ] name [, ...]
DROP USER现在是 DROP ROLE另一种写法。
DROP USER语句是一个 PostgreSQL扩展。SQL 标准把 用户的定义留给具体实现自行解释。