聚合器是一个聚合函数 int_array_aggregate(integer)，它生成一个整数数组，其中包含它所接收的精确整数。这是对 array_agg 的包装，后者对任何数组类型执行相同的操作。

枚举器是一个函数 int_array_enum(integer[])，它返回 setof integer。它本质上是聚合器的逆运算：给定一个整数数组，将其展开为一组行。这是对 unnest 的包装，后者对任何数组类型执行相同的操作。

许多数据库系统都有多对多表的概念。这样的表通常位于两个索引表之间，例如

CREATE TABLE left_table  (id INT PRIMARY KEY, ...);
CREATE TABLE right_table (id INT PRIMARY KEY, ...);
CREATE TABLE many_to_many(id_left  INT REFERENCES left_table,
                          id_right INT REFERENCES right_table);

它通常像这样使用

SELECT right_table.*
FROM right_table JOIN many_to_many ON (right_table.id = many_to_many.id_right)
WHERE many_to_many.id_left = item;

这将返回左侧表中条目的右侧表中的所有项目。这是 SQL 中非常常见的构造。

现在，对于 many_to_many 表中数量非常多的条目，这种方法可能很麻烦。通常，这样的连接会导致索引扫描和获取特定左侧条目表中每个右侧条目的操作。如果您有一个非常动态的系统，那么您无能为力。但是，如果您有一些相当静态的数据，则可以使用聚合器创建一个摘要表。

CREATE TABLE summary AS
  SELECT id_left, int_array_aggregate(id_right) AS rights
  FROM many_to_many
  GROUP BY id_left;

这将创建一个表，其中每个左侧项目有一行，以及一个右侧项目的数组。现在，如果没有某种使用数组的方法，这是相当无用的；这就是为什么有数组枚举器的原因。您可以这样做

SELECT id_left, int_array_enum(rights) FROM summary WHERE id_left = item;

上面使用 int_array_enum 的查询产生与以下相同的结果

SELECT id_left, id_right FROM many_to_many WHERE id_left = item;

不同之处在于，针对摘要表的查询只需要从表中获取一行，而针对 many_to_many 的直接查询必须为每个条目进行索引扫描和获取行。

在一个系统中，EXPLAIN 显示成本为 8488 的查询降低到了成本为 329。原始查询是一个涉及 many_to_many 表的连接，它被替换为

SELECT id_right, count(id_right) FROM
  ( SELECT id_left, int_array_enum(rights) AS id_right
    FROM summary
    JOIN (SELECT id FROM left_table
          WHERE id = item) AS lefts
    ON (summary.id_left = lefts.id)
  ) AS list
  GROUP BY id_right
  ORDER BY count DESC;