PostgreSQL9.3中的表别名冲突规则

在PostgreSQL9.3中执行下边的SQL语句：

WITH
  tblA (a_id, a_val) AS ( VALUES (1::integer, 'one-1'::varchar) )
, tblB (b_id, b_val) AS ( VALUES (1::integer, 'one-b'::varchar) )
, tblC (c_id, c_val) AS ( VALUES (1::integer, 'one-c'::varchar) )

select *
from tblA
    join    tblB on tblA.a_id = tblB.b_id
    join (
                     tblB
                join    tblC on tblC.c_id = tblB.b_id
            ) as x on tblA.a_id = x.c_id;

会得到这样的错误提示：ERROR:  table name "tblb" specified more than once

在PostgreSQL9.1中执行同样的SQL语句，却可以正常执行，这是为什么呢？9.3中对于表别名的约束规则有了那些限制呢？

以下是对Tom Lane大神的一些总结：
在SQL标准中，明确说明不允许在一个SELECT层次上多次使用相同的表别名，但在PG之前的版本中却允许出现相同的别名，只在真正产生歧义引用时才会给出提示。我们可以用同样的方法来处理LATERAL引用（LATERAL是9.3中新添加的特性，使用LATERAL修饰的子句可以引用它前边声明的表，详细信息参考文档）。

出现文章开头这种错误提示的主要原因在于checkNameSpaceConflicts 函数的使用，该函数在transformFromClauseItem中调用，如果JOIN左侧的别名已经在FROM子句中出现，则会抛出一个错误。Tom Lane认为这样做不是很合理，他给出的解决方案是：允许以上查询正常运行，在真正发生歧义时抛出一个错误提示：

select * from tenk1 a left join (int4_tbl a cross join lateral (select a.f1) b) c on unique1 = f1;
ERROR:  table reference "a" is ambiguous
LINE 1: ... left join (int4_tbl a cross join lateral (select a.f1) b) ...
^

另外，在9.3中还有一个很有意思的情况：

select * from tenk1 a left join (int4_tbl a cross join int8_tbl b) c on unique1 = f1;

执行该语句将会抛出错误；但执行以下这个语句却没有任何问题

select * from tenk1 a left join (int4_tbl b cross join int8_tbl a) c on unique1 = f1;

总之，Tom认为应该删除9.3中添加的别名约束检测，添加一个测试，并在有歧义时给出提示。

 参考
1. 2. 3.