PostgreSQL易失性表达式和子查询

Question

Bruce Momjian的博客文章Generating Random Data Via SQL中，他使用以下代码生成了5个随机字符串：

SELECT
(
        SELECT string_agg(x, '')
        FROM (
                SELECT chr(ascii('a') + floor(random() * 26)::integer)
                FROM generate_series(1, 40 + b * 0) as f(g)
        ) AS y(x)
) AS result
FROM generate_series(1,5) as a(b);
              result                  
------------------------------------------
 plwfwcgajxdygfissmxqsywcwiqptytjjppgrvgb
 sjaypirhuoynnvqjdgywfsfphuvzqbbilbhakyhf
 ngtabkjfqibwahlicgisijatliuwgbcuiwujgeox
 mqtnyewalettounachwjjzdrvxbbbpzogscexyfi
 dzcstpsvwpefohwkfxmhnlwteyybxejbdltwamsx
(5 rows)

我想知道为什么第6行需要"b*0"。当我删除它时，结果变成了5个完全相似的字符串，这意味着Postgres缓存了外部选择表达式（result）！

我找不到表达式缓存在Postgres中是如何工作的。根据文档，random（）函数被标记为VOLATILE，因此，我希望依赖它的任何表达式也会是VOLATILE。

Postgres中的表达式缓存是如何工作的？有记录吗？为什么"b*0"禁用了random（）未禁用的缓存？

更新：

为了研究这个问题，我将"b*0"移动到floor（）调用内部，以与random（）处于相同的位置/级别：

...
                SELECT chr(ascii('a') + floor(random() * 26 + b * 0)::integer)
                FROM generate_series(1, 40) as s(f)
...

结果仍然没有缓存；不同的字符串。

更新：显示问题的另一个示例

create sequence seq_test;
SELECT (SELECT nextval('seq_test')) FROM generate_series(1,5);
 ?column? 
----------
        1
        1
        1
        1
        1
(5 rows)

Answer 1

好吧，random()本身是可变的，因此不会得到具有相同字符的字符串重复到最后。

如果您查看带有和不带有b*0的查询计划，您将看到：

带b*0:

 Function Scan on generate_series a  (cost=0.00..37530.00 rows=1000 width=4)
   SubPlan 1
     ->  Aggregate  (cost=37.51..37.52 rows=1 width=32)
           ->  Function Scan on generate_series  (cost=0.01..25.01 rows=1000 width=0)

无b*0:

 Function Scan on generate_series a  (cost=37.52..47.52 rows=1000 width=0)
   InitPlan 1 (returns $0)
     ->  Aggregate  (cost=37.50..37.51 rows=1 width=32)
           ->  Function Scan on generate_series  (cost=0.00..25.00 rows=1000 width=0)

如果PostgreSQL确定内部聚合不依赖于a，则将其作为InitPlan进行一次评估，并且内部表达式的波动性与否无关。通过引入子查询对a的依赖性，即使其成为相关的子查询，必须对a的每一行重新进行评估。