Re: Inconsistent RestrictInfo serial numbers

On Tue, Oct 8, 2024 at 9:02 PM Ashutosh Bapat
<ashutosh(dot)bapat(dot)oss(at)gmail(dot)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