SELECT

WITH 子句

WITH 子句允许声明一个或多个可以在主查询中通过名字引用的子查询。 子查询在主查询期间有效的充当临时表或视图。每个子查询可以是 SELECT , VALUES , INSERT , UPDATE 或 DELETE 语句。当在 WITH 中写一个数据修改语句时 （ INSERT , UPDATE 或 DELETE ）， 通常包含一个 RETURNING 子句。 RETURNING 的输出而 不是 语句修改的底层表的输出形成被主查询读取的临时表。如果省略了 RETURNING ， 该语句仍然执行，但是不会产生输出，所以不能作为一个表被主查询引用。

必须为每个 WITH 查询声明一个名字（没有模式修饰）。 可选的，可以指定字段名的列表；如果省略了，那么字段名从子查询中推断出。

如果声明了 RECURSIVE ，那么允许 SELECT 子查询通过名字引用它自己。 比如一个有下面形式的子查询

non_recursive_term UNION [ ALL | DISTINCT ] recursive_term

FROM 子句

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

FROM 子句可以包括下列元素：

WHERE 子句

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

WHERE condition

这里 condition 可以是任意生成类型为 boolean 的表达式。任何不满足这个条件的行都会从输出中删除。 如果一个行的数值代入到条件中计算出来的结果为真，那么该行就算满足条件。

GROUP BY 子句

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

GROUP BY expression [, ...]

它将把所有在组合表达式上拥有相同值的行压缩成一行。 expression 可以是一个输入字段名字， 或者是一个输出字段( SELECT 列表项)的名字或序号， 或者也可以是任意输入字段组成的表达式。在有歧义的情况下， 一个 GROUP BY 的名字将被解释成输入字段的名字，而不是输出字段的名字。

如果使用了聚合函数，那么就会对每组中的所有行进行计算并生成一个单独的值 (而如果没有 GROUP BY ，那么聚合将对选出来的所有行计算出一个单独的值)。 如果出现了 GROUP BY ，那么 SELECT 列表表达式中再引用那些没有分组的字段就是非法的，除非放在聚合函数里， 或未分组的字段函数上依赖于分组的字段，因为对于未分组的字段，可能会返回多个数值。 如果分组的字段（或它们的一个子集）是包含未分组字段的表的主键，那么存在一个函数依赖。

HAVING 子句

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

HAVING condition

这里 condition 与为 WHERE 子句里声明的相同。

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

HAVING 的出现把查询变成一个分组的查询，即使没有 GROUP BY 子句也这样。这一点和那些包含聚合函数但没有 GROUP BY 子句的查询里发生的事情是一样的。 所有选取的行都被认为会形成一个单一的组，而 SELECT 列表和 HAVING 子句只能从聚合函数里面引用表的字段。 这样的查询在 HAVING 条件为真的时候将发出一个行，如果为非真，则返回零行。

WINDOW 子句

WINDOW 子句的一般形式是

WINDOW window_name AS ( window_definition ) [, ...]

这里的 window_name 是可以在 OVER 子句中引用的名字或随后的窗口定义，这里的 window_definition 是

[ existing_window_name ]
[ PARTITION BY expression [, ...] ]
[ ORDER BY expression [ ASC | DESC | USING operator ] [ NULLS { FIRST | LAST } ] [, ...] ]
[ frame_clause ]

如果声明了 existing_window_name ， 那么必须引用一个在 WINDOW 列表中出现的更早的项；新的窗口从这个项中拷贝分区子句， 和排序子句（如果有）。在这种情况下，这个新的窗口不能声明他自己的 PARTITION BY 子句， 但是如果拷贝的窗口没有排序子句的话他可以声明 ORDER BY 子句。 新窗口总是使用他自己的框架子句；拷贝的窗口必须不能声明框架子句。

SELECT 列表

SELECT 列表(在 SELECT 和 FROM 关键字之间的部分) 声明组成 SELECT 语句的输出行的表达式。这些表达式可以 (并且通常也会)引用在 FROM 子句里面计算出来的字段。

DISTINCT 子句

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

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

SELECT DISTINCT ON (location) location, time, report
    FROM weather_reports
    ORDER BY location, time DESC;

为每个地点检索最近的天气报告。但是如果没有使用 ORDER BY 来强制对每个地点的时间值进行降序排序，那么就会得到每个地点的不知道什么时候的报告。

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

UNION 子句

UNION 子句的一般形式是：

select_statement UNION [ ALL | DISTINCT ] select_statement

这里的 select_statement 是任意没有 ORDER BY , LIMIT , FOR NO KEY UPDATE , FOR UPDATE , FOR SHARE , 或 FOR KEY SHARE 子句的 SELECT 语句。 如果用圆括弧包围， ORDER BY 和 LIMIT 可以附着在子表达式里。 如果没有圆括弧，这些子句将交给 UNION 的结果使用，而不是给它们右边的输入表达式。

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

缺省的 UNION 结果不包含任何重复的行，除非声明了 ALL 选项。 ALL 制止了消除重复的动作。因此， UNION ALL 通常比 UNION 明显要快，可能的情况下尽量使用 ALL 。 DISTINCT 可以明确的指定消除重复行的缺省行为。

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

目前， FOR NO KEY UPDATE , FOR UPDATE , FOR SHARE 和 FOR KEY SHARE 不能在 UNION 的结果或输入中声明。

INTERSECT 子句

INTERSECT 子句的一般形式是：

select_statement INTERSECT [ ALL | DISTINCT ] select_statement

select_statement 是任何不带 ORDER BY , LIMIT , FOR NO KEY UPDATE , FOR UPDATE , FOR SHARE , 或 FOR KEY SHARE 子句的 SELECT 语句。

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

INTERSECT 的结果不包含任何重复行，除非你声明了 ALL 选项。 用了 ALL 以后，一个在左边的表里有 m 个重复而在右边表里有 n 个重复的行将在结果集中出现min( m , n )次。 DISTINCT 可以明确的指定消除重复行的缺省行为。

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

目前，不能给 INTERSECT 的结果或者任何 INTERSECT 的输入声明 FOR NO KEY UPDATE , FOR UPDATE , FOR SHARE 和 FOR KEY SHARE 。

EXCEPT 子句

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

select_statement EXCEPT [ ALL | DISTINCT ] select_statement

select_statement 是任何没有 ORDER BY , LIMIT , FOR NO KEY UPDATE , FOR UPDATE , FOR SHARE , 或 FOR KEY SHARE 子句的 SELECT 表达式。

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

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

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

目前，不能给 EXCEPT 的结果或者任何 EXCEPT 的输入声明 FOR NO KEY UPDATE , FOR UPDATE , FOR SHARE 和 FOR KEY SHARE 子句。

ORDER BY 子句

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

ORDER BY expression [ ASC | DESC | USING operator ] [ NULLS { FIRST | LAST } ] [, ...]

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

每个 expression 可以是一个输出字段 ( SELECT 列表项)的名字或者序号，或者也可以是用输入字段的数值组成的任意表达式。

序数指的是输出字段按顺序(从左到右)的位置。这个特性可以对没有唯一名称的字段进行排序。 这不是必须的，因为总是可以通过 AS 子句给一个要输出的字段赋予一个名称。

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

SELECT name FROM distributors ORDER BY code;

这个特性的一个局限就是应用于 UNION , INTERSECT , EXCEPT 子句的结果的 ORDER BY 子句只能在一个输出字段名或者数字上声明， 而不能在一个表达式上声明。

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

可以给 ORDER BY 子句里每个字段加一个可选的 ASC (升序，缺省) 或 DESC (降序)关键字。还可以在 USING 子句里声明一个排序操作符来实现排序。排序操作符必须小于或大于某些B-tree操作符族的成员。 ASC 等效于使用 USING < 而 DESC 等效于使用 USING > 。 但是一个用户定义类型的创建者可以明确定义缺省的排序顺序，并且可以使用其他名称的操作符。

如果指定 NULLS LAST ，空值会在所有非空值之后排序；如果指定 NULLS FIRST ，空值会在所有非空值之前排序。如果两者均未指定， 当指定 ASC 或缺省时，默认反应时是 NULLS LAST ， 并且当指定 DESC 时，默认反应时是 NULLS FIRST （因此， 默认地认为空是大于非空的）。当指定 USING 时， 默认空排序依赖于操作符是小于还是大于操作符。

请注意排序选项仅适用于他们遵循的表达式；例如 ORDER BY x, y DESC 不意味着与 ORDER BY x DESC, y DESC 相同。

LIMIT 子句

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

LIMIT { count | ALL }
OFFSET start

count 声明返回的最大行数， 而 start 声明开始返回行之前忽略的行数。 如果两个都指定了，那么在开始计算 count 个返回行之前将先跳过 start 行。

如果 count 表达式评估为NULL， 它被当做 LIMIT ALL ，也就是，没有限制。如果 start 评估为NULL，他与 OFFSET 0 相同对待。

SQL:2008引入了一个不同的语法来达到相同的效果，这也是 PostgreSQL 支持的。这是：

OFFSET start { ROW | ROWS }
FETCH { FIRST | NEXT } [ count ] { ROW | ROWS } ONLY

在该语法中，为 start 或 count 提供除简单整型常量之外的东西时，你必须写圆括号。如果 count 在 FETCH 子句中省略了，它默认为1。 ROW 和 ROWS 以及 FIRST 和 NEXT 是不影响这些子句的效果的干扰词。 根据该标准，若两个都存在则 OFFSET 子句必须在 FETCH 子句之前出现； 但是 PostgreSQL 的要求更为宽松并且允许任意一种顺序。

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

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

如果没有一个 ORDER BY 来强制选择一个确定性子集，那么重复执行相同的 LIMIT 查询返回不同的表行的子集甚至都是可能的。同样， 这不是一个漏洞；结果的确定在这种情况下没法保证。

锁定子句

FOR UPDATE , FOR NO KEY UPDATE , FOR SHARE 和 FOR KEY SHARE 是 锁定子句 ;他们影响 SELECT 如何从表中锁定行作为获得的行。

锁定子句的一般形式：

FOR lock_strength [ OF table_name [, ...] ] [ NOWAIT ]

这里的 lock_strength 可以是下列之一：

UPDATE
NO KEY UPDATE
SHARE
KEY SHARE

TABLE 命令

命令：

TABLE name

完全等价于：

SELECT * FROM name

它可以用作复杂查询中的一部分的一个顶级的命令或者一个节省空间的语法变体。

省略 FROM 子句

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

SELECT 2+2;
 ?column?
----------
其它有些SQL数据库不能这么做，除非引入一个单行的伪表做为
SELECT的数据源。
   
请注意，如果没有声明FROM子句，那么查询不能引用任何数据库表。
比如，下面的查询是非法的：
SELECT distributors.* WHERE distributors.name = 'Westward';

PostgreSQL 8.1 之前的版本支持这种形式的查询，
为查询里引用的每个表都增加一个隐含的条目到FROM子句中。
现在这个不再是允许的了。

省略 AS 关键字

在SQL标准中，每当新列名称是一个有效的列名时（也就是，与任意保留关键字都不同）， 可选的关键字 AS 可以在输出列名之前省略。 PostgreSQL 限制略多一些：不管是保留还是不保留，如果新列名匹配任何关键字， AS 是必要的。 建议的做法是使用 AS 或者双括号括起输出列名称，以阻止与将来补充的关键字有任何可能的冲突。

在 FROM 项中，标准和 PostgreSQL 都允许 AS 在一个无限制关键字别名之前省略。但是这对输出列名是不切实际的，因为语法的歧义。

ONLY 和继承

SQL标准需要在写 ONLY 时括号括起表名，例如 SELECT * FROM ONLY (tab1), ONLY (tab2) WHERE ... 。 PostgreSQL 认为括号是可选的。

PostgreSQL 允许写一个尾随的 * 以明确指定包括子表的非 ONLY 行为。标准不允许这样。

（该点同样适用于所有支持 ONLY 选项的SQL命令。）

FROM 中的函数调用

PostgreSQL 允许把函数调用直接写作 FROM 列表的一个成员。 在SQL标准中应该有必要在子 SELECT 中包含这样一个函数；也就是， 该语法 FROM func (...) alias 等价于 FROM LATERAL (SELECT func (...)) alias 。 请注意 LATERAL 被认为是隐含的；这是因为标准要求 LATERAL 语义为 一个在 FROM 中的 UNNEST() 条目。 PostgreSQL 对待 UNNEST() 和其他设置返回函数相同。

GROUP BY 和 ORDER BY 里可用的命名空间

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

SQL:1999 以及之后的一个略微不同的定义并不能和 SQL-92 完全向前兼容。不过， 在大多数情况下， PostgreSQL 将把一个 ORDER BY 或 GROUP BY 表达式解析成为 SQL:1999 制定的那样。

函数依赖

PostgreSQL 只在表的主键包含在 GROUP BY 列表中时识别函数依赖（允许在 GROUP BY 中省略字段）。 SQL标准指定应该被识别的附加条件。

WINDOW 子句限制

SQL标准为窗口 frame_clause 提供了附加选项。 PostgreSQL 目前仅支持上面列出的选项。

LIMIT 和 OFFSET

FOR NO KEY UPDATE , FOR UPDATE , FOR SHARE , FOR KEY SHARE

尽管 FOR UPDATE 出现在了SQL标准中，但是标准只允许它作为 DECLARE CURSOR 的一个选项。 PostgreSQL 允许它出现在任意 SELECT 查询和子 SELECT 查询中，但是这是一个扩展。 FOR NO KEY UPDATE , FOR SHARE , FOR KEY SHARE 变体和 NOWAIT 选项， 没有出现在标准中。

WITH 中的数据修改语句

PostgreSQL 允许 INSERT , UPDATE , DELETE