WITH 子句

WITH 子句允許您指定一個或多個子查詢，這些子查詢可以被主查詢引用。這些子查詢在主查詢的持續時間內有效地充當臨時表或檢視。每個子查詢都可以是 SELECT, TABLE, VALUES, INSERT, UPDATE, DELETE, 或 MERGE 語句。在 WITH 中編寫資料修改語句 (INSERT, UPDATE, DELETE, 或 MERGE) 時，通常會包含一個 RETURNING 子句。形成主查詢讀取的臨時表的是 RETURNING 的輸出，而不是語句修改的底層表。如果省略 RETURNING，則語句仍會執行，但不會產生輸出，因此主查詢無法將其引用為表。

每個 WITH 查詢都必須指定一個名稱 (不帶模式限定)。可選地，可以指定一個列名列表；如果省略此項，則從子查詢推斷出列名。

如果指定了 RECURSIVE，則允許 SELECT 子查詢按名稱引用自身。這樣的子查詢必須具有以下形式：

non_recursive_term UNION [ ALL | DISTINCT ] recursive_term

其中遞迴自引用必須出現在 UNION 的右側。每個查詢只允許有一個遞迴自引用。不支援遞迴資料修改語句，但您可以在資料修改語句中使用遞迴 SELECT 查詢的結果。有關示例，請參見 第 7.8 節。

RECURSIVE 的另一個影響是 WITH 查詢不必排序：一個查詢可以引用列表中的另一個稍晚出現的查詢。 (但是，不支援迴圈引用或相互遞迴)。沒有 RECURSIVE 時，WITH 查詢只能引用 WITH 列表前面出現的同級 WITH 查詢。

當 WITH 子句中有多個查詢時，RECURSIVE 只需寫一次，緊跟在 WITH 之後。它適用於 WITH 子句中的所有查詢，儘管它對不使用遞迴或前向引用的查詢沒有影響。

可選的 SEARCH 子句會計算一個 搜尋序列列，該列可用於以廣度優先或深度優先順序對遞迴查詢的結果進行排序。提供的列名列表指定了用於跟蹤已訪問行的行鍵。一個名為 search_seq_col_name 的列將被新增到 WITH 查詢的結果列列表中。該列可以在外部查詢中按順序排列，以實現相應的排序。有關示例，請參見 第 7.8.2.1 節。

可選的 CYCLE 子句用於檢測遞迴查詢中的迴圈。提供的列名列表指定了用於跟蹤已訪問行的行鍵。一個名為 cycle_mark_col_name 的列將被新增到 WITH 查詢的結果列列表中。當檢測到迴圈時，該列將被設定為 cycle_mark_value，否則設定為 cycle_mark_default。此外，當檢測到迴圈時，遞迴聯合的處理將停止。 cycle_mark_value 和 cycle_mark_default 必須是常量，並且它們必須可轉換為公共資料型別，並且該資料型別必須具有不等號運算子。(SQL 標準要求它們是布林常量或字元字串，但 PostgreSQL 不要求這樣。) 預設情況下，使用 TRUE 和 FALSE (型別為 boolean)。此外，一個名為 cycle_path_col_name 的列將被新增到 WITH 查詢的結果列列表中。該列用於內部跟蹤已訪問的行。有關示例，請參見 第 7.8.2.2 節。

SEARCH 和 CYCLE 子句都只對遞迴 WITH 查詢有效。 with_query 必須是兩個 SELECT (或等效) 命令的 UNION (或 UNION ALL) (不允許巢狀 UNION)。如果同時使用這兩個子句，則 SEARCH 子句新增的列出現在 CYCLE 子句新增的列之前。

主查詢和 WITH 查詢都是 (名義上) 同時執行的。這意味著 WITH 中的資料修改語句的效果不能被查詢的其他部分看到，除了透過讀取其 RETURNING 輸出。如果兩個這樣的資料修改語句試圖修改同一行，則結果未定義。

WITH 查詢的一個關鍵屬性是，它們通常在主查詢的每次執行中只計算一次，即使主查詢多次引用它們。特別是，資料修改語句保證只執行一次，而不管主查詢是否讀取了它們全部或任何輸出。

但是，WITH 查詢可以被標記為 NOT MATERIALIZED 來移除此保證。在這種情況下，WITH 查詢可以被摺疊到主查詢中，就像它是主查詢 FROM 子句中的簡單子 SELECT 一樣。如果主查詢多次引用該 WITH 查詢，這會導致重複計算；但如果每次使用只需要 WITH 查詢總輸出中的幾行，NOT MATERIALIZED 可以透過允許查詢進行聯合最佳化來提供淨節省。如果 NOT MATERIALIZED 附加到一個遞迴的 WITH 查詢或不是無副作用的 (SELECT 包含無副作用函式) 查詢，則會忽略它。

預設情況下，無副作用的 WITH 查詢如果在主查詢的 FROM 子句中恰好使用一次，就會被摺疊到主查詢中。這允許在語義上不可見的情況下對兩個查詢級別進行聯合最佳化。然而，這種摺疊可以透過將 WITH 查詢標記為 MATERIALIZED 來阻止。例如，這可能很有用，因為 WITH 查詢被用作最佳化柵欄，以防止規劃器選擇一個糟糕的計劃。v12 之前的 PostgreSQL 版本從未進行過這種摺疊，因此為舊版本編寫的查詢可能依賴於 WITH 作為最佳化柵欄。

有關更多資訊，請參見 第 7.8 節。

FROM 子句

FROM 子句為 SELECT 指定一個或多個源表。如果指定了多個源，則結果是所有源的笛卡爾積 (交叉連線)。但通常會新增限定條件 (透過 WHERE) 來將返回的行限制為笛卡爾積的一個小子集。

FROM 子句可以包含以下元素：

WHERE 子句

可選的 WHERE 子句具有通用形式：

WHERE condition

其中 condition 是任何求值為 boolean 型別的結果的表示式。任何不滿足此條件的行都將從輸出中消除。當將實際行值替換為任何變數引用時，如果行返回 true，則該行滿足條件。

GROUP BY 子句

可選的 GROUP BY 子句具有通用形式：

GROUP BY [ ALL | DISTINCT ] grouping_element [, ...]

GROUP BY 將共享分組表示式相同值的選定行合併為一行。在 grouping_element 中使用的 expression 可以是輸入列名，或者輸出列 (SELECT 列表項) 的名稱或序數號，或者由輸入列值形成的任意表達式。在有歧義的情況下，GROUP BY 名稱將被解釋為輸入列名稱而不是輸出列名稱。

如果 GROUPING SETS, ROLLUP 或 CUBE 中的任何一個作為分組元素存在，那麼整個 GROUP BY 子句就定義了若干獨立的 grouping sets。其效果等同於在具有單個分組集的子查詢之間構建 UNION ALL。可選的 DISTINCT 子句在處理前刪除重複集；它 不會 將 UNION ALL 轉換為 UNION DISTINCT。有關分組集的處理方式，請參見 第 7.2.4 節。

聚合函式 (如果有) 是在構成每個組的所有行上計算的，為每個組產生一個獨立的值。(如果存在聚合函式但沒有 GROUP BY 子句，則查詢被視為具有一個包含所有選定行的組。) 傳遞給每個聚合函式的行集可以透過將 FILTER 子句附加到聚合函式呼叫來進一步過濾；有關更多資訊，請參見 第 4.2.7 節。當存在 FILTER 子句時，只有匹配該子句的行才會被包含在該聚合函式的輸入中。

當存在 GROUP BY 或任何聚合函式時，SELECT 列表表示式引用未分組的列 (除非在聚合函式內或未分組列在函式上依賴於分組列) 是無效的，因為否則未分組列將有多個可能返回值。如果分組列 (或其子集) 是包含未分組列的表的主鍵，則存在函式依賴關係。

請注意，所有聚合函式都在計算 HAVING 子句或 SELECT 列表中的任何“標量”表示式之前進行計算。這意味著，例如，CASE 表示式不能用於跳過聚合函式的計算；請參閱 第 4.2.14 節。

目前，FOR NO KEY UPDATE, FOR UPDATE, FOR SHARE 和 FOR KEY SHARE 不能與 GROUP BY 一起指定。

HAVING 子句

可選的 HAVING 子句具有通用形式：

HAVING condition

其中 condition 與 WHERE 子句指定的相同。

HAVING 刪除不滿足條件的組行。 HAVING 與 WHERE 不同：WHERE 在應用 GROUP BY 之前過濾單個行，而 HAVING 過濾由 GROUP BY 建立的組行。 condition 中引用的每個列都必須明確引用一個分組列，除非該引用出現在聚合函式內，或者未分組列在函式上依賴於分組列。

HAVING 的存在會將一個查詢變成一個分組查詢，即使沒有 GROUP BY 子句。這與查詢包含聚合函式但沒有 GROUP BY 子時發生的情況相同。所有選定的行被視為形成一個單一的組，並且 SELECT 列表和 HAVING 子句只能從聚合函式中引用表列。這樣的查詢將在 HAVING 條件為真時發出單行，如果條件為假則發出零行。

目前，FOR NO KEY UPDATE, FOR UPDATE, FOR SHARE 和 FOR KEY SHARE 不能與 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。新視窗始終使用自己的框架子句；複製的視窗不得指定框架子句。

PARTITION BY 列表的元素在很大程度上被解釋為類似於 GROUP BY 子句的元素，只是它們總是簡單的表示式，並且永遠不會是輸出列的名稱或編號。另一個區別是，這些表示式可以包含聚合函式呼叫，而這些呼叫在常規 GROUP BY 子句中是不允許的。它們在這裡是允許的，因為視窗化發生在分組和聚合之後。

類似地，ORDER BY 列表的元素在很大程度上被解釋為類似於語句級 ORDER BY 子句的元素，只是表示式始終被視為簡單表示式，而從不是輸出列的名稱或編號。

可選的 frame_clause 定義了查詢的每一行 (稱為 當前行) 的相關行集。 frame_clause 可以是以下之一：

{ RANGE | ROWS | GROUPS } frame_start [ frame_exclusion ]
{ RANGE | ROWS | GROUPS } BETWEEN frame_start AND frame_end [ frame_exclusion ]

其中 frame_start 和 frame_end 可以是以下之一：

UNBOUNDED PRECEDING
offset PRECEDING
CURRENT ROW
offset FOLLOWING
UNBOUNDED FOLLOWING

而 frame_exclusion 可以是以下之一：

EXCLUDE CURRENT ROW
EXCLUDE GROUP
EXCLUDE TIES
EXCLUDE NO OTHERS

如果省略 frame_end，則預設為 CURRENT ROW。限制是 frame_start 不能是 UNBOUNDED FOLLOWING，frame_end 不能是 UNBOUNDED PRECEDING，並且 frame_end 的選擇在上述 frame_start 和 frame_end 選項列表中不能出現在 frame_start 選擇之前 — 例如，不允許 RANGE BETWEEN CURRENT ROW AND offset PRECEDING。

預設的框架選項是 RANGE UNBOUNDED PRECEDING，它等同於 RANGE BETWEEN UNBOUNDED PRECEDING AND CURRENT ROW；它將框架設定為從分割槽開始到當前行最後一個 對等行 (一個行，其視窗的 ORDER BY 子句認為它與當前行等效；如果不存在 ORDER BY，則所有行都是對等行) 的所有行。通常，UNBOUNDED PRECEDING 意味著框架從分割槽的第一個行開始，同樣 UNBOUNDED FOLLOWING 意味著框架以分割槽的最後一個行結束，無論 RANGE, ROWS 或 GROUPS 模式如何。在 ROWS 模式下，CURRENT ROW 意味著框架以當前行開始或結束；但在 RANGE 或 GROUPS 模式下，它意味著框架以當前行的第一個或最後一個對等行開始或結束。 offset PRECEDING 和 offset FOLLOWING 選項的含義取決於框架模式。在 ROWS 模式下，offset 是一個整數，表示框架相對於當前行開始或結束 offset 行。在 GROUPS 模式下，offset 是一個整數，表示框架相對於當前行的對等組開始或結束 offset 個對等組，其中 對等組 是根據視窗的 ORDER BY 子句等效的行組。在 RANGE 模式下，使用 offset 選項要求視窗定義中只有一列 ORDER BY。然後，框架包含那些排序列值不大於 (對於 PRECEDING) 或不小於 (對於 FOLLOWING) 當前行排序列值的行。在這些情況下，offset 表示式的資料型別取決於排序列的資料型別。對於數字排序列，它通常與排序列是同一型別，但對於日期時間排序列，它是 interval。在所有這些情況下，offset 的值必須是非空且非負的。此外，儘管 offset 不一定是簡單的常量，但它不能包含變數、聚合函式或視窗函式。

frame_exclusion 選項允許將當前行周圍的行從框架中排除，即使它們根據框架開始和框架結束選項被包含在內。EXCLUDE CURRENT ROW 將當前行從框架中排除。EXCLUDE GROUP 將當前行及其排序對等行從框架中排除。EXCLUDE TIES 從框架中排除當前行的任何對等行，但排除當前行本身。EXCLUDE NO OTHERS 僅明確指定不排除當前行或其對等行的預設行為。

請注意，如果在 ORDER BY 排序不唯一地對行進行排序時，ROWS 模式可能會產生不可預測的結果。RANGE 和 GROUPS 模式旨在確保根據 ORDER BY 排序對等處理的行被視為相同：給定對等組的所有行都將在框架內或被排除在框架之外。

WINDOW 子句的目的是指定查詢的 SELECT 列表 或 ORDER BY 子句中出現的 視窗函式 的行為。這些函式可以透過名稱在它們的 OVER 子句中引用 WINDOW 子句條目。 WINDOW 子句條目不必在任何地方被引用；如果它在查詢中未被使用，它將被簡單地忽略。可以完全不使用 WINDOW 子句就使用視窗函式，因為視窗函式呼叫可以直接在其 OVER 子句中指定其視窗定義。但是，當相同的視窗定義需要用於多個視窗函式時，WINDOW 子句可以節省輸入。

目前，FOR NO KEY UPDATE, FOR UPDATE, FOR SHARE 和 FOR KEY SHARE 不能與 WINDOW 一起指定。

視窗函式在 第 3.5 節, 第 4.2.8 節, 和 第 7.2.5 節 中有詳細描述。

SELECT 列表

SELECT 列表 (在關鍵字 SELECT 和 FROM 之間) 指定構成 SELECT 語句輸出行的表示式。這些表示式可以 (而且通常會) 引用在 FROM 子句中計算出的列。

正如在表中一樣，SELECT 的每個輸出列都有一個名稱。在簡單的 SELECT 中，這個名稱只是用於標記列以供顯示，但當 SELECT 是一個更大查詢的子查詢時，名稱對於大查詢來說是該子查詢產生的虛擬表的列名。要指定輸出列使用的名稱，請在列的表示式後寫入 AS output_name。(您可以省略 AS，但前提是所需的輸出名稱不匹配任何 PostgreSQL 關鍵字 (請參閱 附錄 C)。為防止將來可能新增關鍵字，建議您始終編寫 AS 或對輸出名稱加雙引號。) 如果您未指定列名，PostgreSQL 會自動選擇一個名稱。如果列的表示式是簡單的列引用，則選定的名稱與該列的名稱相同。在更復雜的情況下，可以使用函式或型別名稱，或者系統可能會回退到生成名稱，例如 ?column?。

輸出列的名稱可以在 ORDER BY 和 GROUP BY 子句中引用該列的值，但在 WHERE 或 HAVING 子句中不能使用；在那裡您必須寫出表示式。

代替表示式，* 可以在輸出列表中作為所有選定行列的簡寫。此外，您也可以寫 table_name.* 作為僅來自該表的列的簡寫。在這些情況下，無法使用 AS 指定新名稱；輸出列名稱將與表列的名稱相同。

根據 SQL 標準，輸出列表中的表示式應在應用 DISTINCT, ORDER BY, 或 LIMIT 之前進行計算。這在使用 DISTINCT 時顯然是必要的，因為否則就不清楚哪些值正在被區分。然而，在許多情況下，如果輸出表達式在 ORDER BY 和 LIMIT 之後進行計算會很方便；特別是當輸出列表包含任何易變或昂貴的函式時。有了這種行為，函式求值的順序就更直觀了，也不會有與永遠不會出現在輸出中的行相對應的求值。 PostgreSQL 將有效地在排序和限制之後計算輸出表達式，只要這些表示式未在 DISTINCT, ORDER BY 或 GROUP BY 中引用。(作為反例，SELECT f(x) FROM tab ORDER BY 1 顯然必須在排序之前計算 f(x)。) 包含集合返回函式的輸出表達式有效地在排序後和限制前計算，因此 LIMIT 將作用於截斷集合返回函式的輸出。

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 組內行的期望優先順序。

目前，FOR NO KEY UPDATE, FOR UPDATE, FOR SHARE 和 FOR KEY SHARE 不能與 DISTINCT 一起指定。

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 語句必須產生相同數量的列，並且對應的列必須是相容的資料型別。

除非指定了 ALL 選項，否則 UNION 的結果不包含任何重複行。 ALL 阻止消除重複項。(因此，UNION ALL 通常比 UNION 快得多；如果可以，請使用 ALL。) 可以編寫 DISTINCT 來明確指定刪除重複行的預設行為。

同一個 SELECT 語句中的多個 UNION 運算子按從左到右的順序進行計算，除非另有指示 (例如透過括號)。

目前，FOR NO KEY UPDATE, FOR UPDATE, FOR SHARE 和 FOR KEY SHARE 不能用於 UNION 結果或 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 語句返回的行的集合交集。一個行存在於兩個結果集的交集中，如果它存在於兩個結果集中。

除非指定了 ALL 選項，否則 INTERSECT 的結果不包含任何重複行。使用 ALL 時，在左表中具有 m 次重複並在右表中具有 n 次重複的行將在結果集中出現 min(m,n) 次。可以編寫 DISTINCT 來明確指定刪除重複行的預設行為。

同一個 SELECT 語句中的多個 INTERSECT 運算子按從左到右的順序進行計算，除非括號另有規定。 INTERSECT 的結合性比 UNION 更強。也就是說，A UNION B INTERSECT C 將被讀作 A UNION (B INTERSECT C)。

目前，FOR NO KEY UPDATE, FOR UPDATE, FOR SHARE 和 FOR KEY SHARE 不能用於 INTERSECT 結果或 INTERSECT 的任何輸入。

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 語句的結果中存在但不在右側結果中存在的行集。

除非指定了 ALL 選項，否則 EXCEPT 的結果不包含任何重複行。使用 ALL 時，在左表中具有 m 次重複並在右表中具有 n 次重複的行將在結果集中出現 max(m-n,0) 次。可以編寫 DISTINCT 來明確指定刪除重複行的預設行為。

同一個 SELECT 語句中的多個 EXCEPT 運算子按從左到右的順序進行計算，除非括號另有規定。 EXCEPT 的結合性與 UNION 相同。

目前，FOR NO KEY UPDATE, FOR UPDATE, FOR SHARE 和 FOR KEY SHARE 不能用於 EXCEPT 結果或 EXCEPT 的任何輸入。

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 (降序)。如果未指定，則預設假定為 ASC。或者，可以在 USING 子句中指定一個特定的排序運算子名稱。排序運算子必須是某個 B-tree 運算子族的“小於”或“大於”成員。 ASC 通常等同於 USING <，而 DESC 通常等同於 USING >。(但使用者定義資料型別的建立者可以確切地定義預設排序順序，並且它可能對應於其他名稱的運算子。)

如果指定了 NULLS LAST，則 null 值排序在所有非 null 值之後；如果指定了 NULLS FIRST，則 null 值排序在所有非 null 值之前。如果未指定，則當指定或隱含 ASC 時，預設行為是 NULLS LAST，當指定 DESC 時，預設行為是 NULLS FIRST (因此，預設行為就像 null 值比非 null 值大)。使用 USING 時，預設的 null 排序取決於運算子是“小於”還是“大於”運算子。

請注意，排序選項僅適用於它們後面的表示式；例如 ORDER BY x, y DESC 並不意味著 ORDER BY x DESC, y DESC。

字串資料根據適用於被排序列的排序規則進行排序。如有需要，可以透過在 expression 中包含 COLLATE 子句來覆蓋，例如 ORDER BY mycolumn COLLATE "en_US"。有關更多資訊，請參閱 第 4.2.10 節 和 第 23.2 節。

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 | WITH TIES }

在此語法中，標準要求 start 或 count 值必須是字面量常量、引數或變數名；作為 PostgreSQL 擴充套件，允許使用其他表示式，但通常需要用括號將其括起來以避免歧義。如果在 FETCH 子句中省略了 count，則預設為 1。 WITH TIES 選項用於返回根據 ORDER BY 子句在結果集中並列的任何其他行；在這種情況下，ORDER BY 是必需的，並且不允許 SKIP LOCKED。 ROW 和 ROWS 以及 FIRST 和 NEXT 是噪聲詞，不會影響這些子句的效果。根據標準，如果 OFFSET 和 FETCH 子句都存在，則 OFFSET 子句必須出現在 FETCH 子句之前；但 PostgreSQL 比較寬鬆，允許任何順序。

使用 LIMIT 時，最好使用 ORDER BY 子句來約束結果行以獲得唯一順序。否則，您將獲得查詢行的一個不可預測的子集——您可能正在請求第 10 到第 20 行，但按什麼順序？除非您指定 ORDER BY，否則您不知道是什麼順序。

查詢規劃器在生成查詢計劃時會考慮 LIMIT，因此您很可能會根據 LIMIT 和 OFFSET 的使用情況獲得不同的計劃 (產生不同的行順序)。因此，使用不同的 LIMIT/OFFSET 值選擇查詢結果的不同子集 將導致不一致的結果，除非您使用 ORDER BY 來強制執行可預測的結果順序。這不是一個錯誤；這是 SQL 不保證按任何特定順序返回查詢結果 (除非使用 ORDER BY 來約束順序) 的固有後果。

如果沒有 ORDER BY 來強制選擇確定性子集，重複執行相同的 LIMIT 查詢甚至可能返回錶行的不同子集。同樣，這不是一個錯誤；在這種情況下，結果的確定性只是不被保證。

鎖定子句

FOR UPDATE, FOR NO KEY UPDATE, FOR SHARE 和 FOR KEY SHARE 是 鎖定子句；它們影響 SELECT 在從表中獲取行時如何鎖定行。

鎖定子句具有通用形式：

FOR lock_strength [ OF from_reference [, ...] ] [ NOWAIT | SKIP LOCKED ]

其中 lock_strength 可以是以下之一：

UPDATE
NO KEY UPDATE
SHARE
KEY SHARE

from_reference 必須是 FROM 子句中引用的表 alias 或非隱藏 table_name。有關每種行級鎖模式的更多資訊，請參閱 第 13.3.2 節。

為防止操作等待其他事務提交，請使用 NOWAIT 或 SKIP LOCKED 選項。使用 NOWAIT 時，如果選定的行無法立即鎖定，則該語句會報告錯誤，而不是等待。使用 SKIP LOCKED 時，任何無法立即鎖定的選定行都會被跳過。跳過鎖定的行會提供不一致的資料檢視，因此不適用於通用工作，但可用於避免多個使用者訪問類似佇列的表時發生鎖爭用。請注意，NOWAIT 和 SKIP LOCKED 僅適用於行級鎖 — 所需的 ROW SHARE 表級鎖仍以常規方式獲取（參見 第 13 章）。如果需要獲取表級鎖而不等待，可以首先使用帶 NOWAIT 選項的 LOCK。

如果在鎖定子句中命名了特定的表，那麼只會鎖定來自這些表的行；在 SELECT 中使用的任何其他表都將像平常一樣被讀取。沒有表列表的鎖定子句會影響語句中使用的所有表。如果鎖定子句應用於檢視或子查詢，則它會影響檢視或子查詢中使用的所有表。但是，這些子句不適用於主查詢引用的 WITH 查詢。如果要使行鎖定發生在 WITH 查詢內，請在 WITH 查詢中指定一個鎖定子句。

如果需要為不同的表指定不同的鎖定行為，可以編寫多個鎖定子句。如果同一表被一個或多個鎖定子句提及（或隱式影響），則它被處理為僅由最強的子句指定。同樣，如果影響某個表的子句中指定了 NOWAIT，則該表將按 NOWAIT 處理。否則，如果影響該表的子句中指定了 SKIP LOCKED，則該表將按 SKIP LOCKED 處理。

鎖定子句不能在無法將返回的行明確標識為單個錶行的情況下使用；例如，它們不能與聚合一起使用。

當鎖定子句出現在 SELECT 查詢的頂層時，被鎖定的行正是由查詢返回的行；對於聯接查詢，被鎖定的行是那些為返回的聯接行做出貢獻的行。此外，作為查詢快照滿足查詢條件的行將被鎖定，即使它們在快照之後被更新並且不再滿足查詢條件，它們也不會被返回。如果使用了 LIMIT，則鎖定會一直進行，直到返回足夠多的行來滿足限制（但請注意，由 OFFSET 跳過的行將被鎖定）。同樣，如果在遊標的查詢中使用鎖定子句，則只會鎖定實際被遊標獲取或越過的行。

當鎖定子句出現在子 SELECT 中時，被鎖定的行是子查詢返回給外部查詢的行。這可能涉及比單獨檢查子查詢所暗示的更少的行，因為外部查詢的條件可能被用於最佳化子查詢的執行。例如，

SELECT * FROM (SELECT * FROM mytable FOR UPDATE) ss WHERE col1 = 5;

將只鎖定 col1 = 5 的行，即使該條件在文字上不在子查詢內。

早期版本未能保留由後續儲存點升級的鎖。例如，此程式碼

BEGIN;
SELECT * FROM mytable WHERE key = 1 FOR UPDATE;
SAVEPOINT s;
UPDATE mytable SET ... WHERE key = 1;
ROLLBACK TO s;

在 ROLLBACK TO 之後將無法保留 FOR UPDATE 鎖。此問題已在 9.3 版本中修復。

SELECT * FROM (SELECT * FROM mytable FOR UPDATE) ss ORDER BY column1;

TABLE 命令

命令

TABLE name

等同於

SELECT * FROM name

它可以作為頂級命令使用，也可以作為複雜的查詢中的節省空間的語法變體。只有 WITH、UNION、INTERSECT、EXCEPT、ORDER BY、LIMIT、OFFSET、FETCH 和 FOR 鎖定子句可以與 TABLE 一起使用；不能使用 WHERE 子句和任何形式的聚合。

省略 FROM 子句

PostgreSQL 允許省略 FROM 子句。它用於計算簡單表示式結果的直接用途

SELECT 2+2;

 ?column?
----------
        4

一些其他SQL資料庫除了引入一個虛擬的單行表來執行 SELECT 之外，無法做到這一點。

空的 SELECT 列表

SELECT 後面的輸出表達式列表可以為空，產生一個零列結果表。根據 SQL 標準，這不是有效語法。PostgreSQL 允許這樣做是為了與允許零列表保持一致。但是，當使用 DISTINCT 時，不允許使用空列表。

省略 AS 關鍵字

在 SQL 標準中，當新的列名是有效列名（即不與任何保留關鍵字相同）時，輸出列名之前的可選關鍵字 AS 可以被省略。PostgreSQL 稍微嚴格一些：如果新的列名與任何關鍵字（無論是否保留）匹配，則需要 AS。建議的做法是使用 AS 或雙引號括起輸出列名，以防止與未來關鍵字添加發生任何可能的衝突。

在 FROM 項中，標準和 PostgreSQL 都允許在未保留關鍵字的別名前省略 AS。但由於語法上的歧義，這對於輸出列名來說是不切實際的。

在 FROM 中省略子 SELECT 別名

根據 SQL 標準，FROM 列表中的子 SELECT 必須有一個別名。在 PostgreSQL 中，可以省略此別名。

ONLY 和繼承

SQL 標準要求在編寫 ONLY 時將表名括在括號中，例如 SELECT * FROM ONLY (tab1), ONLY (tab2) WHERE ...。PostgreSQL 認為這些括號是可選的。

PostgreSQL 允許在末尾新增 * 來顯式指定非 ONLY 行為，即包含子表。PostgreSQL 不允許這樣做。

（這些要點同樣適用於所有支援 ONLY 選項的 SQL 命令。）

TABLESAMPLE 子句限制

TABLESAMPLE 子句目前僅在常規表和物化檢視上接受。根據 SQL 標準，它應該可以應用於任何 FROM 項。

FROM 中的函式呼叫

PostgreSQL 允許將函式呼叫直接作為 FROM 列表的成員編寫。在 SQL 標準中，有必要將此類函式呼叫包裝在子 SELECT 中；也就是說，語法 FROM func(...) alias 大致等同於 FROM LATERAL (SELECT func(...)) alias。請注意，LATERAL 被認為是隱式的；這是因為標準要求 FROM 中的 UNNEST() 項具有 LATERAL 語義。PostgreSQL 將 UNNEST() 與其他返回集合的函式視為相同。

GROUP BY 和 ORDER BY 可用的名稱空間

在 SQL-92 標準中，ORDER BY 子句只能使用輸出列名或數字，而 GROUP BY 子句只能使用基於輸入列名的表示式。PostgreSQL 擴充套件了這兩個子句，允許使用另一種選擇（但如果存在歧義，它會使用標準的解釋）。PostgreSQL 還允許這兩個子句指定任意表達式。請注意，表示式中出現的名稱始終被視為輸入列名，而不是輸出列名。

SQL:1999 及更高版本使用稍有不同的定義，該定義與 SQL-92 不完全向後相容。但在大多數情況下，PostgreSQL 會像 SQL:1999 一樣解釋 ORDER BY 或 GROUP BY 表示式。

函式依賴

PostgreSQL 僅當表的 [主鍵](primary-key.html) 包含在 GROUP BY 列表中時，才識別函式依賴（允許從 GROUP BY 中省略列）。SQL 標準規定了應識別的附加條件。

LIMIT 和 OFFSET

LIMIT 和 OFFSET 子句是 PostgreSQL 特有的語法，MySQL 也使用它。SQL:2008 標準引入了 OFFSET ... FETCH {FIRST|NEXT} ... 子句來實現相同的功能，如上文 LIMIT Clause 所示。此語法也由 IBM DB2 使用。（為 Oracle 編寫的應用程式經常使用涉及自動生成的 rownum 列的變通方法，該列在 PostgreSQL 中不可用，以實現這些子句的效果。）

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

雖然 FOR UPDATE 出現在 SQL 標準中，但標準僅允許將其作為 DECLARE CURSOR 的選項。PostgreSQL 允許將其用於任何 SELECT 查詢以及子 SELECTs 中，但這是一種擴充套件。FOR NO KEY UPDATE、FOR SHARE 和 FOR KEY SHARE 變體，以及 NOWAIT 和 SKIP LOCKED 選項，均未出現在標準中。

WITH 中的資料修改語句

PostgreSQL 允許將 INSERT、UPDATE、DELETE 和 MERGE 用作 WITH 查詢。這在 SQL 標準中找不到。

非標準子句

DISTINCT ON ( ... ) 是 SQL 標準的擴充套件。

ROWS FROM( ... ) 是 SQL 標準的擴充套件。

WITH 的 MATERIALIZED 和 NOT MATERIALIZED 選項是 SQL 標準的擴充套件。