mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 21:42:35 +01:00
bd62c82380
Due to this bug in the function generate_derived_keys_for_table some key definitions to access materialized derived tables or materialized views were constructed with invalid info for their key parts. This could make the server crash when it optimized queries using materialized derived tables or materialized views.
345 lines
11 KiB
Text
345 lines
11 KiB
Text
--disable_warnings
|
|
drop table if exists t1,t2;
|
|
drop view if exists v1,v2,v3,v4;
|
|
--enable_warnings
|
|
create table t1(f1 int, f11 int);
|
|
create table t2(f2 int, f22 int);
|
|
insert into t1 values(1,1),(2,2),(3,3),(5,5),(9,9),(7,7);
|
|
insert into t1 values(17,17),(13,13),(11,11),(15,15),(19,19);
|
|
insert into t2 values(1,1),(3,3),(2,2),(4,4),(8,8),(6,6);
|
|
insert into t2 values(12,12),(14,14),(10,10),(18,18),(16,16);
|
|
|
|
--echo Tests:
|
|
|
|
--echo for merged derived tables
|
|
--echo explain for simple derived
|
|
explain select * from (select * from t1) tt;
|
|
select * from (select * from t1) tt;
|
|
--echo explain for multitable derived
|
|
explain extended select * from (select * from t1 join t2 on f1=f2) tt;
|
|
select * from (select * from t1 join t2 on f1=f2) tt;
|
|
--echo explain for derived with where
|
|
explain extended
|
|
select * from (select * from t1 where f1 in (2,3)) tt where f11=2;
|
|
select * from (select * from t1 where f1 in (2,3)) tt where f11=2;
|
|
--echo join of derived
|
|
explain extended
|
|
select * from (select * from t1 where f1 in (2,3)) tt join
|
|
(select * from t1 where f1 in (1,2)) aa on tt.f1=aa.f1;
|
|
select * from (select * from t1 where f1 in (2,3)) tt join
|
|
(select * from t1 where f1 in (1,2)) aa on tt.f1=aa.f1;
|
|
|
|
flush status;
|
|
explain extended
|
|
select * from (select * from t1 where f1 in (2,3)) tt where f11=2;
|
|
show status like 'Handler_read%';
|
|
flush status;
|
|
select * from (select * from t1 where f1 in (2,3)) tt where f11=2;
|
|
show status like 'Handler_read%';
|
|
|
|
--echo for merged views
|
|
create view v1 as select * from t1;
|
|
create view v2 as select * from t1 join t2 on f1=f2;
|
|
create view v3 as select * from t1 where f1 in (2,3);
|
|
create view v4 as select * from t2 where f2 in (2,3);
|
|
--echo explain for simple views
|
|
explain extended select * from v1;
|
|
select * from v1;
|
|
--echo explain for multitable views
|
|
explain extended select * from v2;
|
|
select * from v2;
|
|
--echo explain for views with where
|
|
explain extended select * from v3 where f11 in (1,3);
|
|
select * from v3 where f11 in (1,3);
|
|
--echo explain for joined views
|
|
explain extended
|
|
select * from v3 join v4 on f1=f2;
|
|
select * from v3 join v4 on f1=f2;
|
|
|
|
flush status;
|
|
explain extended select * from v4 where f2 in (1,3);
|
|
show status like 'Handler_read%';
|
|
flush status;
|
|
select * from v4 where f2 in (1,3);
|
|
show status like 'Handler_read%';
|
|
|
|
--echo for materialized derived tables
|
|
--echo explain for simple derived
|
|
explain extended select * from (select * from t1 group by f1) tt;
|
|
select * from (select * from t1 having f1=f1) tt;
|
|
--echo explain showing created indexes
|
|
explain extended
|
|
select * from t1 join (select * from t2 group by f2) tt on f1=f2;
|
|
select * from t1 join (select * from t2 group by f2) tt on f1=f2;
|
|
--echo explain showing late materialization
|
|
flush status;
|
|
explain select * from t1 join (select * from t2 group by f2) tt on f1=f2;
|
|
show status like 'Handler_read%';
|
|
flush status;
|
|
select * from t1 join (select * from t2 group by f2) tt on f1=f2;
|
|
show status like 'Handler_read%';
|
|
|
|
--echo for materialized views
|
|
drop view v1,v2,v3;
|
|
create view v1 as select * from t1 group by f1;
|
|
create view v2 as select * from t2 group by f2;
|
|
create view v3 as select t1.f1,t1.f11 from t1 join t1 as t11 where t1.f1=t11.f1
|
|
having t1.f1<100;
|
|
--echo explain for simple derived
|
|
explain extended select * from v1;
|
|
select * from v1;
|
|
--echo explain showing created indexes
|
|
explain extended select * from t1 join v2 on f1=f2;
|
|
select * from t1 join v2 on f1=f2;
|
|
explain extended
|
|
select * from t1,v3 as v31,v3 where t1.f1=v31.f1 and t1.f1=v3.f1;
|
|
flush status;
|
|
select * from t1,v3 as v31,v3 where t1.f1=v31.f1 and t1.f1=v3.f1;
|
|
show status like 'Handler_read%';
|
|
--echo explain showing late materialization
|
|
flush status;
|
|
explain select * from t1 join v2 on f1=f2;
|
|
show status like 'Handler_read%';
|
|
flush status;
|
|
select * from t1 join v2 on f1=f2;
|
|
show status like 'Handler_read%';
|
|
|
|
explain extended select * from v1 join v4 on f1=f2;
|
|
select * from v1 join v4 on f1=f2;
|
|
|
|
--echo merged derived in merged derived
|
|
explain extended select * from (select * from
|
|
(select * from t1 where f1 < 7) tt where f1 > 2) zz;
|
|
select * from (select * from
|
|
(select * from t1 where f1 < 7) tt where f1 > 2) zz;
|
|
|
|
--echo materialized derived in merged derived
|
|
explain extended select * from (select * from
|
|
(select * from t1 where f1 < 7 group by f1) tt where f1 > 2) zz;
|
|
select * from (select * from
|
|
(select * from t1 where f1 < 7 group by f1) tt where f1 > 2) zz;
|
|
|
|
--echo merged derived in materialized derived
|
|
explain extended select * from (select * from
|
|
(select * from t1 where f1 < 7) tt where f1 > 2 group by f1) zz;
|
|
select * from (select * from
|
|
(select * from t1 where f1 < 7) tt where f1 > 2 group by f1) zz;
|
|
|
|
--echo materialized derived in materialized derived
|
|
explain extended select * from (select * from
|
|
(select * from t1 where f1 < 7 group by f1) tt where f1 > 2 group by f1) zz;
|
|
select * from (select * from
|
|
(select * from t1 where f1 < 7 group by f1) tt where f1 > 2 group by f1) zz;
|
|
|
|
--echo mat in merged derived join mat in merged derived
|
|
explain extended select * from
|
|
(select * from (select * from t1 where f1 < 7 group by f1) tt where f1 > 2) x
|
|
join
|
|
(select * from (select * from t1 where f1 < 7 group by f1) tt where f1 > 2) z
|
|
on x.f1 = z.f1;
|
|
|
|
flush status;
|
|
select * from
|
|
(select * from (select * from t1 where f1 < 7 group by f1) tt where f1 > 2) x
|
|
join
|
|
(select * from (select * from t1 where f1 < 7 group by f1) tt where f1 > 2) z
|
|
on x.f1 = z.f1;
|
|
show status like 'Handler_read%';
|
|
flush status;
|
|
|
|
--echo merged in merged derived join merged in merged derived
|
|
explain extended select * from
|
|
(select * from
|
|
(select * from t1 where f1 < 7 ) tt where f1 > 2 ) x
|
|
join
|
|
(select * from
|
|
(select * from t1 where f1 < 7 ) tt where f1 > 2 ) z
|
|
on x.f1 = z.f1;
|
|
|
|
select * from
|
|
(select * from
|
|
(select * from t1 where f1 < 7 ) tt where f1 > 2 ) x
|
|
join
|
|
(select * from
|
|
(select * from t1 where f1 < 7 ) tt where f1 > 2 ) z
|
|
on x.f1 = z.f1;
|
|
|
|
--echo materialized in materialized derived join
|
|
--echo materialized in materialized derived
|
|
explain extended select * from
|
|
(select * from
|
|
(select * from t1 where f1 < 7 group by f1) tt where f1 > 2 group by f1) x
|
|
join
|
|
(select * from
|
|
(select * from t1 where f1 < 7 group by f1) tt where f1 > 2 group by f1) z
|
|
on x.f1 = z.f1;
|
|
|
|
select * from
|
|
(select * from
|
|
(select * from t1 where f1 < 7 group by f1) tt where f1 > 2 group by f1) x
|
|
join
|
|
(select * from
|
|
(select * from t1 where f1 < 7 group by f1) tt where f1 > 2 group by f1) z
|
|
on x.f1 = z.f1;
|
|
|
|
--echo merged view in materialized derived
|
|
explain extended
|
|
select * from (select * from v4 group by 1) tt;
|
|
select * from (select * from v4 group by 1) tt;
|
|
|
|
--echo materialized view in merged derived
|
|
explain extended
|
|
select * from ( select * from v1 where f1 < 7) tt;
|
|
select * from ( select * from v1 where f1 < 7) tt;
|
|
|
|
--echo merged view in a merged view in a merged derived
|
|
create view v6 as select * from v4 where f2 < 7;
|
|
explain extended select * from (select * from v6) tt;
|
|
select * from (select * from v6) tt;
|
|
|
|
--echo materialized view in a merged view in a materialized derived
|
|
create view v7 as select * from v1;
|
|
explain extended select * from (select * from v7 group by 1) tt;
|
|
select * from (select * from v7 group by 1) tt;
|
|
|
|
--echo join of above two
|
|
explain extended select * from v6 join v7 on f2=f1;
|
|
select * from v6 join v7 on f2=f1;
|
|
|
|
--echo test two keys
|
|
explain select * from t1 join (select * from t2 group by f2) tt on t1.f1=tt.f2 join t1 xx on tt.f22=xx.f1;
|
|
select * from t1 join (select * from t2 group by f2) tt on t1.f1=tt.f2 join t1 xx on tt.f22=xx.f1;
|
|
|
|
|
|
--echo TODO: Add test with 64 tables mergeable view to test fall back to
|
|
--echo materialization on tables > MAX_TABLES merge
|
|
drop table t1,t2;
|
|
drop view v1,v2,v3,v4,v6,v7;
|
|
|
|
--echo #
|
|
--echo # LP bug #794909: crash when defining possible keys for
|
|
--echo # a materialized view/derived_table
|
|
--echo #
|
|
|
|
CREATE TABLE t1 (f1 int) ;
|
|
INSERT INTO t1 VALUES (149), (150), (224), (29);
|
|
|
|
CREATE TABLE t2 (f1 int, KEY (f1));
|
|
INSERT INTO t2 VALUES (149), (NULL), (224);
|
|
|
|
CREATE ALGORITHM=TEMPTABLE VIEW v1 AS SELECT * FROM t1;
|
|
|
|
EXPLAIN
|
|
SELECT * FROM v1 JOIN t2 ON v1.f1 = t2.f1;
|
|
SELECT * FROM v1 JOIN t2 ON v1.f1 = t2.f1;
|
|
|
|
DROP VIEW v1;
|
|
DROP TABLE t1,t2;
|
|
|
|
--echo #
|
|
--echo # LP bug #802023: MIN/MAX optimization
|
|
--echo # for mergeable derived tables and views
|
|
--echo #
|
|
|
|
CREATE TABLE t1 (a int, b int, c varchar(32), INDEX idx(a,b));
|
|
INSERT INTO t1 VALUES
|
|
(7, 74, 'yyyyyyy'), (9, 97, 'aaaaaaaaa'), (2, 23, 'tt'),
|
|
(5, 55, 'ddddd'), (2, 27, 'ss'), (7, 76, 'xxxxxxx'),
|
|
(7, 79, 'zzzzzzz'), (9, 92, 'bbbbbbbbb'), (2, 25, 'pp'),
|
|
(5, 53, 'eeeee'), (2, 23, 'qq'), (7, 76,'wwwwwww'),
|
|
(7, 74, 'uuuuuuu'), (9, 92, 'ccccccccc'), (2, 25, 'oo');
|
|
|
|
CREATE VIEW v1 AS SELECT * FROM t1;
|
|
|
|
SELECT MIN(a) FROM t1 WHERE a >= 5;
|
|
EXPLAIN
|
|
SELECT MIN(a) FROM t1 WHERE a >= 5;
|
|
|
|
SELECT MIN(a) FROM (SELECT * FROM t1) t WHERE a >= 5;
|
|
EXPLAIN
|
|
SELECT MIN(a) FROM(SELECT * FROM t1) t WHERE a >= 5;
|
|
|
|
SELECT MIN(a) FROM v1 WHERE a >= 5;
|
|
EXPLAIN
|
|
SELECT MIN(a) FROM v1 WHERE a >= 5;
|
|
|
|
SELECT MAX(b) FROM t1 WHERE a=7 AND b<75;
|
|
EXPLAIN
|
|
SELECT MAX(b) FROM t1 WHERE a=7 AND b<75;
|
|
|
|
SELECT MAX(b) FROM (SELECT * FROM t1) t WHERE a=7 AND b<75;
|
|
EXPLAIN
|
|
SELECT MAX(b) FROM (SELECT * FROM t1) t WHERE a=7 AND b<75;
|
|
|
|
SELECT MAX(b) FROM v1 WHERE a=7 AND b<75;
|
|
EXPLAIN
|
|
SELECT MAX(b) FROM v1 WHERE a=7 AND b<75;
|
|
|
|
DROP VIEW v1;
|
|
DROP TABLE t1;
|
|
|
|
|
|
--echo #
|
|
--echo # LP bug #800535: GROUP BY query with nested left join
|
|
--echo # and a derived table in the nest
|
|
--echo #
|
|
|
|
CREATE TABLE t1 (a int) ;
|
|
INSERT INTO t1 VALUES (1), (2);
|
|
|
|
CREATE TABLE t2 (a int NOT NULL);
|
|
INSERT INTO t2 VALUES (1), (2);
|
|
|
|
CREATE TABLE t3 (a int, b int);
|
|
INSERT INTO t3 VALUES (3,3), (4,4);
|
|
|
|
EXPLAIN EXTENDED
|
|
SELECT t.a FROM t1 LEFT JOIN
|
|
(t2 t JOIN t3 ON t3.b > 5) ON t.a >= 1
|
|
GROUP BY t.a;
|
|
SELECT t.a FROM t1 LEFT JOIN
|
|
(t2 t JOIN t3 ON t3.b > 5) ON t.a >= 1
|
|
GROUP BY t.a;
|
|
|
|
EXPLAIN EXTENDED
|
|
SELECT t.a FROM t1 LEFT JOIN
|
|
(( SELECT * FROM t2 ) t JOIN t3 ON t3.b > 5) ON t.a >= 1
|
|
GROUP BY t.a;
|
|
SELECT t.a FROM t1 LEFT JOIN
|
|
(( SELECT * FROM t2 ) t JOIN t3 ON t3.b > 5) ON t.a >= 1
|
|
GROUP BY t.a;
|
|
|
|
CREATE VIEW v1 AS SELECT * FROM t2;
|
|
|
|
EXPLAIN EXTENDED
|
|
SELECT t.a FROM t1 LEFT JOIN
|
|
(v1 t JOIN t3 ON t3.b > 5) ON t.a >= 1
|
|
GROUP BY t.a;
|
|
SELECT t.a FROM t1 LEFT JOIN
|
|
(v1 t JOIN t3 ON t3.b > 5) ON t.a >= 1
|
|
GROUP BY t.a;
|
|
|
|
DROP VIEW v1;
|
|
DROP TABLE t1,t2,t3;
|
|
|
|
--echo #
|
|
--echo # LP bug #803410: materialized view/dt accessed by two-component key
|
|
--echo #
|
|
|
|
CREATE TABLE t1 (a varchar(1));
|
|
INSERT INTO t1 VALUES ('c');
|
|
|
|
CREATE TABLE t2 (a varchar(1) , KEY (a)) ;
|
|
INSERT INTO t2 VALUES ('c'), (NULL), ('r');
|
|
|
|
CREATE TABLE t3 (a varchar(1), b varchar(1));
|
|
INSERT INTO t3 VALUES ('e', 'c'), ('c', 'c'), ('c', 'r');
|
|
|
|
CREATE VIEW v1 AS SELECT a, MIN(b) AS b FROM t3 GROUP BY a;
|
|
|
|
EXPLAIN
|
|
SELECT * FROM t1, t2, v1 WHERE t2.a=t1.a AND t2.a=v1.a AND t2.a=v1.b;
|
|
SELECT * FROM t1, t2, v1 WHERE t2.a=t1.a AND t2.a=v1.a AND t2.a=v1.b;
|
|
|
|
DROP VIEW v1;
|
|
DROP TABLE t1,t2,t3;
|