Re: Self contradictory examining on rel's baserestrictinfo - Mailing list pgsql-hackers

From ro b
Subject Re: Self contradictory examining on rel's baserestrictinfo
Date
Msg-id TYCPR01MB6093FDF02BC746CCC701172285282@TYCPR01MB6093.jpnprd01.prod.outlook.com
Whole thread Raw
In response to Re: Self contradictory examining on rel's baserestrictinfo  (Robert Haas <robertmhaas@gmail.com>)
Responses Re: Self contradictory examining on rel's baserestrictinfo
List pgsql-hackers
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@gmail.com>
Sent: Wednesday, November 27, 2024 22:52
To: ro b <bigbro_wq@hotmail.com>
Cc: Peter Geoghegan <pg@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_wq@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

pgsql-hackers by date:

Previous
From: Robert Haas
Date:
Subject: Re: Changing shared_buffers without restart
Next
From: Peter Eisentraut
Date:
Subject: Re: Don't overwrite scan key in systable_beginscan()