pingcap / pingcap/tidb

SEMI JOIN UNION ANTI JOIN returns wong results

Open
#60,262 4 comments 0 reactions 0 assignees View on GitHub
type/question
Dominant language
Go
Stars
40.5k
Forks
6.2k
PR merge metrics
PR metrics pending

Description

## Bug Report

Please answer these questions before submitting your issue. Thanks!

### 1. Minimal reproduce step (Required)
```
-- docker run -d --name tidb -p 4000:4000 pingcap/tidb:latest
-- docker run -it --network="host" mysql:latest mysql -h 127.0.0.1 -P 4000 -u root

CREATE TABLE t0(c0 INT ZEROFILL AS (-1) VIRTUAL, c1 FLOAT, PRIMARY KEY(c1));
CREATE TABLE t2 (c2 INT);
INSERT IGNORE INTO t0(c1) VALUES (0);
CREATE INDEX i0 ON t0(c0, c1);
INSERT INTO t2(c2) VALUES (0);

-- SEMI JOIN UNION ANTI JOIN returns Empty set
SELECT t2.c2 FROM t2 WHERE NOT EXISTS (SELECT 1 FROM t0 WHERE t2.c2 = t0.c0)
UNION
SELECT t2.c2 FROM t2 WHERE EXISTS (SELECT 1 FROM t0 WHERE t2.c2 = t0.c0);
Empty set, 1 warning (0.00 sec)

-- It is equivalent to the above query
SELECT t2.c2 FROM t2;
+------+
| c2 |
+------+
| 0 |
+------+
1 row in set (0.00 sec)

-- According to this query, SEMI JOIN above return wong result
SELECT * FROM t0;
+------+----+
| c0 | c1 |
+------+----+
| 0 | 0 |
+------+----+
1 row in set, 1 warning (0.00 sec)
```
### 2. What did you expect to see? (Required)
```
SELECT t2.c2 FROM t2 WHERE NOT EXISTS (SELECT 1 FROM t0 WHERE t2.c2 = t0.c0)
UNION
SELECT t2.c2 FROM t2 WHERE EXISTS (SELECT 1 FROM t0 WHERE t2.c2 = t0.c0);
+------+
| c2 |
+------+
| 0 |
+------+
1 row in set (0.00 sec)
```
### 3. What did you see instead (Required)
```
SELECT t2.c2 FROM t2 WHERE NOT EXISTS (SELECT 1 FROM t0 WHERE t2.c2 = t0.c0)
UNION
SELECT t2.c2 FROM t2 WHERE EXISTS (SELECT 1 FROM t0 WHERE t2.c2 = t0.c0);
Empty set, 1 warning (0.00 sec)
```
### 4. What is your TiDB version? (Required)

| Release Version: v7.5.1
Edition: Community
Git Commit Hash: https://github.com/pingcap/tidb/commit/7d16cc79e81bbf573124df3fd9351c26963f3e70
Git Branch: heads/refs/tags/v7.5.1
UTC Build Time: 2024-02-27 14:28:32
GoVersion: go1.21.6
Race Enabled: false
Check Table Before Drop: false
Store: unistore |

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.