Re: Check volatile functions in ppi_clauses for memoize node

On Fri, 4 Aug 2023 at 22:26, Richard Guo <guofenglinux(at)gmail(dot)com> wrote:
> explain (costs off)
> select * from t t1 left join lateral
> (select t1.a as t1a, t2.a as t2a from t t2) s
> on t1.a = s.t2a + random();
> QUERY PLAN
> -----------------------------------------------
> Nested Loop Left Join
> -> Seq Scan on t t1
> -> Memoize
> Cache Key: t1.a
> Cache Mode: binary
> -> Seq Scan on t t2
> Filter: (t1.a = (a + random()))
> (7 rows)
>
> According to the theory we should not use memoize node for this query
> because of the volatile function in the inner side. So propose a patch
> to fix that.

Thanks for the patch. I've pushed a variation of it.

I didn't really see the need to make a single list with all the
RestrictInfos. It seems fine just to write code and loop over the
ppi_clauses checking for volatility.

David