从概念上讲，可排序数据类型的每个表达式都具有排序规则。（内置的可排序数据类型是 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