On Tue, Oct 8, 2024 at 9:02 PM Ashutosh Bapat <ashutosh.bapat....@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