聚合函数根据一组输入值计算出单个结果。内置的普通聚合函数列于表 9.49和表 9.50。内置的有序集聚合函数列于表 9.51和表 9.52。与聚合函数密切相关的分组操作列于表 9.53。聚合函数的特殊语法说明见第 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;

但这种语法在 SQL 标准中是不允许的，并且不可移植到其他数据库系统。

表 9.50列出了统计分析常用的聚合函数。（将它们单独列出只是为了避免让更常用的聚合函数列表过于拥挤。）说明中提到的 N 表示所有输入表达式均非空的输入行数。在所有情况下，如果计算没有意义，例如 N 为零，都会返回空值。

表 9.51列出了一些使用有序集聚合语法的聚合函数。这些函数有时被称为“逆分布”函数。

表 9.51中列出的所有聚合函数都忽略其排序输入中的空值。对于接受 fraction 参数的函数，该比例值必须在 0 和 1 之间，否则会报错。但 null 比例值只会产生 null 结果。

表 9.52中列出的每个聚合函数都与第 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)