mirror of
https://github.com/MariaDB/server.git
synced 2025-01-23 23:34:34 +01:00
ea8aa32909
Analysis: In the test query semi-join merges the inner-most subquery into the outer subquery, and the optimization of the merged subquery finds some new index access methods. Later the IN-EXISTS transformation is applied to the unmerged subquery. Since the optimizer is instructed to not consider materialization, it reoptimizes the plan in-place to take into account the new IN-EXISTS conditions. Just before reoptimization JOIN::choose_subquery_plan resets the query plan, which also resets the access methods found during the semi-join merge. Then reoptimization discovers there are no new access methods, but it leaves the query plan in its reset state. Later semi-join crashes because it assumes these access methods are present. Solution: When reoptimizing in-place, reset the query plan only after new access methods were discovered. If no new access methods were discovered, leave the current plan as it was.
356 lines
12 KiB
Text
356 lines
12 KiB
Text
#
|
|
# LP BUG#643424 valgrind warning in choose_subquery_plan()
|
|
#
|
|
CREATE TABLE t1 (
|
|
pk int(11) NOT NULL AUTO_INCREMENT,
|
|
c1 int(11) DEFAULT NULL,
|
|
c2 int(11) DEFAULT NULL,
|
|
PRIMARY KEY (pk),
|
|
KEY c2 (c2));
|
|
INSERT INTO t1 VALUES (1,NULL,2);
|
|
INSERT INTO t1 VALUES (2,7,9);
|
|
INSERT INTO t1 VALUES (9,NULL,8);
|
|
CREATE TABLE t2 (
|
|
pk int(11) NOT NULL AUTO_INCREMENT,
|
|
c1 int(11) DEFAULT NULL,
|
|
c2 int(11) DEFAULT NULL,
|
|
PRIMARY KEY (pk),
|
|
KEY c2 (c2));
|
|
INSERT INTO t2 VALUES (1,1,7);
|
|
set @save_optimizer_switch=@@optimizer_switch;
|
|
set @@optimizer_switch='materialization=on,in_to_exists=on,semijoin=off';
|
|
SELECT pk FROM t1 WHERE (c2, c1) IN (SELECT c2, c2 FROM t2);
|
|
pk
|
|
set session optimizer_switch=@save_optimizer_switch;
|
|
drop table t1, t2;
|
|
#
|
|
# LP BUG#652727 Crash in create_ref_for_key()
|
|
#
|
|
CREATE TABLE t2 (
|
|
pk int(11) NOT NULL AUTO_INCREMENT,
|
|
c1 int(11) DEFAULT NULL,
|
|
PRIMARY KEY (pk));
|
|
INSERT INTO t2 VALUES (10,7);
|
|
INSERT INTO t2 VALUES (11,1);
|
|
INSERT INTO t2 VALUES (17,NULL);
|
|
CREATE TABLE t1 (
|
|
pk int(11) NOT NULL AUTO_INCREMENT,
|
|
c1 int(11) DEFAULT NULL,
|
|
PRIMARY KEY (pk));
|
|
INSERT INTO t1 VALUES (15,1);
|
|
INSERT INTO t1 VALUES (19,NULL);
|
|
CREATE TABLE t3 (c2 int(11) DEFAULT NULL, KEY c2 (c2));
|
|
INSERT INTO t3 VALUES (1);
|
|
set @save_optimizer_switch=@@optimizer_switch;
|
|
set @@optimizer_switch='materialization=on,in_to_exists=on,semijoin=off';
|
|
SELECT c2
|
|
FROM t3
|
|
WHERE (2, 6) IN (SELECT t1.c1, t1.c1 FROM t1 STRAIGHT_JOIN t2 ON t2.pk = t1.pk);
|
|
c2
|
|
set session optimizer_switch=@save_optimizer_switch;
|
|
drop table t1, t2, t3;
|
|
#
|
|
# LP BUG#641245 Crash in Item_equal::contains
|
|
#
|
|
CREATE TABLE t1 (
|
|
pk int(11) NOT NULL AUTO_INCREMENT,
|
|
c1 int(11) DEFAULT NULL,
|
|
c2 int(11) DEFAULT NULL,
|
|
c3 varchar(1) DEFAULT NULL,
|
|
c4 varchar(1) DEFAULT NULL,
|
|
PRIMARY KEY (pk),
|
|
KEY c2 (c2),
|
|
KEY c3 (c3,c2));
|
|
INSERT INTO t1 VALUES (10,7,8,'v','v');
|
|
INSERT INTO t1 VALUES (11,1,9,'r','r');
|
|
INSERT INTO t1 VALUES (12,5,9,'a','a');
|
|
create table t1a like t1;
|
|
insert into t1a select * from t1;
|
|
create table t1b like t1;
|
|
insert into t1b select * from t1;
|
|
CREATE TABLE t2 (
|
|
pk int(11) NOT NULL AUTO_INCREMENT,
|
|
c1 int(11) DEFAULT NULL,
|
|
c2 int(11) DEFAULT NULL,
|
|
c3 varchar(1) DEFAULT NULL,
|
|
c4 varchar(1) DEFAULT NULL,
|
|
PRIMARY KEY (pk),
|
|
KEY c2 (c2),
|
|
KEY c3 (c3,c2));
|
|
INSERT INTO t2 VALUES (1,NULL,2,'w','w');
|
|
INSERT INTO t2 VALUES (2,7,9,'m','m');
|
|
set @@optimizer_switch='materialization=off,in_to_exists=on,semijoin=off';
|
|
EXPLAIN EXTENDED SELECT pk
|
|
FROM t1
|
|
WHERE c1 IN
|
|
(SELECT t1a.c1
|
|
FROM (t1b JOIN t2 ON t2.c3 = t1b.c4) LEFT JOIN
|
|
t1a ON (t1a.c2 = t1b.pk AND 2)
|
|
WHERE t1.pk) ;
|
|
id select_type table type possible_keys key key_len ref rows filtered Extra
|
|
1 PRIMARY t1 ALL NULL NULL NULL NULL 3 100.00 Using where
|
|
2 DEPENDENT SUBQUERY t2 index c3 c3 9 NULL 2 100.00 Using index
|
|
2 DEPENDENT SUBQUERY t1b ALL NULL NULL NULL NULL 3 100.00 Using where; Using join buffer (flat, BNL join)
|
|
2 DEPENDENT SUBQUERY t1a ref c2 c2 5 test.t1b.pk 2 100.00 Using where
|
|
Warnings:
|
|
Note 1276 Field or reference 'test.t1.pk' of SELECT #2 was resolved in SELECT #1
|
|
Note 1003 select `test`.`t1`.`pk` AS `pk` from `test`.`t1` where <in_optimizer>(`test`.`t1`.`c1`,<exists>(select `test`.`t1a`.`c1` from `test`.`t1b` join `test`.`t2` left join `test`.`t1a` on((2 and (`test`.`t1a`.`c2` = `test`.`t1b`.`pk`))) where ((`test`.`t1`.`pk` <> 0) and (<cache>(`test`.`t1`.`c1`) = `test`.`t1a`.`c1`) and (`test`.`t1b`.`c4` = `test`.`t2`.`c3`))))
|
|
SELECT pk
|
|
FROM t1
|
|
WHERE c1 IN
|
|
(SELECT t1a.c1
|
|
FROM (t1b JOIN t2 ON t2.c3 = t1b.c4) LEFT JOIN
|
|
t1a ON (t1a.c2 = t1b.pk AND 2)
|
|
WHERE t1.pk) ;
|
|
pk
|
|
DROP TABLE t1, t1a, t1b, t2;
|
|
#
|
|
# LP BUG#714808 Assertion `outer_lookup_keys <= outer_record_count'
|
|
# failed with materialization
|
|
CREATE TABLE t1 ( pk int(11), PRIMARY KEY (pk)) ;
|
|
CREATE TABLE t2 ( f2 int(11)) ;
|
|
CREATE TABLE t3 ( f1 int(11), f3 varchar(1), KEY (f1)) ;
|
|
INSERT INTO t3 VALUES (7,'f');
|
|
set @@optimizer_switch='materialization=on,in_to_exists=on,semijoin=off';
|
|
EXPLAIN
|
|
SELECT t1.*
|
|
FROM t3 RIGHT JOIN t1 ON t1.pk = t3.f1
|
|
WHERE t3.f3 OR ( 3 ) IN ( SELECT f2 FROM t2 );
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY NULL NULL NULL NULL NULL NULL NULL Impossible WHERE noticed after reading const tables
|
|
2 DEPENDENT SUBQUERY NULL NULL NULL NULL NULL NULL NULL Impossible WHERE noticed after reading const tables
|
|
SELECT t1.*
|
|
FROM t3 RIGHT JOIN t1 ON t1.pk = t3.f1
|
|
WHERE t3.f3 OR ( 3 ) IN ( SELECT f2 FROM t2 );
|
|
pk
|
|
drop table t1,t2,t3;
|
|
#
|
|
# LP BUG#714999 Second crash in select_describe() with nested subqueries
|
|
#
|
|
CREATE TABLE t1 ( pk int(11)) ;
|
|
INSERT INTO t1 VALUES (29);
|
|
CREATE TABLE t2 ( f1 varchar(1)) ;
|
|
INSERT INTO t2 VALUES ('f'),('d');
|
|
CREATE TABLE t3 ( f2 varchar(1)) ;
|
|
EXPLAIN SELECT f2 FROM t3 WHERE (
|
|
SELECT MAX( pk ) FROM t1
|
|
WHERE EXISTS (
|
|
SELECT DISTINCT f1
|
|
FROM t2
|
|
)
|
|
) IS NULL ;
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY NULL NULL NULL NULL NULL NULL NULL Impossible WHERE noticed after reading const tables
|
|
2 SUBQUERY t1 system NULL NULL NULL NULL 1
|
|
3 SUBQUERY t2 ALL NULL NULL NULL NULL 2 Using temporary
|
|
drop table t1, t2, t3;
|
|
#
|
|
# LP BUG#715034 Item_sum_distinct::clear(): Assertion `tree != 0' failed
|
|
#
|
|
CREATE TABLE t2 ( f2 int(11)) ;
|
|
CREATE TABLE t1 ( f3 int(11), KEY (f3)) ;
|
|
INSERT INTO t1 VALUES (6),(4);
|
|
EXPLAIN
|
|
SELECT * FROM (SELECT * FROM t2) AS a2
|
|
WHERE (SELECT distinct SUM(distinct f3 ) FROM t1);
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY NULL NULL NULL NULL NULL NULL NULL Impossible WHERE noticed after reading const tables
|
|
3 SUBQUERY t1 index NULL f3 5 NULL 2 Using index
|
|
2 DERIVED NULL NULL NULL NULL NULL NULL NULL no matching row in const table
|
|
insert into t2 values (1),(2);
|
|
EXPLAIN
|
|
SELECT * FROM (SELECT * FROM t2) AS a2
|
|
WHERE (SELECT distinct SUM(distinct f3 ) FROM t1);
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY <derived2> ALL NULL NULL NULL NULL 2
|
|
3 SUBQUERY t1 index NULL f3 5 NULL 2 Using index
|
|
2 DERIVED t2 ALL NULL NULL NULL NULL 2
|
|
drop table t1,t2;
|
|
#
|
|
# LP BUG#715027 Assertion `!table || (!table->read_set || bitmap_is_set(table->read_set, field_index))' failed
|
|
#
|
|
CREATE TABLE t1 ( f1 int(11), PRIMARY KEY (f1)) ;
|
|
INSERT INTO t1 VALUES (28),(29);
|
|
CREATE TABLE t2 ( f2 int(11), f3 int(11), f10 varchar(1)) ;
|
|
INSERT INTO t2 VALUES (NULL,6,'f'),(4,2,'d');
|
|
EXPLAIN
|
|
SELECT alias2.f2 AS field1
|
|
FROM t1 AS alias1 JOIN ( SELECT * FROM t2 ) AS alias2 ON alias2.f3 = alias1.f1
|
|
WHERE (
|
|
SELECT t2.f2
|
|
FROM t2 JOIN t1 ON t1.f1
|
|
WHERE t1.f1 AND alias2.f10
|
|
)
|
|
ORDER BY field1 ;
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY <derived2> ALL NULL NULL NULL NULL 2 Using where; Using filesort
|
|
1 PRIMARY alias1 eq_ref PRIMARY PRIMARY 4 alias2.f3 1 Using index
|
|
3 DEPENDENT SUBQUERY t2 ALL NULL NULL NULL NULL 2
|
|
3 DEPENDENT SUBQUERY t1 index PRIMARY PRIMARY 4 NULL 2 Using where; Using index; Using join buffer (flat, BNL join)
|
|
2 DERIVED t2 ALL NULL NULL NULL NULL 2
|
|
SELECT alias2.f2 AS field1
|
|
FROM t1 AS alias1 JOIN ( SELECT * FROM t2 ) AS alias2 ON alias2.f3 = alias1.f1
|
|
WHERE (
|
|
SELECT t2.f2
|
|
FROM t2 JOIN t1 ON t1.f1
|
|
WHERE t1.f1 AND alias2.f10
|
|
)
|
|
ORDER BY field1 ;
|
|
field1
|
|
drop table t1,t2;
|
|
#
|
|
# LP BUG#718578 Yet another Assertion `!table ||
|
|
# (!table->read_set || bitmap_is_set(table->read_set, field_index))'
|
|
CREATE TABLE t1 ( f1 int(11), f2 int(11), f3 int(11)) ;
|
|
INSERT IGNORE INTO t1 VALUES (28,5,6),(29,NULL,4);
|
|
CREATE TABLE t2 ( f10 varchar(1) );
|
|
INSERT IGNORE INTO t2 VALUES (NULL);
|
|
SELECT f1 AS field1
|
|
FROM ( SELECT * FROM t1 ) AS alias1
|
|
WHERE (SELECT t1.f1
|
|
FROM t2 JOIN t1 ON t1.f2
|
|
WHERE alias1.f3 AND t1.f3) AND f2
|
|
ORDER BY field1;
|
|
field1
|
|
28
|
|
drop table t1,t2;
|
|
#
|
|
# LP BUG#601124 Bug in eliminate_item_equal
|
|
# leads to crash in Item_func::Item_func
|
|
CREATE TABLE t1 ( f1 int(11), f3 varchar(1)) ;
|
|
INSERT INTO t1 VALUES (5,'m'),(NULL,'c');
|
|
CREATE TABLE t2 ( f2 int(11), f3 varchar(1)) ;
|
|
INSERT INTO t2 VALUES (6,'f'),(2,'d');
|
|
CREATE TABLE t3 ( f2 int(11), f3 varchar(1)) ;
|
|
INSERT INTO t3 VALUES (6,'f'),(2,'d');
|
|
SELECT * FROM t3
|
|
WHERE ( f2 ) IN (SELECT t1.f1
|
|
FROM t1 STRAIGHT_JOIN t2 ON t2.f3 = t1.f3
|
|
WHERE t2.f3 = 'c');
|
|
f2 f3
|
|
drop table t1,t2,t3;
|
|
#
|
|
# LP BUG#718593 Crash in substitute_for_best_equal_field -> eliminate_item_equal ->
|
|
# Item_field::find_item_equal -> Item_equal::contains
|
|
#
|
|
set @save_optimizer_switch=@@optimizer_switch;
|
|
SET @@optimizer_switch = 'semijoin=off';
|
|
CREATE TABLE t1 ( f3 int(11), f10 varchar(1), f11 varchar(1)) ;
|
|
INSERT IGNORE INTO t1 VALUES (6,'f','f'),(2,'d','d');
|
|
CREATE TABLE t2 ( f12 int(11), f13 int(11)) ;
|
|
insert into t2 values (1,2), (3,4);
|
|
EXPLAIN
|
|
SELECT * FROM t2
|
|
WHERE ( f12 ) IN (
|
|
SELECT alias2.f3
|
|
FROM t1 AS alias1 JOIN t1 AS alias2 ON alias2.f10 = alias1.f11
|
|
WHERE alias1.f11 OR alias1.f3 = 50 AND alias1.f10
|
|
);
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY t2 ALL NULL NULL NULL NULL 2 Using where
|
|
2 SUBQUERY alias1 ALL NULL NULL NULL NULL 2 Using where
|
|
2 SUBQUERY alias2 ALL NULL NULL NULL NULL 2 Using where; Using join buffer (flat, BNL join)
|
|
SELECT * FROM t2
|
|
WHERE ( f12 ) IN (
|
|
SELECT alias2.f3
|
|
FROM t1 AS alias1 JOIN t1 AS alias2 ON alias2.f10 = alias1.f11
|
|
WHERE alias1.f11 OR alias1.f3 = 50 AND alias1.f10
|
|
);
|
|
f12 f13
|
|
EXPLAIN
|
|
SELECT * FROM t2
|
|
WHERE ( f12 ) IN (
|
|
SELECT alias2.f3
|
|
FROM t1 AS alias1, t1 AS alias2
|
|
WHERE (alias2.f10 = alias1.f11) AND (alias1.f11 OR alias1.f3 = 50 AND alias1.f10));
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY t2 ALL NULL NULL NULL NULL 2 Using where
|
|
2 SUBQUERY alias1 ALL NULL NULL NULL NULL 2 Using where
|
|
2 SUBQUERY alias2 ALL NULL NULL NULL NULL 2 Using where; Using join buffer (flat, BNL join)
|
|
SELECT * FROM t2
|
|
WHERE ( f12 ) IN (
|
|
SELECT alias2.f3
|
|
FROM t1 AS alias1, t1 AS alias2
|
|
WHERE (alias2.f10 = alias1.f11) AND (alias1.f11 OR alias1.f3 = 50 AND alias1.f10));
|
|
f12 f13
|
|
set @@optimizer_switch=@save_optimizer_switch;
|
|
drop table t1, t2;
|
|
#
|
|
# MWL#89: test introduced after Sergey Petrunia's review - test that
|
|
# keyparts wihtout index prefix are used with the IN-EXISTS strategy.
|
|
#
|
|
create table t1 (c1 int);
|
|
insert into t1 values (1), (2), (3);
|
|
create table t2 (kp1 int, kp2 int, c2 int, filler char(100));
|
|
insert into t2 values (0,0,0,'filler'),(0,1,1,'filler'),(0,2,2,'filler'),(0,3,3,'filler');
|
|
create index key1 on t2 (kp1, kp2);
|
|
create index key2 on t2 (kp1);
|
|
create index key3 on t2 (kp2);
|
|
set session optimizer_switch='default';
|
|
analyze table t2;
|
|
Table Op Msg_type Msg_text
|
|
test.t2 analyze status OK
|
|
explain
|
|
select c1 from t1 where c1 in (select kp1 from t2 where kp2 = 10 and c2 = 4) or c1 > 7;
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY t1 ALL NULL NULL NULL NULL 3 Using where
|
|
2 DEPENDENT SUBQUERY t2 index_subquery key1,key2,key3 key1 10 func,const 1 Using where
|
|
select c1 from t1 where c1 in (select kp1 from t2 where kp2 = 10 and c2 = 4) or c1 > 7;
|
|
c1
|
|
drop table t1, t2;
|
|
#
|
|
# LP BUG#800679: Assertion `outer_join->table_count > 0' failed in
|
|
# JOIN::choose_subquery_plan() with materialization=on,semijoin=off
|
|
#
|
|
CREATE TABLE t1 ( f1 int);
|
|
insert into t1 values (1),(2);
|
|
CREATE TABLE t2 ( f1 int);
|
|
insert into t2 values (1),(2);
|
|
SET @@optimizer_switch='materialization=on,semijoin=off';
|
|
EXPLAIN
|
|
SELECT * FROM t1
|
|
WHERE (f1) IN (SELECT f1 FROM t2)
|
|
LIMIT 0;
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY NULL NULL NULL NULL NULL NULL NULL Impossible WHERE
|
|
2 DEPENDENT SUBQUERY t2 ALL NULL NULL NULL NULL 2 Using where
|
|
SELECT * FROM t1
|
|
WHERE (f1) IN (SELECT f1 FROM t2)
|
|
LIMIT 0;
|
|
f1
|
|
set @@optimizer_switch='default';
|
|
drop table t1, t2;
|
|
#
|
|
# LP BUG#834492: Crash in fix_semijoin_strategies_for_picked_join_order
|
|
# with nested subqueries and LooseScan=ON
|
|
#
|
|
CREATE TABLE t3 (b int) ;
|
|
INSERT INTO t3 VALUES (0),(0);
|
|
CREATE TABLE t4 (a int, b int, c int, d int, PRIMARY KEY (a)) ;
|
|
INSERT INTO t4 VALUES (28,0,0,0),(29,3,0,0);
|
|
CREATE TABLE t5 (a int, b int, c int, d int, KEY (c,b)) ;
|
|
INSERT INTO t5 VALUES (28,0,0,0),(29,3,0,0);
|
|
SET @@optimizer_switch='semijoin=ON,loosescan=ON,firstmatch=OFF,materialization=OFF';
|
|
EXPLAIN SELECT *
|
|
FROM t3
|
|
WHERE t3.b > ALL (
|
|
SELECT c
|
|
FROM t4
|
|
WHERE t4.a >= t3.b
|
|
AND a = SOME (SELECT b FROM t5));
|
|
id select_type table type possible_keys key key_len ref rows Extra
|
|
1 PRIMARY t3 ALL NULL NULL NULL NULL 2 Using where
|
|
2 DEPENDENT SUBQUERY t5 index c c 10 NULL 2 Using where; Using index; LooseScan
|
|
2 DEPENDENT SUBQUERY t4 eq_ref PRIMARY PRIMARY 4 test.t5.b 1 Using where
|
|
SELECT *
|
|
FROM t3
|
|
WHERE t3.b > ALL (
|
|
SELECT c
|
|
FROM t4
|
|
WHERE t4.a >= t3.b
|
|
AND a = SOME (SELECT b FROM t5));
|
|
b
|
|
0
|
|
0
|
|
set @@optimizer_switch='default';
|
|
drop table t3, t4, t5;
|