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 <[email protected]> Sent: Wednesday, November 27, 2024 22:52 To: ro b <[email protected]> Cc: Peter Geoghegan <[email protected]>; pgsql-hackers <[email protected]> Subject: Re: Self contradictory examining on rel's baserestrictinfo On Wed, Nov 27, 2024 at 9:30 AM ro b <[email protected]> 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
