2
drop table if exists t0, t1, t2, t3, t4;
6
# 1. Subquery with GROUP/HAVING
8
create table t1 (oref int, grp int, ie int) ;
9
insert into t1 (oref, grp, ie) values
20
# select max(ie) from t1 where oref=PARAM group by grp
22
# PARAM subquery result
23
# 1 -> {(1), (NULL)} matching + NULL
24
# 2 -> {(3)} non-matching
25
# 3 -> {(3), (NULL)} non-matching + NULL
28
create table t2 (oref int, a int);
36
# true, false, null, false, null
37
select a, oref, a in (select max(ie)
38
from t1 where oref=t2.oref group by grp) Z from t2;
40
# This must have a trigcond
42
select a, oref, a in (select max(ie)
43
from t1 where oref=t2.oref group by grp) Z from t2;
45
# This must not have a trigcond:
47
select a, oref from t2
48
where a in (select max(ie) from t1 where oref=t2.oref group by grp);
49
select a, oref, a in (
50
select max(ie) from t1 where oref=t2.oref group by grp union
51
select max(ie) from t1 where oref=t2.oref group by grp
54
# Non-correlated subquery, 2 NULL evaluations
55
create table t3 (a int);
56
insert into t3 values (NULL), (NULL);
58
select a in (select max(ie) from t1 where oref=4 group by grp) from t3;
59
show status like 'Handler_read_rnd_next';
60
select ' ^ This must show 11' Z;
62
# This must show trigcond:
63
explain extended select a in (select max(ie) from t1 where oref=4 group by grp) from t3;
65
drop table t1, t2, t3;
68
# 2. Subquery handled with 'index_subquery':
70
create table t1 (a int, oref int, key(a));
78
create table t2 (a int, oref int);
79
insert into t2 values (1, 1), (2,2), (NULL, 3), (NULL, 4);
81
select oref, a, a in (select a from t1 where oref=t2.oref) Z from t2;
83
# The next explain shows "using index" but that is just incorrect display
84
# (there is a bug filed about this).
86
select oref, a, a in (select a from t1 where oref=t2.oref) Z from t2;
89
select oref, a from t2 where a in (select a from t1 where oref=t2.oref);
90
# This will only show access to t2:
91
show status like '%Handler_read_rnd_next';
93
# Check that repeated NULL-scans are not cached (subq. is not correlated):
95
insert into t2 values (NULL, 0),(NULL, 0), (NULL, 0), (NULL, 0);
98
select oref, a, a in (select a from t1 where oref=t2.oref) Z from t2;
99
show status like '%Handler_read%';
100
select 'No key lookups, seq reads: 29= 5 reads from t2 + 4 * 6 reads from t1.' Z;
105
# 3. Subquery handled with 'unique_index_subquery':
107
create table t1 (a int, b int, primary key (a));
108
insert into t1 values (1,1), (3,1),(100,1);
110
create table t2 (a int, b int);
111
insert into t2 values (1,1),(2,1),(NULL,1),(NULL,0);
113
select a,b, a in (select a from t1 where t1.b = t2.b) Z from t2 ;
118
# 4. Subquery that is a join, with ref access
120
create table t1 (a int, b int, key(a));
121
insert into t1 values
122
(0,0),(1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7),(8,8),(9,9);
124
create table t2 like t1;
125
insert into t2 select * from t1;
128
create table t3 (a int, oref int);
129
insert into t3 values (1, 1), (NULL,1), (NULL,0);
131
t3.a in (select t1.a from t1, t2 where t1.b=t2.a and t2.b=t3.oref) Z
134
# This must have trigcond in WHERE and HAVING:
137
t3.a in (select t1.a from t1, t2 where t1.b=t2.a and t2.b=t3.oref) Z
140
drop table t1, t2, t3;
144
# BUG#24085: Wrong query result for "NULL IN (SELECT ... UNION SELECT ...)"
147
# case 1: NULL IN (SELECT not_null_val FROM ...) w/o HAVING/GROUP-BY/etc
148
create table t1 (a int NOT NULL, b int NOT NULL, key(a));
149
insert into t1 values
150
(0,0),(1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7),(8,8),(9,9);
152
create table t2 like t1;
153
insert into t2 select * from t1;
156
create table t3 (a int, oref int);
157
insert into t3 values (1, 1), (NULL,1), (NULL,0);
159
t3.a in (select t1.a from t1, t2 where t1.b=t2.a and t2.b=t3.oref) Z
162
--echo This must show a trig_cond:
165
t3.a in (select t1.a from t1, t2 where t1.b=t2.a and t2.b=t3.oref) Z
170
# case 2: NULL IN (SELECT not_null_val FROM) where SELECT has GROUP BY
171
create table t1 (oref int, grp int);
172
insert into t1 (oref, grp) values
177
# select count(*) from t1 group by grp having grp=PARAM
179
# PARAM subuqery result
181
# 2 -> {} - empty set
182
create table t2 (oref int, a int);
183
insert into t2 values
188
a in (select count(*) from t1 group by grp having grp=t2.oref) Z from t2;
190
--echo This must show a trig_cond:
193
a in (select count(*) from t1 group by grp having grp=t2.oref) Z from t2;
197
create table t1 (a int, b int, primary key (a));
198
insert into t1 values (1,1), (3,1),(100,1);
199
create table t2 (a int, b int);
200
insert into t2 values (1,1),(2,1),(NULL,1),(NULL,0);
202
select a,b, a in (select a from t1 where t1.b = t2.b union select a from
203
t1 where t1.b = t2.b) Z from t2 ;
204
select a,b, a in (select a from t1 where t1.b = t2.b) Z from t2 ;
209
# BUG#24127: Incorrect results of row-based subqueries with NULLs on the left side.
211
create table t3 (a int);
212
insert into t3 values (0),(1),(2),(3),(4),(5),(6),(7),(8),(9);
213
create table t2 (a int, b int, oref int);
214
insert into t2 values (NULL,1, 100), (NULL,2, 100);
216
create table t1 (a int, b int, c int, key(a,b));
217
insert into t1 select 2*A, 2*A, 100 from t3;
219
# First test index subquery engine
220
explain extended select a,b, oref, (a,b) in (select a,b from t1 where c=t2.oref) Z from t2;
221
select a,b, oref, (a,b) in (select a,b from t1 where c=t2.oref) Z from t2;
223
# Then check that we do turn off 'ref' scans in the subquery
224
create table t4 (x int);
225
insert into t4 select A.a + 10*B.a from t1 A, t1 B;
228
(a,b) in (select a,b from t1,t4 where c=t2.oref) Z
231
(a,b) in (select a,b from t1,t4 where c=t2.oref) Z
234
drop table t1,t2,t3,t4;
236
# More tests for tricky multi-column cases, where some of pushed-down
237
# equalities are used for index lookups and some arent.
238
create table t1 (oref char(4), grp int, ie1 int, ie2 int);
239
insert into t1 (oref, grp, ie1, ie2) values
252
create table t2 (oref char(4), a int, b int);
253
insert into t2 values
261
alter table t1 add index idx(ie1,ie2);
264
select oref, a, b, (a,b) in (select ie1,ie2 from t1 where oref=t2.oref) Z from t2 where a=3 and b is null ;
265
insert into t2 values ('new1', 10,10);
266
insert into t1 values ('new1', 1234, 10, NULL);
267
# new1, 10, 10, NULL,
268
select oref, a, b, (a,b) in (select ie1,ie2 from t1 where oref=t2.oref) Z from t2 where a=10 and b=10;
270
select oref, a, b, (a,b) in (select ie1,ie2 from t1 where oref=t2.oref) Z from t2 where a=10 and b=10;
273
# Now test different column types:
274
create table t1 (oref char(4), grp int, ie int);
275
insert into t1 (oref, grp, ie) values
291
create table t2 (oref char(4), a int);
292
insert into t2 values
301
select oref, a, a in (select ie from t1 where oref=t2.oref) Z from t2;
303
select oref, a from t2 where a in (select ie from t1 where oref=t2.oref);
305
select oref, a from t2 where a not in (select ie from t1 where oref=t2.oref);
308
select oref, a, a in (select min(ie) from t1 where oref=t2.oref group by grp) Z from t2;
310
select oref, a from t2 where
311
a in (select min(ie) from t1 where oref=t2.oref group by grp);
313
select oref, a from t2 where
314
a not in (select min(ie) from t1 where oref=t2.oref group by grp);
317
update t1 set ie=3 where oref='ff' and ie=1;
319
select oref, a, a in (select min(ie) from t1 where oref=t2.oref group by
323
select oref, a from t2 where a in (select min(ie) from t1 where
324
oref=t2.oref group by grp);
326
select oref, a from t2 where a not in (select min(ie) from t1 where
327
oref=t2.oref group by grp);
329
select oref, a, a in (select min(ie) from t1 where oref=t2.oref group by
330
grp having min(ie) > 1) Z from t2;
332
select oref, a from t2 where a in (select min(ie) from t1 where
333
oref=t2.oref group by grp having min(ie) > 1);
335
select oref, a from t2 where a not in (select min(ie) from t1 where
336
oref=t2.oref group by grp having min(ie) > 1);
339
alter table t1 add index idx(ie);
341
explain select oref, a, a in (select ie from t1 where oref=t2.oref) Z from t2;
343
select oref, a, a in (select ie from t1 where oref=t2.oref) Z from t2;
345
select oref, a from t2 where a in (select ie from t1 where oref=t2.oref);
347
select oref, a from t2 where a not in (select ie from t1 where oref=t2.oref);
350
alter table t1 drop index idx;
351
alter table t1 add index idx(oref,ie);
353
explain select oref, a, a in (select ie from t1 where oref=t2.oref) Z from t2;
355
select oref, a, a in (select ie from t1 where oref=t2.oref) Z from t2;
357
select oref, a from t2 where a in (select ie from t1 where oref=t2.oref);
359
select oref, a from t2 where a not in (select ie from t1 where oref=t2.oref);
363
a in (select min(ie) from t1 where oref=t2.oref
364
group by grp having min(ie) > 1) Z
368
a in (select min(ie) from t1 where oref=t2.oref
369
group by grp having min(ie) > 1) Z
372
select oref, a from t2 where a in (select min(ie) from t1 where oref=t2.oref
373
group by grp having min(ie) > 1);
375
select oref, a from t2 where a not in (select min(ie) from t1 where oref=t2.oref
376
group by grp having min(ie) > 1);
380
create table t1 (oref char(4), grp int, ie1 int, ie2 int);
381
insert into t1 (oref, grp, ie1, ie2) values
397
create table t2 (oref char(4), a int, b int);
398
insert into t2 values
407
select oref, a, b, (a,b) in (select ie1,ie2 from t1 where oref=t2.oref) Z from t2;
409
select oref, a, b from t2 where (a,b) in (select ie1,ie2 from t1 where oref=t2.oref);
411
select oref, a, b from t2 where (a,b) not in (select ie1,ie2 from t1 where oref=t2.oref);
414
(a,b) in (select min(ie1),max(ie2) from t1
415
where oref=t2.oref group by grp) Z
418
select oref, a, b from t2 where
419
(a,b) in (select min(ie1), max(ie2) from t1 where oref=t2.oref group by grp);
421
select oref, a, b from t2 where
422
(a,b) not in (select min(ie1), max(ie2) from t1 where oref=t2.oref group by grp);
424
alter table t1 add index idx(ie1,ie2);
426
explain select oref, a, b, (a,b) in (select ie1,ie2 from t1 where oref=t2.oref) Z from t2;
428
select oref, a, b, (a,b) in (select ie1,ie2 from t1 where oref=t2.oref) Z from t2;
430
select oref, a, b from t2 where (a,b) in (select ie1,ie2 from t1 where oref=t2.oref);
432
select oref, a, b from t2 where (a,b) not in (select ie1,ie2 from t1 where oref=t2.oref);
435
select oref, a, b, (a,b) in (select ie1,ie2 from t1 where oref=t2.oref) Z from t2;
439
create table t1 (oref char(4), grp int, ie int primary key);
440
insert into t1 (oref, grp, ie) values
450
create table t2 (oref char(4), a int);
451
insert into t2 values
460
explain select oref, a, a in (select ie from t1 where oref=t2.oref) Z from t2;
462
select oref, a, a in (select ie from t1 where oref=t2.oref) Z from t2;
464
select oref, a from t2 where a in (select ie from t1 where oref=t2.oref);
466
select oref, a from t2 where a not in (select ie from t1 where oref=t2.oref);
469
select oref, a, a in (select min(ie) from t1 where oref=t2.oref group by grp) Z from t2;
471
select oref, a, a in (select min(ie) from t1 where oref=t2.oref group by grp) Z from t2;
476
# BUG#24420: row-based IN suqueries with aggregation when the left operand
477
# of the subquery predicate may contain NULL values
480
create table t1 (a int, b int);
481
insert into t1 values (0,0), (2,2), (3,3);
482
create table t2 (a int, b int);
483
insert into t2 values (1,1), (3,3);
485
select a, b, (a,b) in (select a, min(b) from t2 group by a) Z from t1;
487
insert into t2 values (NULL,4);
488
select a, b, (a,b) in (select a, min(b) from t2 group by a) Z from t1;
493
# Bug #24484: Aggregate function used in column list subquery gives erroneous
496
CREATE TABLE t1 (a int, b INT, c CHAR(10) NOT NULL, PRIMARY KEY (a, b));
497
INSERT INTO t1 VALUES (1,1,'a'), (1,2,'b'), (1,3,'c'), (1,4,'d'), (1,5,'e'),
498
(2,1,'f'), (2,2,'g'), (2,3,'h'), (3,4,'i'),(3,3,'j'), (3,2,'k'), (3,1,'l'),
500
CREATE TABLE t2 (a int, b INT, c CHAR(10) NOT NULL, PRIMARY KEY (a, b));
501
INSERT INTO t2 SELECT * FROM t1;
503
# Gives error, but should work since it is (a, b) is the PK so only one
504
# given match possible
505
SELECT a, MAX(b), (SELECT t.c FROM t1 AS t WHERE t1.a=t.a AND t.b=MAX(t1.b))
506
as test FROM t1 GROUP BY a;
507
SELECT * FROM t1 GROUP by t1.a
508
HAVING (MAX(t1.b) > (SELECT MAX(t2.b) FROM t2 WHERE t2.c < t1.c
509
HAVING MAX(t2.b+t1.a) < 10));
511
SELECT a,b,c FROM t1 WHERE b in (9,3,4) ORDER BY b,c;
514
(SELECT COUNT(DISTINCT t.c) FROM t1 AS t WHERE t1.a=t.a AND t.b=MAX(t1.b)
517
(SELECT t.b FROM t1 AS t WHERE t1.a=t.a AND t.b=MAX(t1.b) LIMIT 1)
519
(SELECT t.c FROM t1 AS t WHERE t1.a=t.a AND t.b=MAX(t1.b) LIMIT 1)
521
(SELECT t.c FROM t1 AS t WHERE t1.a=t.a AND t.b=MAX(t1.b) ORDER BY t.c LIMIT 1)
526
(SELECT t.c FROM t1 AS t WHERE t1.a=t.a AND t.b=MAX(t1.b) LIMIT 1) as test
534
# Bug #27870: crash of an equijoin query with WHERE condition containing
535
# a subquery predicate of the form <join attr> NOT IN (SELECT ...)
538
CREATE TABLE t1 (a int);
539
CREATE TABLE t2 (b int, PRIMARY KEY(b));
540
INSERT INTO t1 VALUES (1), (NULL), (4);
541
INSERT INTO t2 VALUES (3), (1),(2), (5), (4), (7), (6);
544
SELECT a FROM t1, t2 WHERE a=b AND (b NOT IN (SELECT a FROM t1));
545
SELECT a FROM t1, t2 WHERE a=b AND (b NOT IN (SELECT a FROM t1));
546
SELECT a FROM t1, t2 WHERE a=b AND (b NOT IN (SELECT a FROM t1 WHERE a > 4));
551
# Bug #28375: crash for NOT IN subquery predicate when left operand becomes NULL
554
CREATE TABLE t1 (id int);
555
CREATE TABLE t2 (id int PRIMARY KEY);
556
CREATE TABLE t3 (id int PRIMARY KEY, name varchar(10));
557
INSERT INTO t1 VALUES (2), (NULL), (3), (1);
558
INSERT INTO t2 VALUES (234), (345), (457);
559
INSERT INTO t3 VALUES (222,'bbb'), (333,'ccc'), (111,'aaa');
563
WHERE t1.id NOT IN (SELECT t2.id FROM t2,t3
564
WHERE t3.name='xxx' AND t2.id=t3.id);
566
WHERE t1.id NOT IN (SELECT t2.id FROM t2,t3
567
WHERE t3.name='xxx' AND t2.id=t3.id);
569
SELECT (t1.id IN (SELECT t2.id FROM t2,t3
570
WHERE t3.name='xxx' AND t2.id=t3.id)) AS x
576
# Bug #22855: Optimizer doesn't rewrite NOT IN subselects to a correlated
579
CREATE TABLE t1 (a INT NOT NULL);
580
INSERT INTO t1 VALUES (1),(-1), (65),(66);
582
CREATE TABLE t2 (a INT UNSIGNED NOT NULL PRIMARY KEY);
583
INSERT INTO t2 VALUES (65),(66);
585
SELECT a FROM t1 WHERE a NOT IN (65,66);
586
SELECT a FROM t1 WHERE a NOT IN (SELECT a FROM t2);
587
EXPLAIN SELECT a FROM t1 WHERE a NOT IN (SELECT a FROM t2);
592
# Bug #34763: item_subselect.cc:1235:Item_in_subselect::row_value_transformer:
593
# Assertion failed, unexpected error message:
594
# ERROR 1247 (42S22): Reference '<list ref>' not supported (forward
595
# reference in item list)
597
CREATE TABLE t1 (a INT);
598
INSERT INTO t1 VALUES(1);
600
CREATE TABLE t2 (placeholder CHAR(11));
601
INSERT INTO t2 VALUES("placeholder");
603
SELECT ROW(1, 2) IN (SELECT t1.a, 2) FROM t1 GROUP BY t1.a;
604
SELECT ROW(1, 2) IN (SELECT t1.a, 2 FROM t2) FROM t1 GROUP BY t1.a;
612
create table t1 (a int, b decimal(13, 3));
613
insert into t1 values (1, 0.123);
614
select a, (select max(b) from t1) into outfile "subselect.out.file.1" from t1;
616
load data infile "subselect.out.file.1" into table t1;
620
--echo End of 5.0 tests