从概念上讲，每个可排序数据类型的表达式都有一个排序规则。（内置的可排序数据类型是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_COLLATE不同的LC_CTYPE设置，因此将这些设置收集在一个概念下比为每个表达式创建另一个设置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