PostgreSQL中ALTER TABLE运行逻辑及触发视图报错原因问询

问题原因及逻辑解释 #

1. 为什么ALTER TABLE语句会因视图存在触发报错？ #

PostgreSQL的schema命名空间有核心规则：同一个schema下，所有关系型对象（包括表、视图、物化视图、序列、外部表等）的名称不允许重复。这类对象在系统表中统一归类为relation，不会按对象类型区分命名唯一性。
你执行迁移表到sch2的操作时，系统会优先校验sch2下是否已经存在名为t1的任意类型relation，不管已存在的是表还是视图，只要重名就会触发报错，不会额外判断已存在对象的类型是否和要迁移的表一致。

2. ALTER TABLE ... SET SCHEMA的实际运行逻辑 #

该语句的执行流程按顺序如下：

• 校验源对象合法性：确认sch1.t1真实存在、且属于表类型、当前用户拥有该表的ALTER权限
• 校验目标schema合法性：确认sch2真实存在、当前用户拥有在sch2下创建对象的权限
• 唯一性校验：查询系统表pg_class中是否存在relname = 't1'且relnamespace对应sch2的OID的记录，只要存在就直接抛出relation t1 already exists in schema sch2的错误
• 校验全通过后，修改t1对应的系统表记录关联的schema ID，同时同步更新该表关联的索引、约束、附属序列等依赖对象的schema信息，完成迁移操作

3. 为什么校验范围不局限于表？ #

这是PostgreSQL（以及大多数符合SQL标准的数据库）的底层设计决定的：schema是面向所有可命名关系对象的公共命名空间，设计时要求同schema下所有relation名称唯一，根本目的是避免对象调用歧义——比如你在sch2下执行SELECT * FROM t1时，如果允许同时存在同名的表和视图，数据库无法判断你要访问的是哪一个对象。
因此所有涉及对象跨schema迁移、重命名的操作，唯一性校验都会覆盖所有类型的relation，不会仅针对某一类对象做校验。

补充：为什么添加IF EXISTS逻辑仍然报错？ #

ALTER TABLE IF EXISTS sch1.t1 SET SCHEMA sch2中的IF EXISTS仅用于校验源端对象sch1.t1是否存在，如果源端不存在就跳过语句执行，但只要源端对象真实存在，后续的目标端唯一性校验流程会完全正常执行，因此依然会触发重名报错。

内容的提问来源于stack exchange，提问作者yuoggy