從概念上講，每個可排序資料類型的表達式都有一個排序規則。（內建的可排序資料類型為 text、varchar 和 char。使用者定義的基礎類型也可以標記為可排序，當然，在可排序資料類型之上的 網域也是可排序的。）如果表達式是資料欄位引用，則表達式的排序規則是該資料欄位定義的排序規則。如果表達式是一個常數，則排序規則是該常數資料類型的預設排序規則。更複雜的表達式的排序規則是從其輸入的排序規則中導出的，如下所述。

表達式的排序規則可以是「預設」排序規則，這表示為資料庫定義的語系設定。表達式的排序規則也可能是不確定的。在這種情況下，排序操作和其他需要知道排序規則的操作將會失敗。

當資料庫系統必須執行排序或字元分類時，它會使用輸入表達式的排序規則。例如，當使用 ORDER BY 子句以及函式或運算子呼叫（例如 <）時，就會發生這種情況。要應用於 ORDER BY 子句的排序規則只是排序鍵的排序規則。要應用於函式或運算子呼叫的排序規則是從引數中導出的，如下所述。除了比較運算子之外，排序規則還會被轉換大小寫字母的函式（例如 lower、upper 和 initcap）、樣式比對運算子以及 to_char 和相關函式所考慮。

對於函式或運算子呼叫，透過檢查引數排序規則而導出的排序規則在執行階段用於執行指定的作業。如果函式或運算子呼叫的結果是可排序的資料類型，則排序規則也會在剖析時間用作函式或運算子表達式的定義排序規則，以防有需要了解其排序規則的周圍表達式。

表達式的排序規則推導可以是隱含的或明確的。這種區別會影響當表達式中出現多個不同的排序規則時，如何組合排序規則。當使用 COLLATE 子句時，會發生明確的排序規則推導；所有其他排序規則推導都是隱含的。當需要組合多個排序規則時（例如在函式呼叫中），會使用以下規則

例如，請考慮以下表格定義

CREATE TABLE test1 (
    a text COLLATE "de_DE",
    b text COLLATE "es_ES",
    ...
);

然後在

SELECT a < 'foo' FROM test1;

中，< 比較會根據 de_DE 規則執行，因為表達式將隱含推導的排序規則與預設排序規則組合在一起。但是在

SELECT a < ('foo' COLLATE "fr_FR") FROM test1;

中，比較是使用 fr_FR 規則執行的，因為明確的排序規則推導會覆蓋隱含的排序規則。此外，給定

SELECT a < b FROM test1;

剖析器無法確定要套用哪個排序規則，因為 a 和 b 資料欄位具有衝突的隱含排序規則。由於 < 運算子確實需要知道要使用哪個排序規則，因此這將導致錯誤。可以透過將明確的排序規則規範附加到任一輸入表達式來解決該錯誤，因此

SELECT a < b COLLATE "de_DE" FROM test1;

或等效地

SELECT a COLLATE "de_DE" < b FROM test1;

另一方面，在結構上類似的情況

SELECT a || b FROM test1;

不會導致錯誤，因為 || 運算子並不關心定序：其結果與定序無關。

如果函數或運算子的結果是可定序的資料類型，則分配給函數或運算子組合輸入表達式的定序也適用於函數或運算子的結果。所以在

SELECT * FROM test1 ORDER BY a || 'foo';

排序將根據 de_DE 規則完成。但是這個查詢

SELECT * FROM test1 ORDER BY a || b;

會導致錯誤，因為即使 || 運算子不需要知道定序，ORDER BY 子句卻需要。與之前一樣，可以使用明確的定序規範來解決衝突

SELECT * FROM test1 ORDER BY a || b COLLATE "fr_FR";

定序是一個 SQL 綱要物件，它將 SQL 名稱對應到作業系統中安裝的函式庫所提供的地區設定。定序定義具有一個提供者，用於指定哪個函式庫提供地區設定資料。一個標準的提供者名稱是 libc，它使用作業系統 C 函式庫提供的地區設定。這些是作業系統提供的大多數工具使用的地區設定。另一個提供者是 icu，它使用外部 ICU 函式庫。只有在建置 PostgreSQL 時配置了 ICU 支援，才能使用 ICU 地區設定。

由 libc 提供的定序物件會對應到 LC_COLLATE 和 LC_CTYPE 設定的組合，如 setlocale() 系統函式庫呼叫所接受的。(顧名思義，定序的主要目的是設定 LC_COLLATE，它控制排序順序。但在實務中，LC_CTYPE 設定與 LC_COLLATE 不同很少是必要的，因此將這些設定收集在一個概念下比為每個表達式建立另一個用於設定 LC_CTYPE 的基礎架構更方便。)此外，libc 定序與字元集編碼相關聯 (請參閱 第 23.3 節)。相同的定序名稱可能存在於不同的編碼中。

由 icu 提供的定序物件會對應到 ICU 函式庫提供的命名校對器。ICU 不支援單獨的 “校對” 和 “ctype” 設定，因此它們始終相同。此外，ICU 定序與編碼無關，因此在資料庫中對於給定名稱的 ICU 定序始終只有一個。

SELECT a COLLATE "C" < b COLLATE "POSIX" FROM test1;

CREATE COLLATION german (provider = libc, locale = 'de_DE');

CREATE COLLATION german (provider = icu, locale = 'de-DE');

CREATE COLLATION german FROM "de_DE";
CREATE COLLATION french FROM "fr-x-icu";

CREATE COLLATION ndcoll (provider = icu, locale = 'und', deterministic = false);

CREATE COLLATION case_insensitive (provider = icu, locale = 'und-u-ks-level2', deterministic = false);
CREATE COLLATION ignore_accents (provider = icu, locale = 'und-u-ks-level1-kc-true', deterministic = false);

ICU 允許通過定義新的定序，並將定序設定作為語言標籤的一部分，來廣泛控制定序行為。這些設定可以修改定序順序以滿足各種需求。例如：

-- ignore differences in accents and case
CREATE COLLATION ignore_accent_case (provider = icu, deterministic = false, locale = 'und-u-ks-level1');
SELECT 'Å' = 'A' COLLATE ignore_accent_case; -- true
SELECT 'z' = 'Z' COLLATE ignore_accent_case; -- true

-- upper case letters sort before lower case.
CREATE COLLATION upper_first (provider = icu, locale = 'und-u-kf-upper');
SELECT 'B' < 'b' COLLATE upper_first; -- true

-- treat digits numerically and ignore punctuation
CREATE COLLATION num_ignore_punct (provider = icu, deterministic = false, locale = 'und-u-ka-shifted-kn');
SELECT 'id-45' < 'id-123' COLLATE num_ignore_punct; -- true
SELECT 'w;x*y-z' = 'wxyz' COLLATE num_ignore_punct; -- true

許多可用的選項在 第 23.2.3.2 節中描述，或者有關更多詳細資訊，請參閱 第 23.2.3.5 節。

CREATE COLLATION level3 (provider = icu, deterministic = false, locale = 'und-u-ka-shifted-ks-level3');
CREATE COLLATION level4 (provider = icu, deterministic = false, locale = 'und-u-ka-shifted-ks-level4');
CREATE COLLATION identic (provider = icu, deterministic = false, locale = 'und-u-ka-shifted-ks-identic');

-- invisible separator ignored at all levels except identic
SELECT 'ab' = U&'a\2063b' COLLATE level4; -- true
SELECT 'ab' = U&'a\2063b' COLLATE identic; -- false

-- punctuation ignored at level3 but not at level 4
SELECT 'x-y' = 'x_y' COLLATE level3; -- true
SELECT 'x-y' = 'x_y' COLLATE level4; -- false

CREATE COLLATION custom (provider = icu, locale = 'und', rules = '&V << w <<< W');

CREATE COLLATION ebcdic (provider = icu, locale = 'und',
rules = $$
& ' ' < '.' < '<' < '(' < '+' < \|
< '&' < '!' < '$' < '*' < ')' < ';'
< '-' < '/' < ',' < '%' < '_' < '>' < '?'
< '`' < ':' < '#' < '@' < \' < '=' < '"'
<*a-r < '~' <*s-z < '^' < '[' < ']'
< '{' <*A-I < '}' <*J-R < '\' <*S-Z <*0-9
$$);

SELECT c
FROM (VALUES ('a'), ('b'), ('A'), ('B'), ('1'), ('2'), ('!'), ('^')) AS x(c)
ORDER BY c COLLATE ebcdic;
 c
---
 !
 a
 b
 ^
 A
 B
 1
 2