Re: Inconsistent RestrictInfo serial numbers

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