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