Re: Prove a NOT IN's left-hand expressions non-nullable from quals

From: Richard Guo <guofenglinux(at)gmail(dot)com>
To: Rui Zhao <zhaorui126(at)gmail(dot)com>
Cc: Ayush Tiwari <ayushtiwari(dot)slg01(at)gmail(dot)com>, qiuwenhuifx(at)gmail(dot)com, pgsql-hackers <pgsql-hackers(at)lists(dot)postgresql(dot)org>
Subject: Re: Prove a NOT IN's left-hand expressions non-nullable from quals
Date: 2026-08-05 01:18:21
Message-ID: CAMbWs4_23E3uxbAZhT5hCfUG7SknPbFLC5A_BZCTgERaDHYk=w@mail.gmail.com
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

Thanks all for the reviews! Both points regarding the upper-level Var
and the planning cost make sense. Attached is an updated patch fixing
both, following the approach discussed here.

- Richard

Attachment Content-Type Size
v2-0001-Prove-a-NOT-IN-s-left-hand-expressions-non-nullab.patch application/octet-stream 43.1 KB

In response to

Browse pgsql-hackers by date

  From Date Subject
Next Message Peter Smith 2026-08-05 01:18:55 Re: Support EXCEPT for TABLES IN SCHEMA publications
Previous Message Neil Chen 2026-08-05 01:04:58 Re: [PATCH] Fix vacuum_delay_point happening inside lock