On Tue, Oct 8, 2024 at 9:02 PM Ashutosh Bapat
<ashutosh.bapat.oss@gmail.com> wrote:
> But I don't see any relation specific information being
> considered while deciding whether the clause is constant false.
Isn't rel->notnullattnums relation specific information? We need this
information to decide if a Var cannot be NULL.
> So may
> be we should do this processing elsewhere and replace the original
> clause itself?
I’m not sure about this. Different versions of the same qual clause
can lead to different conclusions about whether it can be reduced to
constant-FALSE. I don't think it is possible to replace the original
clause; we need to do this processing on a version-by-version basis.
Thanks
Richard