FROM 子句¶

FROM 子句为 SELECT 声明一个或者多个源表。 如果声明了多个源表，那么结果就是所有源表的笛卡儿积（交叉连接）。 但是通常我们会添加一些条件，把返回行限制成笛卡儿积的一个小的结果集。

FROM-子句可以包括：

table_name

一个现存的表或视图的名字（可以有模式修饰）。 如果声明了ONLY，则只扫描该表。 如果没有声明ONLY，该表和所有其派生表（如果有的话）都被扫描。 可以在表名后面跟一个*来表示扫所有其后代表， 但在目前的版本里，这是缺省特性。 （在 PostgreSQL 7.1 以前的版本里，ONLY是缺省特性。） 缺省的特性可以通过修改配置选项 sql_interitance 来改变。

alias

为那些包含别名的 FROM 项目取的别名。别名用于缩写或者在自连接中消除歧义（自连接里，同一个表扫描了多次）。 如果提供了别名，那么它就会完全隐藏表或者函数的实际名字； 比如，如果给出 FROM foo AS f，那么 SELECT 剩下的东西必须吧这个 FROM 项以 f 而不是 foo 引用。如果写了别名， 我们也可以提供一个字段别名列表，这样可以替换表中一个或者多个字段的名字。

select

一个子 SELECT 在 FROM 子句里出现的。 它的输出作用好象是为这条 SELECT 命令在其生存期里创建一个临时表。 请注意这个子 SELECT 必须用园括弧包围。 并且必须给它加别名。

function_name

函数调用可以出现在 FROM 子句里。 （对于那些返回结果集的函数特别有用，但是任何函数都能用。） 这么做就好像在这个 SELECT 命令的生命期中， 把函数的输出创建为一个临时表一样。我们也可以使用别名。如果写了别名， 我们还可以写一个字段别名列表，为函数返回的复合类型的一个或多个属性提供名字替换。 如果函数定义为了 record 数据类型， 那么必须出现一个 AS 关键字或者别名，后面跟着一个字段定义列表， 形如：( column_name data_type [, ... ])。 这个字段定义列表必须匹配函数返回的字段的实际数目和类型。

join_type

之一。 就 INNER 和 OUTER 连接类型， 我们必须声明一个连接条件，也就是说一个 NATURAL， ON join_condition， 或者 USING (join_column [, ...])。 见下文获取它们的含义，对于 CROSS JOIN，这些子句都不能出现。

一个 JOIN 子句，组合了两个 FROM 项。 必要时使用圆括弧以决定嵌套的顺序。 如果没有圆括弧，JOIN 的嵌套从左向右。 在任何情况下，JOIN 都比逗号分隔的 FROM 项绑定得更紧。

CROSS JOIN 和 INNER JOIN 生成一个简单的笛卡儿积，和你在 FROM 的顶层列出两个项的结果相同。 CROSS JOIN 等效于 INNER JOIN ON (true)， 也就是说，没有被条件删除的行。这种连接类型只是符号上的方便， 因为它们和你用简单的 FROM 和 WHERE 干的事情是一样的。

LEFT OUTER JOIN 返回有条件的笛卡儿积（也就是说， 所有组合出来的行都通过了连接条件）中的行，加上左手边的表中没有对应的右手边表的行可以一起匹配通过连接条件的那些行。 这样的左手边的行扩展成连接生成表的全长，方法是在那些右手边表对应的字段位置填上空。请注意，只有在决定那些行是匹配的时候， 之计算 JOIN 子句自己的条件。外层的条件是在这之后施加的。

对应的是，RIGHT OUTER JOIN 返回所有连接出来的行， 加上每个不匹配的右手边行（左边用空值扩展）。这只是一个符号上的便利，因为我们总是可以把它转换成一个 LEFT OUTER JOIN， 只要把左边和右边的输入对掉一下即可。

FULL OUTER JOIN 返回所有连接出来的行，加上每个不匹配的左手边的行（右边用空值扩展）， 加上每个不匹配的右手边的行（左边用空值扩展）。

ON join_condition

join_condition 是一个表达式， 生成类型为 boolean 的结果（类似WHERE 子句）， 表示连接中那些行被认为是匹配的。

USING (join_column [, ...])

一个形如 USING ( a, b, ... ) 的子句， 是ON left_table.a = right_table.a AND left_table.b = right_table.b ... 的缩写。同样，USING 蕴涵着：每对等效字段中只有一个包含在连接输出中，而不是两个都输出的意思。

NATURAL

NATURAL 是一个 USING 列表的缩写，这个列表说的是两个表中同名的的字段。

WHERE 子句¶

可选的 WHERE 条件有如下常见的形式：

WHERE condition

GROUP BY 子句¶

可选的 GROUP BY 子句的一般形式

GROUP BY expression [, ...]

GROUP BY 将把所有在组合了的表达式上共享同样的值的行压缩成一行。 expression 可以是一个输入字段名字， 或者是一个输入字段（SELECT 列表）的序号，或者也可以是任意从输入字段值形成的任意表达式。 在有歧义的情况下，一个 GROUP BY 的名字将被解释成输入字段的名字，而不是输出字段的名字。

如果使用了聚集函数，那么就会对组成一组的所有行进行计算，为每个组生成一个独立的值（而如果没有 GROUP BY， 那么聚集对选出来的所有行计算出一个值）。如果出现了 GROUP BY， 那么 SELECT 列表表达式中再引用那些没有分组的字段就是非法的， 除非放在聚集函数里，因为对于未分组的字段，可能会返回多个数值。

HAVING 子句¶

可选的 HAVING 子句有如下形式：

HAVING condition

HAVING 去除了一些不满足条件的组行。 HAVING 与 WHERE 不同： WHERE 在使用 GROUP BY 之前过滤出单独的行，而 HAVING 过滤由 GROUP BY 创建的行。 在 condition 里引用的每个字段都必须无歧义地引用一个分组的行，除非引用出现在一个聚集函数里。

UNION 子句¶

UNION 子句的一般形式是：

select_statement UNION [ ALL ] select_statement

UNION 操作符计算那些涉及到的所有 SELECT 语句返回的行的结果联合。 一个行如果至少在两个结果集中的一个里面出现，那么它就会在这两个结果集的集合联合中。 两个做为 UNION 直接操作数的SELECT必须生成相同数目的字段， 并且对应的字段必须有兼容的数据类型。

缺省地，UNION 的结果不包含任何重复的行，除非声明了 ALL 子句。 ALL 制止了消除重复的动作。

同一SELECT语句中的多个 UNION 操作符是从左向右计算的， 除非用圆括弧进行了标识。

目前，FOR UPDATE 不能在 UNION 的结果或输入中声明。

INTERSECT 子句¶

INTERSECT 子句的一般形式是：

select_statement INTERSECT [ ALL ] select_statement

INTERSECT 计算涉及的 SELECT 语句返回的行的集合交集。 如果一个行在两个结果集中都出现，那么它就在两个结果集的交集中。

NTERSECT 的结果不包含任何重复行，除非你声明了 ALL 选项。 用了 ALL 以后，一个在左手边的表里有 m 个重复而在右手边表里有 n 个重复的行将出现 min(m,n) 次。

除非用圆括号指明顺序， 同一 SELECT 语句中的多个 INTERSECT 操作符是从左向右计算的。 INTERSECT 比 UNION 绑定得更紧 --- 也就是说 A UNION B INTERSECT C 将读做 A UNION (B INTERSECT C)，除非你用圆括弧声明。

EXCEPT 子句¶

EXCEPT 子句有如下的通用形式：

select_statement EXCEPT [ ALL ] select_statement

EXCEPT 操作符计算存在于左边SELECT 语句的输出而不存在于右边语句输出的行。

EXCEPT 的结果不包含任何重复的行，除非声明了 ALL 选项。 使用 ALL 时，一个在左手边表中有 m 个重复而在右手边表中有 n 个重复的行将出现 max(m-n,0) 次。

除非用圆括弧指明顺序，同一 SELECT 语句中的多个 EXCEPT 操作符是从左向右计算的。 EXCEPT 和 UNION 绑定级别相同。

SELECT 列表¶

SELECT 列表（在关键字 SELECT 和 FROM) 之间的东西）声明一个表达式，这个表达式形成 SELECT 语句的输出行。这个表达式可以（通常也的确是）引用那些在 FROM 子句里计算的字段。 通过使用 AS output_name， 我们可以为一个输出行声明另外一个名字。这个名字主要用做显示该行的标签。 它也可以在 ORDER BY 和 GROUP BY 子句里当作字段值的引用， 但是不能在 WHERE 或者 HAVING 子句里这么用；在那里，你必须写出表达式。

除了表达式之外，我们也可以在输出列表上写一个 * 表示选出的行的所有字段的缩写。同样，我们可以写 table_name.* 作为来自某个特定表的字段的缩写。

ORDER BY 子句¶

可选的 ORDER BY 子句有下面的一般形式：

ORDER BY expression [ ASC | DESC | USING operator ] [, ...]

ORDER BY 子句导致结果行根据指定的表达式进行排序。 如果根据最左边的表达式，两行的结果相同，那么就根据下一个表达式进行比较， 依此类推。如果对于所有声明的表达式他们都相同，那么以随机顺序返回。

序数指的是列/字段按顺序（从左到右）的位置。 这个特性让我们可以对没有唯一名称的列/字段进行排序。 这一点从来不是必须的， 因为总是可以通过 AS 子句给一个要计算的列/字段赋予一个名称。

在 ORDER BY 里还可以使用任意表达式， 包括那些没有出现在SELECT结果列表里面的字段。 因此下面的语句现在是合法的：

SELECT name FROM distributors ORDER BY code;

请注意如果一个 ORDER BY 表达式是一个简单名称， 同时匹配结果字段和输入字段， ORDER BY 将把它解释成结果字段名称。 这和 GROUP BY 在同样情况下做的选择正相反。 这样的不一致是由 SQL 标准强制的。

我们可以给 ORDER BY 子句里每个列/字段加一个关键字 DESC （降序）或 ASC（升序）。如果不声明， ASC 是缺省。 我们还可以在 USING 子句里声明一个排序操作符来实现排序。 ASC 等效于使用 USING < 而 DESC 等效于使用 USING >。 (But the creator of a user-defined data type can define exactly what the default sort ordering is, and it might correspond to operators with other names.)

在一个域里，空值排序时排在其它数值前面。换句话说，升序排序时， 空值排在末尾，而降序排序时空值排在开头。

字符类型的数据是按照区域相关的字符集顺序排序的，这个区域是在数据库集群初始化的时候建立的。

LIMIT 子句¶

LIMIT 子句由两个独立的子句组成：

LIMIT { count | ALL }
OFFSET start

在使用 LIMIT 时， 一个好习惯是使用一个 ORDER BY 子句把结果行限制成一个唯一的顺序。 否则你会得到无法预料的查询返回的子集 --- 你可能想要第十行到第二十行， 但以什么顺序？除非你声明 ORDER BY，否则你不知道什么顺序。

查询优化器在生成查询规划时把 LIMIT 考虑进去了， 所以你很有可能因给出的 LIMIT 和 OFFSET 值不同而得到不同的规划（生成不同的行序）。 因此用不同的 LIMIT/OFFSET 值选择不同的查询结果的子集将不会产生一致的结果， 除非你用 ORDER BY 强制生成一个可预计的结果顺序。 这可不是毛病；这是 SQL 生来的特点，因为除非用了 ORDER BY 约束顺序， SQL 不保证查询生成的结果有任何特定的顺序。

DISTINCT 子句¶

如果声明了 DISTINCT，那么就从结果集中删除所有重复的行（每个有重复的组都保留一行）。 ALL 声明相反的作用：所有行都被保留；这个是缺省。

DISTINCT ON ( expression [, ...] ) 只保留那些在给出的表达式上运算出相同结果的行集合中的第一行。 DISTINCT ON 表达式是使用与 ORDER BY （见上文） 相同的规则进行解释的。请注意，除非我们使用了 ORDER BY 来保证我们需要的行首先出现，否则，每个 "第一行" 是不可预测的。 比如，

SELECT DISTINCT ON (location) location, time, report


    FROM weather_reports


    ORDER BY location, time DESC;

DISTINCT ON 表达式必须匹配最左边的 ORDER BY 表达式。 ORDER BY 子句将通常包含额外的表达式来判断每个 DISTINCT ON 组里面需要的行的优先级。

FOR UPDATE 子句¶

FOR UPDATE 子句有下面的形式

FOR UPDATE [ OF table_name [, ...] ]

FOR UPDATE 令那些被 SELECT 语句检索出来的行被锁住，就像要更新一样。 这样就避免它们在当前事务结束前被其它事务修改或者删除； 也就是说，其它视图 UPDATE，DELETE， 或者 SELECT FOR UPDATE 这些行的事务将被阻塞， 直到当前事务结束。同样，如果一个来自其它事务的 UPDATE， DELETE，或者 SELECT FOR UPDATE 已经锁住了某个或某些选定的行，SELECT FOR UPDATE 将等到那些事务结束， 并且将随后锁住并返回更新的行（或者不返回行，如果行已经被删除）。更多的讨论参阅 Chapter 12 ``Concurrency Control'' 。

如果特定的表在 FOR UPDATE 中，那么只有来自这些表中的行才被锁住； 任何在 SELECT 中使用的其它表都只是和平常一样读取。

FOR UPDATE 不能在那些无法使用独立的表数据行清晰标识返回行的环境里； 比如，它不能和聚集一起使用。

FOR UPDATE 可以在 LIMIT 前面出现， 主要是为了和 7.3 之前的 PostgreSQL 兼容。 不过，它在 LIMIT 后面执行更高效，因此我们建议放在 LIMIT 后面。

省略 FROM 子句¶

PostgreSQL 允许我们在一个查询里省略 FROM 子句。 它的最直接用途就是计算简单的常量表达式的结果：

SELECT 2+2;


 ?column?
----------


        4

这个特性的另外一个不太明显的用途是把一个普通的从一个或多个表的 SELECT 缩写：

SELECT distributors.* WHERE distributors.name = 'Westward';


 did |   name
-----+----------


 108 | Westward

尽管这是个很方便的写法，但它却容易误用。 比如，下面的查询

SELECT distributors.* FROM distributors d;

SELECT d.* FROM distributors d;

SELECT distributors.* FROM distributors d, distributors distributors;

AS 关键字¶

在 SQL 标准里，可选的关键字 AS 是多余的，可以忽略掉而不对语句产生任何影响。 PostgreSQL 分析器在重命名列/字段时需要这个关键字， 因为类型扩展的特性会导致在这个环境里的歧义。 不过，AS 在 FROM 项里是可选的。

GROUP BY 和 ORDER BY 里可用的名字空间¶

在 SQL92 标准里，ORDER BY 子句只能使用结果字段名或者编号， 而 GROUP BY 子句只能用基于输入字段名的表达式。 PostgreSQL 对这两个子句都进行了扩展， 允许另外一种选择（但是如果存在歧义，则使用标准的解释）。 PostgreSQL 还允许两个子句声明任意的表达式。 请注意在表达式中出现的名字强总是被当作输入字段名，而不是结果字段名。

SQL99 uses a slightly different definition which is not upward compatible with SQL92. In most cases, however, PostgreSQL will interpret an ORDER BY or GROUP BY expression the same way SQL99 does.

非标准子句¶

DISTINCT ON, LIMIT, 和 OFFSET 都没有在 SQL 标准中定义。