public inbox for [email protected]
help / color / mirror / Atom feedFrom: ro b <[email protected]>
To: Robert Haas <[email protected]>
Cc: Peter Geoghegan <[email protected]>
Cc: pgsql-hackers <[email protected]>
Subject: Re: Self contradictory examining on rel's baserestrictinfo
Date: Wed, 27 Nov 2024 15:28:17 +0000
Message-ID: <TYCPR01MB6093FDF02BC746CCC701172285282@TYCPR01MB6093.jpnprd01.prod.outlook.com> (raw)
In-Reply-To: <CA+TgmoayPrAuY+G-=NGG9qWx38bZVWkgnVNwH5QD+SiTvu=8Sw@mail.gmail.com>
References: <TYCPR01MB6093E2A06F3F8CF8DF17B5CE852E2@TYCPR01MB6093.jpnprd01.prod.outlook.com>
<CA+TgmoZqiCwHbZczXXLjucfuHi=7EahSyzEj5yrqYKMQ0QOL9Q@mail.gmail.com>
<TYCPR01MB60939B18B375322DC32559FE85282@TYCPR01MB6093.jpnprd01.prod.outlook.com>
<CA+TgmoayPrAuY+G-=NGG9qWx38bZVWkgnVNwH5QD+SiTvu=8Sw@mail.gmail.com>
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
view thread (7+ messages) latest in thread
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: [email protected]
Cc: [email protected], [email protected], [email protected], [email protected]
Subject: Re: Self contradictory examining on rel's baserestrictinfo
In-Reply-To: <TYCPR01MB6093FDF02BC746CCC701172285282@TYCPR01MB6093.jpnprd01.prod.outlook.com>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox