Details
-
Bug
-
Status: Confirmed (View Workflow)
-
Major
-
Resolution: Unresolved
-
11.4.2
-
None
-
None
-
ubuntu 20.04
Description
CREATE TABLE t0(c0 INT); |
INSERT INTO t0(c0) VALUES(1); |
SELECT * FROM t0 WHERE 123 != (NOT (NOT 123)); |
-- Empty set |
Here is an equivalent execution. The results are inconsistent.
CREATE TABLE t0(c0 INT); |
INSERT INTO t0(c0) VALUES(1); |
 |
SELECT (NOT (NOT 123)); |
-- 1
|
SELECT * FROM t0 WHERE 123 != 1; |
--1 |