我在哪里可以找到 Postgresql 15.2 中 GROUP_CONCAT() 的文档？

Question

我很难在 POSTGRES 15.2 的 SELECT 中找到 GROUP_CONCAT() 的文档 我到处阅读不应该存在的内容，但我已经在 PgAdmin 和 DBeaver 中进行了测试，效果很好。

我在 https://www.postgresql.org/docs/15/sql-select.html 的官方文档中找不到参考

因为我是新手，我怎么能在安装过程中检查我没有一个名为 GROUP_CONCAT() 的函数，它是基于 string_agg() 的？

这是我测试过的代码

select GROUP_CONCAT(c.cname) as Name, c.rating as Rating, COUNT(c.rating) AS Occurrence
FROM customers c
GROUP by c.rating
having count(c.rating) > 1
order by rating 

输出

name                     |rating|occurrence|
-------------------------+------+----------+
Hoffman, Clemens, Pereira|   100|         3|
Giovanni, Liu            |   200|         2|
Grass, Cisneros          |   300|         2|