Re: Self contradictory examining on rel's baserestrictinfo

I mean why can't draw the conclusions
like the case a>1 and a>2 which can be simplified
to a>2 if the operator > is btree opclass.

Best regards

________________________________
From: Robert Haas <robertmhaas(at)gmail(dot)com>
Sent: Wednesday, November 27, 2024 22:52
To: ro b <bigbro_wq(at)hotmail(dot)com>
Cc: Peter Geoghegan <pg(at)bowt(dot)ie>; pgsql-hackers <pgsql-hackers(at)lists(dot)postgresql(dot)org>
Subject: Re: Self contradictory examining on rel's baserestrictinfo

On Wed, Nov 27, 2024 at 9:30 AM ro b <bigbro_wq(at)hotmail(dot)com> wrote:
> The path i committed not just test contradictory but also do the
> simplification. The simplification is limited in the BTREE.
> Could you interpret the case in a little more detail.

I am not able to understand this paragraph.

Regretfully,

--
Robert Haas
EDB: http://www.enterprisedb.com