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