从概念上讲，可排序数据类型的每个表达式都有一个排序规则。（内置的可排序数据类型为 text、varchar 和 char。用户定义的基本类型也可以标记为可排序，当然，可排序数据类型上的 域 也是可排序的。）如果表达式是列引用，则表达式的排序规则是列的已定义排序规则。如果表达式是常量，则排序规则是常量数据类型的默认排序规则。更复杂表达式的排序规则是从其输入的排序规则派生的，如下所述。

表达式的排序规则可以是 “default” 排序规则，这意味着为数据库定义的区域设置。表达式的排序规则也可能是不确定的。在这种情况下，需要知道排序规则的排序操作和其他操作将失败。

当数据库系统必须执行排序或字符分类时，它将使用输入表达式的排序规则。例如，使用 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 排序与字符集编码相关（参见 第 24.3 节）。对于不同的编码，可能存在相同的排序名称。

由 icu 提供的排序对象映射到 ICU 库提供的命名排序器。ICU 不支持单独的 “排序” 和 “字符类型” 设置，因此它们始终相同。此外，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

第 24.2.3.2 节中描述了许多可用选项，或参阅第 24.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