Re: Logical Implication - Mailing list pgsql-hackers

From Zsolt Parragi
Subject Re: Logical Implication
Date
Msg-id CAN4CZFOjS+POs_p3PFM7HW43DgVHwJyviR601W-Fdaz-N7VUuQ@mail.gmail.com
Whole thread
In response to Re: Logical Implication  (Vik Fearing <vik@postgresfriends.org>)
List pgsql-hackers
> Sorry, I don't understand what you mean by this.

I meant that the current test case would result in true in both
ordering - so in this sense, it's not the best testcase:

SELECT (istrue IMPLIES isnul) IS NULL FROM booltbl4;
SELECT istrue IMPLIES (isnul IS NULL) FROM booltbl4;

are both true

If you change it to

SELECT isfalse IMPLIES isnul IS NULL FROM booltbl4;

Then those would have different results, making it a better testcase.



pgsql-hackers by date:

Previous
From: Zsolt Parragi
Date:
Subject: Re: BUG #19686: Rolling back SET TABLESPACE
Next
From: Chao Li
Date:
Subject: Re: pg_resetwal: Fix handling of commit timestamp XIDs