描述

CREATE AGGREGATE 定义一个新的聚合函数。系统自带了一些基本且常用的聚合函数；它们在第 9.15 节中有文档说明。如果需要定义新类型或需要一个尚未提供的聚合函数，则可以使用 CREATE AGGREGATE 来实现所需功能。

如果给出了一个模式名（例如CREATE AGGREGATE myschema.myagg ...），则该聚合函数会在指定模式中创建。否则会在当前模式中创建。

聚合函数由其名称和输入数据类型标识。同一模式中的两个聚合如果操作于不同的输入类型，则可以有相同的名称。聚合的名称和输入数据类型还必须与同一模式中每个普通函数的名称和输入数据类型都不同。

一个聚合函数由一个或两个普通函数构成：一个状态转移函数sfunc，以及一个可选的最终计算函数ffunc。它们的用法如下：

sfunc( internal-state, next-data-item ) ---> next-internal-state
ffunc( internal-state ) ---> aggregate-value

PostgreSQL会创建一个数据类型为 stype的临时变量，用来保存聚合的当前内部状态。对于每个输入数据项，都会调用状态转移函数来计算新的内部状态值。等到所有数据处理完毕后，再调用一次最终函数来计算聚合的返回值。如果没有最终函数，则原样返回结束时的状态值。

聚合函数可以提供一个初始条件，即内部状态值的初始值。它在数据库中以 text类型的列指定和存储，但它必须是该状态值数据类型常量的合法外部表示。如果未提供，则状态值初始为空值。

如果状态转移函数被声明为“strict”的，那么它不能以空值输入被调用。使用这种转移函数时，聚合的执行行为如下：空值输入会被忽略（不调用函数并保留先前的状态值）。如果初始状态值为空，那么第一个非空输入值会取代状态值，而转移函数会从第二个非空输入值开始被调用。这对于实现max这类聚合很方便。注意，只有当state_data_type与第一个input_data_type相同时，此行为才可用。当这两种类型不同时，必须提供非空的初始条件或者使用非严格的转移函数。

如果状态转移函数不是严格的，那么它会在每个输入值上被无条件调用，并且必须自行处理空值输入和空值转移值。这使聚合作者能完全控制聚合对空值的处理。

如果最终函数被声明为“strict”，那么当结束状态值为空时不会调用它；而是自动返回空结果。（这当然只是 strict 函数的正常行为。）无论如何，最终函数都可以选择返回空值。例如，avg的最终函数在发现输入行数为零时会返回空值。

行为类似于MIN或MAX的聚合，有时可以通过查阅索引而不是扫描每个输入行来优化。如果该聚合可以这样优化，请通过指定一个排序操作符来表明。基本要求是，该聚合必须返回该操作符所诱导的排序顺序中的第一个元素；换句话说：

SELECT agg(col) FROM tab;

必须等价于

SELECT col FROM tab ORDER BY col USING sortop LIMIT 1;

进一步的假设是，该聚合忽略空输入，并且当且仅当不存在非空输入时返回空结果。通常，某种数据类型的<操作符是 MIN的合适排序操作符，而>是 MAX的合适排序操作符。注意，除非指定的操作符是 B-树索引操作符类中“小于”或“大于”策略成员，否则这种优化实际上永远不会生效。

参数

CREATE AGGREGATE的参数可以按任意顺序书写，而不只是按上面展示的顺序。

示例

见第 32.10 节。

兼容性

CREATE AGGREGATE是 PostgreSQL的语言扩展。SQL 标准不提供用户定义聚合函数。

另见