描述

CREATE AGGREGATE定义一个新的聚合函数。一些基本且常用的聚合函数已随发行版提供；它们记录在第 9.20 节中。如果定义了新的类型或者需要一个尚未提供的聚合函数，则可以使用CREATE AGGREGATE来提供所需的功能。

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

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

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

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

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

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

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

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

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

行为类似MIN或MAX的聚合有时可以通过查看索引而不是扫描每个输入行来优化。如果此聚合可以如此优化，可以通过指定一个排序操作符来指明。基本要求是该聚合必须产生由该操作符导出的排序顺序中的第一个元素；换句话说：

SELECT agg(col) FROM tab;

必须等效于：

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

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

要能创建聚合函数，你必须对参数类型、状态类型和返回类型具有USAGE权限，并对转移函数和最终函数具有EXECUTE权限。

参数

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

示例

见第 35.10 节。

兼容性

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

另请参阅