Re: Logical Implication

From: Vik Fearing <vik(at)postgresfriends(dot)org>
To: Nathan Bossart <nathandbossart(at)gmail(dot)com>
Cc: Zsolt Parragi <zsolt(dot)parragi(at)percona(dot)com>, pgsql-hackers(at)lists(dot)postgresql(dot)org, Jacob Champion <jacob(dot)champion(at)enterprisedb(dot)com>, Isaac Morland <isaac(dot)morland(at)gmail(dot)com>
Subject: Re: Logical Implication
Date: 2026-10-03 16:18:43
Message-ID: b70aba34-e799-4c09-aa3e-281a335ebf2f@postgresfriends.org
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-hackers


On 30/09/2026 17:09, Nathan Bossart wrote:
> On Tue, Sep 29, 2026 at 11:51:39PM +0200, Vik Fearing wrote:
>> On 29/09/2026 22:23, Zsolt Parragi wrote:
>>> And +1 for using %nonassoc instead
>> That's three now.  I'll prepare a new patch.
> Thanks. One other thing I'd like to explore a bit more is whether to make
> IMPLIES "round-trippable," at least to see how much more complicated it
> would be. (I'm happy to do this part BTW).
>

Attached is a new patch set that makes IMPLIES non-associative, changes
the tests, and also survives a round trip.  I put the latter in a
separate patch in case it isn't wanted after all.

I think I have incorporated everyone's feedback, but let me know if I
missed something.

--

Vik Fearing

Attachment Content-Type Size
v3-0001-doc-Rearrange-the-logical-operator-truth-tables.patch text/plain 5.2 KB
v3-0002-Add-the-IMPLIES-boolean-operator.patch text/plain 28.3 KB
v3-0003-Keep-IMPLIES-in-stored-expressions.patch text/plain 22.3 KB

In response to

Browse pgsql-hackers by date

  From Date Subject
Next Message Tom Lane 2026-10-03 16:21:45 Re: How to run test coverage on Debian 13 ?
Previous Message Pierre Forstmann 2026-10-03 16:08:17 How to run test coverage on Debian 13 ?