聚集函数从一个输入值的集合计算出一个单一值。内建的通用聚集函数在表 9.52中列出,而统计性聚集在表 9.53中列出。内建的组内有序集聚集函数在表 9.54中列出,而内建的组内假想集聚集在表 9.55中列出。与聚集函数紧密相关的分组操作在表 9.56中列出。第 4.2.7 节中会解释针对聚集函数的特殊语法考虑。额外的介绍信息请参考第 2.7 节。

请注意,除了count以外,这些函数在没有行被选中时返回空值。尤其是sum函数在没有输入行时返回空值,而不是零,并且array_agg在这种情况返回空值而不是一个空数组。必要时可以用coalesce把空值替换成零或一个空数组。

支持部分模式的聚集函数有资格参与到各种优化中,例如并行聚集。

SELECT b1 = ANY((SELECT b2 FROM t2 ...)) FROM t1 ...;

SELECT count(*) FROM sometable;

与相似的用户定义的聚集函数一样,聚集函数array_agg、 json_agg、jsonb_agg、json_object_agg、jsonb_object_agg、string_agg和xmlagg会依赖输入值的顺序产生有意义的不同结果值。这个顺序默认是不用指定的,但是可以在聚集调用时使用ORDER BY子句进行控制,如第 4.2.7 节中所示。作为一种选择,从一个排序号的子查询来提供输入值通常会有帮助。例如:

SELECT xmlagg(x) FROM (SELECT x FROM test ORDER BY y DESC) AS tab;

注意如果外面的查询层次包含额外的处理(例如连接),这种方法可能会失败,因为这可能导致子查询的输出在计算聚集之前被重新排序。

表 9.53展示了通常被用在统计分析中的聚集函数(这些被隔离出来是为了不和常用聚集混淆)。其中描述提到了N,它表示对应于所有非空输入表达式的输入行的数目。在所有情况中,如果计算是无意义的,将会返回空值,例如当N为零。

表 9.54展示了一些使用 有序集聚集语法的聚集函数。这些函数有时也被称为 "逆分布"函数。

所有列在表 9.54中的聚集会忽略它们的已 排序输入中的空值。对那些有一个fraction参数的聚 集来说,该分数值必须位于 0 和 1 之间,否则会抛出错误。不过,一个空分数值会 产生一个空结果。

每个列在表 9.55中的聚集都与一个定义在 第 9.21 节中的同名窗口函数相关联。在每种情况中,聚集 结果的计算方法是:假设根据args构建的"假想"行已 经被增加到从sorted_args计算得到的已排序行分组中, 然后用相关联的窗口函数针对该行返回的值就是聚集的结果。

对于这些假想集聚集的每一个,args中给定的直接参数 列表必须匹配sorted_args中给定的聚集参数的 数量和类型。与大部分的内建聚集不同,这些聚集并不严格,即它们不会丢弃包含空值 的输入行。空值的排序根据ORDER BY子句中指定的规则进行。

分组操作用来与分组集合(见第 7.2.4 节)共同来 区分结果行。GROUPING操作的参数并不会被实际计算,但是它们必 须准确地匹配在相关查询层次的GROUP BY子句中给定的表达式。 最右边参数指派的位是最低有效位,如果对应的表达式被包括在产生结果行的分组 集合的分组条件中则每一位是 0,否则是 1。例如:

=> SELECT * FROM items_sold;
 make | model | sales
-------+-------+-------
 Foo | GT | 10
 Foo | Tour | 20
 Bar | City | 15
 Bar | Sport | 5
(4 rows)
=> SELECT make, model, GROUPING(make,model), sum(sales) FROM items_sold GROUP BY ROLLUP(make,model);
 make | model | grouping | sum
-------+-------+----------+-----
 Foo | GT | 0 | 10
 Foo | Tour | 0 | 20
 Bar | City | 0 | 15
 Bar | Sport | 0 | 5
 Foo | | 1 | 30
 Bar | | 1 | 20
 | | 3 | 50
(7 rows)