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 <robertmh...@gmail.com> Sent: Wednesday, November 27, 2024 22:52 To: ro b <bigbro...@hotmail.com> Cc: Peter Geoghegan <p...@bowt.ie>; pgsql-hackers <pgsql-hackers@lists.postgresql.org> Subject: Re: Self contradictory examining on rel's baserestrictinfo On Wed, Nov 27, 2024 at 9:30 AM ro b <bigbro...@hotmail.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