一文带你了解MySQL基于规则的优化
作者:mutlis
一、条件简化
我们编写的查询语句的搜索条件本质上是一个表达式,这些表达式可能比较繁杂,或者不能高效的执行,MySQL的查询优化器会为我们简化这些表达式。为了方便大家理解,我们后边举例的时候都使用诸如a
、b
、c
之类的简单字母代表某个表的列名。
1.1 移除不必要的括号
有时候表达式里有很多无用的括号,比如这样:
((a = 5 AND b =c ) OR ((a > c) AND (c < 5)))
是不是看着就很烦,优化器会把哪些用不到的括号都给消除,就是这样:
(a = 5 AND b=c) OR (a > c AND c < 5)
1.2 常量传递(constant_propagation)
有时候像某个表达式是某个列和某个常量做等值匹配,比如这样:
a = 5
当这个表达式和其他涉及列a
的表达式使用AND
连接起来时,可以将其他表达式中的a的值替换为5
,比如这样:
a = 5 AND b > a
就可以被转换为:
a = 5 AND b > 5
小提示:
为啥用OR连接起来的表达式就不能进行常量传递?自己想想哈~
1.3 等值传递(equality_propagation)
有时候多个列之间存在等值匹配的关系,比如这样:
a = b AND b = c AND c = 5
这个表达式可以被简化为:
a = 5 AND b = 5 AND c = 5
1.4 移除没用的条件(trivial_condition_removal)
对于一些明显永远为TRUE
或者FALSE
的表达式,优化器会移除掉它们,比如这个表达式:
(a < 1 AND b = b) OR (a = 6 OR 5 != 5)
很明显,b = b
这个表达式永远是TRUE
,5 != 5
这个表达式永远是FALSE
,所有简化后的表达式就是这样的:
(a < 1 AND TRUE) OR (a = 6 OR 5 FALSE)
可以继续简化:
a < 1 OR a = 6
1.5 表达式计算
在查询开始之前,如果表达式中只包含常量的话,它的值会被先计算出来,比如这个:
a = 5 + 1
因为 5 + 1
这个表达式只包含常量,所以就会简化成:
a = 6
但是这里需要注意的是,如果某个列并不是以单独的形式作为表达式的操作数时,比如出现在函数中,出现在某个更复杂表达式中,就像这样:
ABS(a) > 5
或者:
-a = -8
优化器是不会尝试对这些表达式进行简化的
。我们前边说过只有搜索条件中索引列和常数使用的某些运算符连接起来才能使用到索引,索引如果可以的话,最好让索引列以单独的形式出现在表达式中
。
1.6 HAVING子句和WHERE子句的合并
如果查询中没有出现诸如SUM
、MAX
等的的聚集函数以及GROUP BY
子句,优化器就把HAVING
子句和WHERE
子句合并起来。
1.7 常量表检测
MySQL觉得以下这两中查询运行的特别快
- 查询表中一条记录没有或者只用一条记录
小提示:
大家有没有觉得这一条有点不对劲,我还没有开始查表怎么就知道表中有几条记录?哈哈~这个其实依靠的是统计数据。不过我们说过InnoDB的统计数据不准确,所以这一条不能用于使用于InnoDB作为存储引擎的表,只适用于使用Memory或者MyISAM存储引擎的表。
- 使用主键等值匹配或者唯一二级索引列等值匹配作为搜索条件来查询某个表
MySQL觉着这两种查询花费的时间特别少,少到可以忽略,所以把通过这两种方式查询的表称为常量表
(英文名:constant tables
)。优化器在分析查询一个语句时,先首先执行常量表的查询,然后把查询中涉及到该表的条件全部替换成常数,最后在分析其余表的查询成本,比方说找个查询语句:
SELECT * FROM table1 INNER JOIN table2 ON table1.column1 = table2.column2 WHERE table1.primary_key = 1;
很明显,这个查询可以使用主键和常量值的等值匹配来查询table1
表,也就是在这个查询中table1
相当于常量表,在分析对table2
表的查询成本之前就会执行对table1
表的查询,并把查询中涉及table1
表的条件都替换掉,也就是说上边的语句被转换成这样:
SELECT table1表记录的各个字段的常量值,table2.* FROM table1 INNER JOIN table2 ON table1.column1列的常量值 = table2.column2 ;
二、外连接消除
我们前面说过,内连接的驱动表和被驱动表的位置是可以相互转换,而左外连接
和右外连接
的驱动表和被驱动表是固定的。这导致内连接
可能通过优化表的连接顺序来降低整体的查询成本,而外连接
却无法优化表的连接顺序。为了我们学习的顺利进展,我们把之前介绍连接原理时用过的demo9
和demo10
表请出来,为了防止大家早就忘掉,我们在看一下这两个表的结构:
mysql> create table demo9 (m1 int, n1 char(1)); Query OK, 0 rows affected (0.01 sec) mysql> create table demo10 (m2 int, n2 char(1)); Query OK, 0 rows affected (0.03 sec)
mysql> select * from demo9; +------+------+ | m1 | n1 | +------+------+ | 1 | a | | 2 | b | | 3 | c | +------+------+ 3 rows in set (0.00 sec) mysql> select * from demo10; +------+------+ | m2 | n2 | +------+------+ | 2 | b | | 3 | c | | 4 | d | +------+------+ 3 rows in set (0.00 sec)
我们之前说过,外连接和内连接的本质就是:对于外连接驱动表的记录来说,如果无法在被驱动表中找到匹配ON子句中的过滤条件的记录,那么该记录仍然会被加入到结果集中,对应的被驱动表各个字段使用NULL值填充;而内连接的驱动表的记录如果无法在被驱动表中找到匹配ON子句中的过滤条件的记录,那么该记录会被舍弃
。查询效果就是这样:
mysql> SELECT * FROM demo9 INNER JOIN demo10 ON demo9.m1 = demo10.m2; +------+------+------+------+ | m1 | n1 | m2 | n2 | +------+------+------+------+ | 2 | b | 2 | b | | 3 | c | 3 | c | +------+------+------+------+ 2 rows in set (0.00 sec) mysql> SELECT * FROM demo9 LEFT JOIN demo10 ON demo9.m1 = demo10.m2; +------+------+------+------+ | m1 | n1 | m2 | n2 | +------+------+------+------+ | 1 | a | NULL | NULL | | 2 | b | 2 | b | | 3 | c | 3 | c | +------+------+------+------+ 3 rows in set (0.00 sec)
对于上边例子中的左外连接来说,由于驱动表demo9
中m1=1
, n1='a'
的记录无法在被驱动表demo10中找到符合ON子句条件demo9.m1 = demo10.m2的记录,所以就直接把这条记录加入到结果集,对应的demo10
表的m2
和n2
列的值都设置为NULL
。
小提示:
左外连接和右外连接其实只在驱动表的选取方式上是不同的,其余方面都是一样的,所以优化器会首先把右外连接查询转换成左外连接查询。我们后边就不再唠叨右外连接了。
我们知道WHERE
子句的杀伤力比较大,凡是不符合WHERE子句中条件的记录都不会参与连接
。只要我们在搜索条件中指定关于被驱动表相关列的值不为NULL,那么外连接中在被驱动表中找不到符合ON子句条件的驱动表记录也就被排除出最后的结果集了,也就是说:在这种情况下:外连接和内连接也就没有什么区别了
!比如说这个查询:
mysql> SELECT * FROM demo9 LEFT JOIN demo10 on demo9.m1 = demo10.m2 WHERE demo10.n2 IS NOT NULL; +------+------+------+------+ | m1 | n1 | m2 | n2 | +------+------+------+------+ | 2 | b | 2 | b | | 3 | c | 3 | c | +------+------+------+------+ 2 rows in set (0.00 sec)
由于指定了被驱动表demo10
的n2
列不允许为NULL
,所以上边的demo9
和demo10
表的左外连接查询和内连接查询是一样的。当然,我们也可以不用显式的指定被驱动表的某个列IS NOT NULL
,只要隐含的有这个意思就行了,比如说这样:
mysql> SELECT * FROM demo9 LEFT JOIN demo10 on demo9.m1 = demo10.m2 WHERE demo10.m2 = 2; +------+------+------+------+ | m1 | n1 | m2 | n2 | +------+------+------+------+ | 2 | b | 2 | b | +------+------+------+------+ 1 row in set (0.01 sec)
在这个例子中,我们在WHERE
子句中指定了被驱动表demo10
的m2
列等于2
,也就相当于间接的指定了m2
列不为NULL
值,所以上边的这个左外连接查询其实和下边这个内连接查询是等价的:
mysql> SELECT * FROM demo9 INNER JOIN demo10 on demo9.m1 = demo10.m2 WHERE demo10.m2 = 2; +------+------+------+------+ | m1 | n1 | m2 | n2 | +------+------+------+------+ | 2 | b | 2 | b | +------+------+------+------+ 1 row in set (0.01 sec)
我们把这种在外连接查询中,指定的WHERE
子句中包含被驱动表中的列不为NULL
值的条件称之为空值拒绝
(英文名:reject-NULL
)。在被驱动表的WHERE子句符合空值拒绝的条件后,外连接和内连接可以相互转换
。这种转换带来的好处就是查询优化器可以通过评估表的不同连接顺序的成本,选出成本最低的那种连接顺序来执行查询
。
三、子查询优化
我们的主题本来是唠叨MySQL查询优化器是如何处理子查询的,但是我还是担心好多同学连接查询的语法都没掌握全,所以我们就先学习什么是个子查询(当然不会面面俱到啦,只是说个大概哈~),然后再学习关于子查询优化的事。
3.1 子查询语法
想必大家都是妈妈生下来的吧,连孙猴子都有妈妈——石头人
。怀孕妈妈肚子里的那个东东就是她的孩子,类似的,在一个查询语句里的某个位置也可以有另一个查询语句,这个出现在某个查询语句的某个位置中的查询就被称为子查询
(我们也可以称它为宝宝查询哈~),那个充当“妈妈”角色的查询也被称之为外层查询
。不像我们怀孕时宝宝们都只在肚子里,子查询可以在一个外层查询的各种位置出现,比如:
1. SELECT 子句中
也就是我们平时说的查询列表,比如这样:
mysql> SELECT (SELECT m1 FROM demo9 LIMIT 1); +--------------------------------+ | (SELECT m1 FROM demo9 LIMIT 1) | +--------------------------------+ | 1 | +--------------------------------+ 1 row in set (0.01 sec)
其中的(SELECT m1 FROM demo9 LIMIT 1)
就是我们唠叨的子查询。
2. FROM 子句中
比如:
mysql> SELECT m,n FROM (SELECT m2+1 AS m, n2 AS n FROM demo10 WHERE m2 > 1) AS t; +------+------+ | m | n | +------+------+ | 3 | b | | 4 | c | | 5 | d | +------+------+ 3 rows in set (0.00 sec)
这个例子中的子查询是:(SELECT m2 + 1 AS m, n2 AS n FROM demo10 WHERE m2 > 1)
,很特别的地方是它出现在了FROM
子句中。FROM
子句这边不是存放我们要查询的表的名称么,这里放进来一个子查询是个什么鬼?其实这里我们可以把子查询的查询结果当作是一个表,子查询后边的AS t
表明这个子查询的结果就相当于一个名称为t的表,这个名叫t的表的列就是子查询结果中的列,比如例子中表 t
就有两个列:m
列和 n
列。这个放在FROM
子句中的子查询本质上相当于一个表,但是和我们平常使用的表有点不一样,MySQL把这种由子查询结果集组成的表称之为派生表
。
3. WHERE或ON 子句中
把子查询放在外层查询的WHERE
子句或者ON
子句中可能是我们最常用的一种使用子查询的方式了,比如这样:
mysql> SELECT * FROM demo9 WHERE m1 IN (SELECT m2 FROM demo10); +------+------+ | m1 | n1 | +------+------+ | 2 | b | | 3 | c | +------+------+ 2 rows in set (0.00 sec)
这个查询表明我们想要将(SELECT m2 FROM demo10)
这个子查询的结果作为外层查询的IN语句参数,整个查询语句的意思就是我们想找demo9
表中的某些记录,这些记录的m1
列的值能在demo10
表的m2
列找到匹配的值。
4. ORDER BY和GROUP BY 子句中
虽然语法支持,但没啥子意义,不唠叨这种情况了
3.1.1 按返回的结果集区分子查询
因为子查询本身也算是一个查询,所以可以按照它们返回的不同结果集类型而把这些子查询分为不同的类型:
1. 标量子查询
那些只返回一个单一值的子查询称之为标量子查询
,比如这样:
mysql> SELECT (SELECT m1 FROM demo9 LIMIT 1); +--------------------------------+ | (SELECT m1 FROM demo9 LIMIT 1) | +--------------------------------+ | 1 | +--------------------------------+ 1 row in set (0.00 sec)
或者这样:
mysql> SELECT * FROM demo9 WHERE m1 = (SELECT MIN(m2) FROM demo10); +------+------+ | m1 | n1 | +------+------+ | 2 | b | +------+------+ 1 row in set (0.00 sec)
这两个查询语句中的子查询都返回一个单一的值,也就是一个标量。这些标量子查询可以作为一个单一值或者表达式的一部分出现在查询语句的各个地方。
2. 行子查询
顾名思义,就是返回一条记录的子查询
,不过这条记录需要包含多个列(只包含一个列就成了标量子查询了)。比如这样:
mysql> SELECT * FROM demo9 WHERE (m1, n1) = (SELECT m2, n2 FROM demo10 LIMIT 1); +------+------+ | m1 | n1 | +------+------+ | 2 | b | +------+------+ 1 row in set (0.00 sec)
其中的(SELECT m2, n2 FROM demo10 LIMIT 1)
就是一个行子查询,整条语句的含义就是要从demo9
表中找一些记录,这些记录的m1
和n1
列分别等于子查询结果中的m2
和n2
列。
3. 列子查询
列子查询自然就是查询出一个列的数据
喽,不过这个列的数据需要包含多条记录(只包含一条记录就成了标量子查询了)。比如这样:
mysql> SELECT * FROM demo9 WHERE m1 IN (SELECT m2 FROM demo10); +------+------+ | m1 | n1 | +------+------+ | 2 | b | | 3 | c | +------+------+ 2 rows in set (0.00 sec)
其中的(SELECT m2 FROM demo10)
就是一个列子查询,表明查询出demo10
表的m2
列的值作为外层查询IN
语句的参数。
4. 表子查询
顾名思义,就是子查询的结果既包含很多条记录,又包含很多个列
,比如这样:
mysql> SELECT * FROM demo9 WHERE (m1, n1) IN (SELECT m2, n2 FROM demo10); +------+------+ | m1 | n1 | +------+------+ | 2 | b | | 3 | c | +------+------+ 2 rows in set (0.00 sec)
其中的(SELECT m2, n2 FROM demo10)
就是一个表子查询,这里需要和行子查询对比一下,行子查询中我们用了LIMIT 1
来保证子查询的结果只有一条记录,表子查询中不需要这个限制。
3.1.2 按与外层查询关系来区分子查询
1. 不相关子查询
如果子查询可以单独运行出结果,而不依赖于外层查询的值
,我们就可以把这个子查询称之为不相关子查询
。我们前边介绍的那些子查询全部都可以看作不相关子查询,所以也就不举例子了哈~
2. 相关子查询
如果子查询的执行需要依赖于外层查询的值
,我们就可以把这个子查询称之为相关子查询
。比如:
mysql> SELECT * FROM demo9 WHERE m1 IN (SELECT m2 FROM demo10 WHERE n1 = n2); +------+------+ | m1 | n1 | +------+------+ | 2 | b | | 3 | c | +------+------+ 2 rows in set (0.00 sec)
例子中的子查询是(SELECT m2 FROM demo10 WHERE n1 = n2)
,可是这个查询中有一个搜索条件是n1 = n2
,别忘了n1
是表demo9
的列,也就是外层查询的列,也就是说子查询的执行需要依赖于外层查询的值
,所以这个子查询就是一个相关子查询
。
3.1.3 子查询在布尔表达式中的使用
你说写下边这样的子查询有啥意义:
SELECT (SELECT m1 FROM demo9 LIMIT 1);
貌似没啥意义~ 我们平时用子查询最多的地方就是把它作为布尔表达式
的一部分来作为搜索条件用在WHERE
子句或者ON
子句里。所以我们这里来总结一下子查询在布尔表达式中的使用场景
1. 使用=、>、<、>=、<=、<>、!=、<=>
作为布尔表达式的操作符
这些操作符具体是啥意思就不用我多介绍了吧,如果你不知道的话,那我真的很佩服你是靠着啥勇气一口看到这里的~ 为了方便,我们就把这些操作符称为comparison_operator
吧,所以子查询组成的布尔表达式就长这样:
操作数 comparison_operator (子查询)
这里的操作数
可以是某个列名,或者是一个常量,或者是一个更复杂的表达式,甚至可以是另一个子查询。但是需要注意的是,这里的子查询只能是标量子查询或者行子查询,也就是子查询的结果只能返回一个单一的值或者只能是一条记录
。
比如这样(标量子查询):
mysql> SELECT * FROM demo9 WHERE m1 < (SELECT MIN(m2) FROM demo10); +------+------+ | m1 | n1 | +------+------+ | 1 | a | +------+------+ 1 row in set (0.00 sec)
或者这样(行子查询):
mysql> SELECT * FROM demo9 WHERE (m1, n1) = (SELECT m2, n2 FROM demo10 LIMIT 1); +------+------+ | m1 | n1 | +------+------+ | 2 | b | +------+------+ 1 row in set (0.00 sec)
2. [NOT] IN/ANY/SOME/ALL子查询
对于列子查询和表子查询来说,它们的结果集中包含很多条记录,这些记录相当于是一个集合,所以就不能单纯的和另外一个操作数使用comparison_operator
来组成布尔表达式了,MySQL通过下列的语法来支持某个操作数和一个集合组成一个布尔表达式:
a. IN或者NOT IN
具体的语法形式如下:操作数 [NOT] IN (子查询)
这个布尔表达式的意思是用来判断某个操作数在不在由子查询结果集组成的集合中,比如下边的查询的意思是找出demo9表中的某些记录,这些记录存在于子查询的结果集中:
mysql> SELECT * FROM demo9 WHERE (m1, n1) IN (SELECT m2, n2 FROM demo10); +------+------+ | m1 | n1 | +------+------+ | 2 | b | | 3 | c | +------+------+ 2 rows in set (0.00 sec)
b. ANY/SOME(ANY和SOME是同义词) 具体的语法形式如下:操作数 comparison_operator ANY/SOME(子查询)
这个布尔表达式的意思是只要子查询结果集中存在某个值和给定的操作数做comparison_operator
比较结果为TRUE
,那么整个表达式的结果就为TRUE
,否则整个表达式的结果就为FALSE
。比如说下边这个查询:
mysql> SELECT * FROM demo9 WHERE m1 > ANY(SELECT m2 FROM demo10); +------+------+ | m1 | n1 | +------+------+ | 3 | c | +------+------+ 1 row in set (0.00 sec)
这个查询的意思就是对于demo9
表的某条记录的m1
列的值来说,如果子查询(SELECT m2 FROM demo10)
的结果集中存在一个小于m1
列的值,那么整个布尔表达式的值就是TRUE
,否则为FALSE
,也就是说只要m1
列的值大于子查询结果集中最小的值,整个表达式的结果就是TRUE
,所以上边的查询本质上等价于这个查询:
mysql> SELECT * FROM demo9 WHERE m1 > (SELECT MIN(m2) FROM demo10); +------+------+ | m1 | n1 | +------+------+ | 3 | c | +------+------+ 1 row in set (0.01 sec)
另外,=ANY相当于判断子查询结果集中是否存在某个值和给定的操作数相等,它的含义和IN是相同的
c. ALL
具体的语法形式如下:操作数 comparison_operator ALL(子查询)
这个布尔表达式的意思是子查询结果集中所有的值和给定的操作数做comparison_operator
比较结果为TRUE
,那么整个表达式的结果就为TRUE
,否则整个表达式的结果就为FALSE
。比如说下边这个查询:
mysql> SELECT * FROM demo9 WHERE m1 > ALL(SELECT m2 FROM demo10); Empty set (0.00 sec)
这个查询的意思就是对于demo9
表的某条记录的m1
列的值来说,如果子查询(SELECT m2 FROM demo10)
的结果集中的所有值都大于m1
列的值,那么整个布尔表达式的值就是TRUE
,否则为FALSE
,也就是说只要m1列的值大于子查询结果集中最小的值,整个表达式的结果就是TRUE
,所以上边的查询本质上等价于这个查询:
mysql> SELECT * FROM demo9 WHERE m1 > (SELECT MAX(m2) FROM demo10); Empty set (0.00 sec)
d. EXISTS子查询
有的时候我们仅仅需要判断子查询的结果集中是否有记录,而不在乎它的记录具体是个啥,可以使用把EXISTS
或者NOT EXISTS
放在子查询语句前边,就像这样:[NOT] EXISTS (子查询)
我们举一个例子啊:
mysql> SELECT * FROM demo9 WHERE EXISTS (SELECT 1 FROM demo10); +------+------+ | m1 | n1 | +------+------+ | 1 | a | | 2 | b | | 3 | c | +------+------+ 3 rows in set (0.00 sec)
对于子查询(SELECT 1 FROM demo10)
来说,我们并不关心这个子查询最后到底查询出的结果是什么,所以查询列表里填*、某个列名,或者其他啥东系都无所谓,我们真正关心的是子查询的结果集中是否存在记录。也就是说只要(SELECT 1 FROM demo10)
这个查询中有记录,那么整个EXISTS表达式的结果就为TRUE
。
3.1.4 子查询语法注意事项
1. 子查询必须使用括号扩起来
不扩起来的子查询是非法的,比如这样:
mysql> SELECT SELECT m1 FROM demo9; ERROR 1064 (42000): You have an error in your SQL syntax; check the manual that corresponds to your MySQL server version for the right syntax to use near 'SELECT m1 FROM demo9' at line 1
2. 在SELECT子句中的子查询必须是标量子查询
如果子查询结果集中有多个列或者多个行
,都不允许放在SELECT
子句中,也就是查询列表中,比如这样就是非法的:
mysql> SELECT (SELECT m1, n1 FROM demo9); ERROR 1241 (21000): Operand should contain 1 column(s)
3. 在想要得到标量子查询或者行子查询,但又不能保证子查询的结果集只有一条记录时,应该使用LIMIT 1语句来限制记录数量。
4. 对于[NOT] IN/ANY/SOME/ALL子查询来说,子查询中不允许有LIMIT语句
比如这样是非法的:
mysql> SELECT * FROM demo9 WHERE m1 IN (SELECT * FROM demo10 LIMIT 2); ERROR 1235 (42000): This version of MySQL doesn't yet support 'LIMIT & IN/ALL/ANY/SOME subquery'
为啥不合法?人家就这么规定的,不解释~ 可能以后的版本会支持吧。正因为[NOT] IN/ANY/SOME/ALL
子查询不支持LIMIT语句,所以子查询中的这些语句也就是多余的了
5. ORDER BY子句
子查询的结果其实就相当于一个集合,集合里的值排不排序一点都不重要,比如下边这个语句中的ORDER BY
子句简直就是画蛇添足:
SELECT * FROM demo9 WHERE m1 IN (SELECT m2 FROM demo10 ORDER BY m2);
6. DISTINCT语句
集合里的值去不去重也没啥意义,比如这样:
SELECT * FROM demo9 WHERE m1 IN (SELECT DISTINCT m2 FROM demo10);
7. 没有聚集函数以及HAVING子句的GROUP BY子句
在没有聚集函数以及HAVING
子句时,GROUP BY
子句就是个摆设,比如这样:
SELECT * FROM demo9 WHERE m1 IN (SELECT m2 FROM demo10 GROUP BY m2);
对于这些冗余的语句,查询优化器在一开始就把它们给干掉了。
8. 不允许在一条语句中增删改某个表的记录时同时还对该表进行子查询
比方说这样:
mysql> DELETE FROM demo9 WHERE m1 < (SELECT MAX(m1) FROM demo9); ERROR 1093 (HY000): You can't specify target table 'demo9' for update in FROM clause
3.2 子查询在MySQL中是怎么执行的
好了,关于子查询的基础语法我们用最快的速度温习了一遍,如果想了解更多语法细节,大家可以去查看一下MySQL的文档哈~现在我们就假设各位都懂了啥是个子查询了喔,接下来就要唠叨具体某种类型的子查询在MySQL中是怎么执行的了,想想是不是就有一点激动~ 当然,为了故事的顺利发展,我们的例子也需要跟随形势换枪换炮,还是要祭出我们在一文带你了解MySQL之基于成本的优化文章中用到的s1
表和s2
表
mysql> create table s1 ( id int not null auto_increment, key1 varchar(100), key2 int, key3 varchar(100), key_part1 varchar(100), key_part2 varchar(100), key_part3 varchar(100), common_field varchar(100), primary key (id), key idx_key1 (key1), unique key idx_key2 (key2), key idx_key3 (key3), key idx_key_part(key_part1, key_part2, key_part3)); Query OK, 0 rows affected (0.04 sec) mysql> create table s2 ( id int not null auto_increment, key1 varchar(100), key2 int, key3 varchar(100), key_part1 varchar(100), key_part2 varchar(100), key_part3 varchar(100), common_field varchar(100), primary key (id), key idx_key1 (key1), unique key idx_key2 (key2), key idx_key3 (key3), key idx_key_part(key_part1, key_part2, key_part3)); Query OK, 0 rows affected (0.04 sec) mysql> insert into s1 select * from demo8; Query OK, 20000 rows affected (0.83 sec) Records: 20000 Duplicates: 0 Warnings: 0 mysql> insert into s2 select * from demo8; Query OK, 20000 rows affected (0.89 sec) Records: 20000 Duplicates: 0 Warnings: 0
这两个表s1、s2的构造是相同的,并且这两个表里边都有20000条记录,除id列外其余的列都插入随机值。下边正式开始我们的表演。
3.2.1 小白们眼中子查询的执行方式
在我还是一个单纯无知的少年时,觉得子查询的执行方式是这样的:
如果该子查询是不相关子查询,比如下边这个查询:
SELECT * FROM s1WHERE key1 IN (SELECT common_field FROM s2)
我年少时觉得这个查询是的执行方式是这样的:
- 先单独执行
(SELECT common_field FROM s2)
这个子查询 - 然后在将上一步子查询得到的结果当作外层查询的参数再执行外层查询SELECT * FROM s1 WHERE key1 IN (...)。
- 先单独执行
如果该子查询是相关子查询,比如下边这个查询:
SELECT * FROM s1 WHERE key1 IN (SELECT common_field FROM s2 WHERE s1.key2 = s2.key2)
这个查询中的子查询中出现了
s1.key2 = s2.key2
这样的条件,意味着该子查询的执行依赖着外层查询的值,所以我年少时觉得这个查询的执行方式是这样的:- 先从外层查询中获取一条记录,本例中也就是先从
s1
表中获取一条记录 - 然后从上一步骤中获取的那条记录中找出子查询中涉及到的值,本例中就是从
s1
表中获取的那条记录中找出s1.key2
列的值,然后执行子查询 - 最后根据子查询的查询结果来检测外层查询WHERE子句的条件是否成立,如果成立,就把外层查询的那条记录加入到结果集,否则就丢弃
- 再次执行第一步,获取第二条外层查询中的记录,依次类推~
- 先从外层查询中获取一条记录,本例中也就是先从
不要告诉我只是一个人是这样认为的~
其实MySQL想了一系列的办法来优化子查询的执行,大部分情况下这些优化措施其实挺有效的,但是保不齐有的时候马失前蹄,下边我们详细唠叨各种不同类型的子查询具体是怎么执行的。
3.2.2 标量子查询、行子查询的执行方式
我们经常在下边两个场景中使用到标量子查询或者行子查询:
SELECT
子句中,我们前边说过的在查询列表中的子查询必须是标量子查询- 子查询使用
=、>、<、>=、<=、<>、!=、<=>
等操作符和某个操作数组成一个布尔表达式,这样的子查询必须是标量子查询或者行子查询。
对于上述两种场景中的不相关
(注意是不相关不相关不相关
)标量子查询或者行子查询来说,它们的执行方式是简单的,比如说下边这个查询语句:
SELECT * FROM s1 WHERE key1 = (SELECT common_field FROM s2 WHERE key3 = 'a' LIMIT 1);
它的执行方式和年少的我想的一样:
- 先单独执行
(SELECT common_field FROM s2 WHERE key3 = 'a' LIMIT 1)
这个子查询 - 然后在将上一步子查询得到的结果当作外层查询的参数再执行外层查询
SELECT * FROM s1 WHERE key1 = ...
也就是说,对于包含不相关的标量子查询或者行子查询的查询语句来说,MySQL会分别独立的执行外层查询和子查询
,就当作两个单表查询就好了。
对于相关
的标量子查询或者行子查询来说,比如下边这个查询:
SELECT * FROM s1 WHERE key1 = (SELECT common_field FROM s2 WHERE s1.key3 = s2.key3 LIMIT 1);
事情也和年少的我想的一样,它的执行方式就是这样的:
- 先从外层查询中获取一条记录,本例中也就是先从
s1
表中获取一条记录 - 然后从上一步骤中获取的那条记录中找出子查询中涉及到的值,本例中就是从
s1
表中获取的那条记录中找出s1.key3
列的值,然后执行子查询 - 最后根据子查询的查询结果来检测外层查询
WHERE
子句的条件是否成立,如果成立,就把外层查询的那条记录加入到结果集,否则就丢弃。 再次执行第一步,获取第二条外层查询中的记录,依次类推~
也就是说对于一开始唠叨的两种使用标量子查询以及行子查询的场景中,MySQL优化器的执行方式并没有什么新鲜的。
3.3 IN子查询优化
3.3.1 物化表的提出
对于不相关的IN
子查询,比如这样:
SELECT * FROM s1 WHERE key1 IN (SELECT common_field FROM s2 WHERE key3 = 'a');
我们最开始的感觉就是这种不相关的IN
子查询和不相关的标量子查询或者行子查询是一样一样的,都是把外层查询和子查询当作两个独立的单表查询来对待,可是很遗憾的是MySQL为了优化IN
子查询倾注了太多心血(毕竟IN
子查询是我们日生活中最常用的子查询类型),所以整个执行过程并不像我们想象的那么简单~
其实说句老实话,对于不相关的IN
子查询来说,如果子查询的结果集中的记录条数很少,那么把子查询和外层查询分别看成两个单独的单表查询效率还是蛮高的,但是如果单独执行子查询后的结果集太多的话,就会导致这些问题:
- 结果集太多,可能内存中都放不下~
- 对于外层查询来说,如果子查询的结果集太多,那就意味着IN子句中的参数特别多,这就导致:
无法有效的使用索引,只能对外层查询进行全表扫描
在对外层查询执行全表扫描时,由于IN子句中的参数太多,这会导致检测一条记录是否符合和IN子句中的参数匹配花费的时间太长,比如说IN子句中的参数只有两个:
SELECT * FROM tbl_name WHERE column IN (a, b)
这样相当于需要对
tbl_name
表中的每条记录判断一下它的column
列是否符合column = a OR column = b
。在IN子句中的参数比较少时这并不是什么问题,如果IN
子句中的参数比较多时,比如这样:SELECT * FROM tbl_name WHERE column IN (a, b, c ..., ...
)那么这样每条记录需要判断一下它的
column
列是否符合column = a OR column = b OR column = c OR ...
,这样性能耗费可就多了。
于是MySQL想了一个招:不直接将不相关子查询的结果集当作外层查询的参数,而是将该结果集写入一个临时表里
。写入临时表的过程是这样的:
该临时表的列就是子查询结果集中的列
写入临时表的记录会被去重
我们说
IN
语句是判断某个操作数在不在某个集合中,集合中的值重不重复对整个IN语句的结果并没有啥子关系,所以我们在将结果集写入临时表时对记录进行去重可以让临时表变得更小,更省地方~小提示:
临时表如何对记录进行去重?这不是小意思嘛,临时表也是个表,只要为表中记录的所有列建立主键或者唯一索引就好了嘛~一般情况下子查询结果集不会大的离谱,所以会为它建立基于内存的使用
Memory
存储引擎的临时表,而且会为该表建立哈希索引。小提示:
IN语句的本质就是判断某个操作数在不在某个集合里,如果集合中的数据建立了哈希索引,那么这个匹配的过程就是超级快的。 有同学不知道哈希索引是什么?我这里就不展开了,自己上网找找吧,不会了再来问我~如果子查询的结果集非常大,超过了系统变量
tmp_table_size
或者max_heap_table_size
,临时表会转而使用基于磁盘的存储引擎来保存结果集中的记录,索引类型也对应转变为B+树索引。
MySQL的把这个将子查询结果集中的记录保存到临时表的过程称之为物化
(英文名:Materialize
)。为了方便起见,我们就把那个存储子查询结果集的临时表称之为物化表
。正因为物化表中的记录都建立了索引(基于内存的物化表有哈希索引,基于磁盘的有B+树索引),通过索引执行IN
语句判断某个操作数在不在子查询结果集中变得⾮常快,从而提升了子查询语句的性能。
3.3.2 物化表转连接
事情到这就完了?我们还得重新审视一下最开始的那个查询语句:
SELECT * FROM s1 WHERE key1 IN (SELECT common_field FROM s2 WHERE key3 = 'a');
当我们把子查询进行物化之后,假设子查询物化表的名称为materialized_table
,该物化表存储的子查询结果集的列为m_val
,那么这个查询其实可以从下边两种角度来看待:
从表s1的角度来看待,整个查询的意思其实是:对于s1表中的每条记录来说,如果该记录的key1列的值在子查询对应的物化表中,则该记录会被加入最终的结果集。画个图表示一下就是这样:
从子查询物化表的角度来看待,整个查询的意思其实是:对于子查询物化表的每个值来说,如果能在s1表中找到对应的key1列的值与该值相等的记录,那么就把这些记录加入到最终的结果集。画个图表示如下就是这样:
也就是说其实上边的查询就相当于表s1
和子查询物化表materialized_table
进行内连接:
SELECT s1.* FROM s1 INNER JOIN materialized_table ON key1 = m_val;
转化成内连接之后就有意思了,查询优化器可以评估不同连接顺序需要的成本是多少,选取成本最低的那种查询方式执行查询。我们分析一下上述查询中使用外层查询的s1
表和物化表materialized_table
进行内连接的成本都是由哪几部分组成的:
如果使用
s1
表作为驱动表的话,总查询成本由下边几个部分组成:- 物化子查询时需要的成本
- 扫描s1表时的成本
- s1表中的记录数量 × 通过
m_val = xxx
对materialized_table
表进行单表访问的成本(我们前边说过物化表中的记录是不重复的,并且为物化表中的列建里了索引,所以这个步骤显然是非常快的)
如果使用
materialized_table
表作为驱动表的话,总查询成本由下边几个部分组成:- 物化子查询时需要的成本
- 扫描物化表时的成本
- 物化表中的记录数量 × 通过
key1 = xxx
对s1
表进行单表访问的成本(非常庆幸key1列上建立了索引,所以这个步骤是非常快的)
MySQL查询优化器会通过运算来选择上述成本更低的方案来执行查询
3.3.3 将子查询转换为semi-join
虽然将子查询进行物化之后再执行查询都会有建立临时表的成本,但是不管怎么说,我们见识到了将子查询转换为连接的强大作用,MySQL继续开脑洞:能不能不进行物化操作直接把子查询转换为连接呢?让我们重新审视一下上边的查询语句:
SELECT * FROM s1 WHERE key1 IN (SELECT common_field FROM s2 WHERE key3 = 'a');
我们可以把这个查询理解成:对于s1
表中的某条记录,如果我们能在s2
表(准确的说是执行完WHERE s2.key3 = 'a'
之后的结果集)中找到一条或多条记录,这些记录的common_field
的值等于s1
表记录的key1
列的值,那么该条s1
表的记录就会被加入到最终的结果集。这个过程其实和把s1
和s2
两个表连接起来的效果很像:
SELECT s1.* FROM s1 INNER JOIN s2 ON s1.key1 = s2.common_field WHERE s2.key3 = 'a';
只不过我们不能保证对于s1
表的某条记录来说,在s2
表(准确的说是执行完WHERE
s2.key3 = 'a'
之后的结果集)中有多少条记录满足s1.key1 =s2.common_field
这个条件,不过我们可以分三种情况讨论:
情况一:
对于s1
表的某条记录来说,s2
表中没有
任何记录满足s1.key1 = s2.common_field
这个条件,那么该记录自然也不会加入到最后的结果集情况二
:对于s1
表的某条记录来说,s2
表中有且只有
记录满足s1.key1 = s2.common_field
这个条件,那么该记录会被加入最终的结果集情况三
:对于s1
表的某条记录来说,s2
表中至少有2条
记录满足s1.key1 = s2.common_field
这个条件,那么该记录会被多次加入最终的结果集
对于s1
表的某条记录来说,由于我们只关心s2
表中是否存在记录满足s1.key1 = s2.common_field
这个条件,而不关心具体有多少条记录与之匹配
,又因为有情况三
的存在,我们上边所说的IN
子查询和两表连接之间并不完全等价。但是将子查询转换为连接又真的可以充分发挥优化器的作用,所以MySQL在这里提出了一个新概念 --- 半连接
(英文名:semi-join
)。将s1表和s2表进行半连接的意思就是:对于s1表的某条记录来说,我们只关心在s2表中是否存在与之匹配的记录是否存在,而不关心具体有多少条记录与之匹配,最终的结果集中只保留s1表的记录
。为了让大家有更直观的感受,我们假设MySQL内部是这么改写上边的子查询的:
SELECT s1.* FROM s1 SEMI JOIN s2 ON s1.key1 = s2.common_field WHERE key3 = 'a';
小提示:
semi-join只是在MySQL内部采用的一种执行子查询的方式,MySQL并没有提供面向用户的semi-join语法,所以我们不需要,也不能尝试把上边这个语句放到黑框框里运行,我只是想说明一下上边的子查询在MySQL内部会被转换为类似上边语句的半连接~
概念是有了,怎么实现这种所谓的半连接
呢?MySQL准备了好几种办法
1. Table pullout (子查询中的表上拉)
当子查询的查询列表处只有主键或者唯一索引列
时,可以直接把子查询中的表上拉
到外层查询的FROM
子句中,并把子查询中的搜索条件合并到外层查询的搜索条件中,比如这个:
SELECT * FROM s1 WHERE key2 IN (SELECT key2 FROM s2 WHERE key3 = 'a');
由于key2
列是s2
表的唯一二级索引
列,所以我们可以直接把s2
表上拉到外层查询的FROM
子句中,并且把子查询中的搜索条件合并到外层查询的搜索条件中,上拉之后的查询就是这样的:
SELECT s1.* FROM s1 INNER JOIN s2 ON s1.key2 = s2.key2 WHERE s2.key3 = 'a';
Q1: 为啥当子查询的查询列表处只有主键
或者唯一索引
列时,就可以直接将子查询转换为连接查询呢?
因为主键或者唯一索引列中的数据本身就是不重复!所以对于同一条s1表中的记录,你不可能找到两条以上的符合s1.key2 =s2.key2的记录~
2. DuplicateWeedout execution strategy (重复值消除)
对于这个查询来说:
SELECT * FROM s1 WHERE key1 IN (SELECT common_field FROM s2 WHERE key3 = 'a');
转换为半连接查询后,s1
表中的某条记录可能在s2
表中有多条匹配的记录,所以该条记录可能多次被添加到最后的结果集中,为了消除重复,我们可以建立一个临时表,比方说这个临时表长这样:
CREATE TABLE tmp ( id PRIMARY KEY );
这样在执行连接查询的过程中,每当某条s1
表中的记录要加入结果集时,就首先把这条记录的id
值加入到这个临时表里,如果添加成功,说明之前这条s1
表中的记录并没有加入最终的结果集,现在把该记录添加到最终的结果集;如果添加失败,说明这条之前这条s1
表中的记录已经加入过最终的结果集,这里直接把它丢弃就好了,这种使用临时表消除semi-join
结果集中的重复值的方式称之为Duplicate Weedout
。
3. LooseScan execution strategy (松散索引扫描)
大家看这个查询:
SELECT * FROM s1 WHERE key3 IN (SELECT key1 FROM s2 WHERE key1 > 'a' AND key1 < 'b');
在子查询中,对于s2
表的访问可以使用到key1
列的索引,而恰好子查询的查询列表处就是key1
列,这样在将该查询转换为半连接查询后,如果将s2
作为驱动表执行查询的话,那么执行过程就是这样:
如图所示,在s2
表的idx_key1
索引中,值为'aa'
的二级索引记录一共有2条,那么只需要取第一条的值到s1
表中查找s1.key3 = 'aa
'的记录,如果能在s1
表中找到对应的记录,那么就把对应的记录加入到结果集。依此类推,其他值相同的二级索引记录,也只需要取第一条记录的值到s1
表中找匹配的记录,这种虽然是扫描索引,但只取值相同的记录的第一条去做匹配操作的方式称之为松散索引扫描
。
4. Semi-join Materialization execution strategy
我们之前介绍的先把外层查询的IN
子句中的不相关子查询进行物化,然后再进行外层查询的表和物化表的连接本质上也算是一种semi-join,只不过由于物化表中没有重复的记录,所以可以直接将子查询转为连接查询。
5. FirstMatch execution strategy (首次匹配)
FirstMatch
是一种最原始的半连接执行方式,跟我们年少时认为的相关子查询的执行方式是一样一样的,就是说先取一条外层查询的中的记录,然后到子查询的表中寻找符合匹配条件的记录,如果能找到一条,则将该外层查询的记录放入最终的结果集并且停止查找更多匹配的记录,如果找不到则把该外层查询的记录丢弃掉;然后再开始取下一条外层查询中的记录,重复上边这个过程。
对于某些使用IN语句的相关子查询,比方这个查询:
SELECT * FROM s1 WHERE key1 IN (SELECT common_field FROM s2 WHERE s1.key3 = s2.key3);
它也可以很方便的转为半连接,转换后的语句类似这样:
SELECT s1.* FROM s1 SEMI JOIN s2 ON s1.key1 = s2.common_field AND s1.key3 = s2.key3;
然后就可以使用我们上边介绍过的DuplicateWeedout
、LooseScan
、FirstMatch
等半连接执行策略来执行查询,当然,如果子查询的查询列表处只有主键或者唯一二级索引列,还可以直接使用table pullout
的策略来执行查询,但是需要大家注意的是,由于相关子查询并不是一个独立的查询,所以不能转换为物化表来执行查询
。
3.3.4 semi-join的适用条件
当然,并不是所有包含IN
子查询的查询语句都可以转换为semi-join
,只有形如这样的查询才可以被转换为semi-join
:
SELECT ... FROM outer_tables WHERE expr IN (SELECT ... FROM inner_tables ...) AND ...
或者这样的形式也可以:
SELECT ... FROM outer_tables WHERE (oe1, oe2, ...) IN (SELECT ie1, ie2, ... FROM inner_tables ...) AND ...
用文字总结一下,只有符合下边这些条件的子查询才可以被转换为semi-join
:
- 该子查询必须是和
IN
语句组成的布尔表达式,并且在外层查询的WHERE
或者ON
子句中出现 - 外层查询也可以有其他的搜索条件,只不过和
IN
子查询的搜索条件必须使用AND
连接起来 - 该子查询必须是一个单一的查询,不能是由若干查询由
UNION
连接起来的形式 - 该子查询不能包含
GROUP BY
或者HAVING
语句或者聚集函数 - ... 还有一些条件比较少见,就不唠叨啦~
3.3.5 不适用于semi-join的情况
对于一些不能将子查询转位semi-join的情况,典型的比如下边这几种:
1. 外层查询的WHERE条件中有其他搜索条件与IN子查询组成的布尔表达式使用OR连接起来
SELECT * FROM s1 WHERE key1 IN (SELECT common_field FROM s2 WHERE key3 = 'a') OR key2 > 100;
2. 使用NOT IN而不是IN的情况
SELECT * FROM s1 WHERE key1 NOT IN (SELECT common_field FROM s2 WHERE key3 = 'a')
3. 在SELECT子句中的IN子查询的情况
SELECT key1 IN (SELECT common_field FROM s2 WHERE key3 = 'a') FROM s1 ;
4. 子查询中包含GROUP BY、HAVING或者聚集函数的情况
SELECT * FROM s1 WHERE key2 IN (SELECT COUNT(*) FROM s2 GROUP BY key1);
5. 子查询中包含UNION的情况
SELECT * FROM s1 WHERE key1 IN ( SELECT common_field FROM s2 WHERE key3 = 'a' UNION SELECT common_field FROM s2 WHERE key3 = 'b' );
MySQL仍然留了两口绝活来优化不能转为semi-join
查询的子查询,那就是:
1. 对于不相关子查询来说,可以尝试把它们物化之后再参与查询
比如我们上边提到的这个查询:
SELECT * FROM s1 WHERE key1 NOT IN (SELECT common_field FROM s2 WHERE key3 = 'a')
先将子查询物化,然后再判断key1是否在物化表的结果集中可以加快查询执行的速度。
小提示:
请注意这里将子查询物化之后不能转为和外层查询的表的连接,只能是先扫描s1表,然后对s1表的某条记录来说,判断该记录的key1值在不在物化表中。
2. 不管子查询是相关的还是不相关的,都可以把IN子查询尝试专为EXISTS子查询
其实对于任意一个IN子查询来说,都可以被转为EXISTS子查询,通用的例子如下:
outer_expr IN (SELECT inner_expr FROM ... WHERE subquery_where)
可以被转换为:
EXISTS (SELECT inner_expr FROM ... WHERE subquery_where AND outer_expr=inner_expr)
当然这个过程中有一些特殊情况,比如在outer_expr
或者inner_expr
值为NULL
的情况下就比较特殊。因为有NULL
值作为操作数的表达式结果往往是NULL
,比方说:
mysql> SELECT NULL IN (1, 2, 3); +-------------------+ | NULL IN (1, 2, 3) | +-------------------+ | NULL | +-------------------+ 1 row inset (0.00 sec) mysql> SELECT 1 IN (1, 2, 3); +----------------+ | 1 IN (1, 2, 3) | +----------------+ | 1 | +----------------+ 1 row inset (0.00 sec) mysql> SELECT NULL IN (NULL); +----------------+ | NULL IN (NULL) | +----------------+ | NULL | +----------------+ 1 row inset (0.00 sec)
而EXISTS子查询的结果肯定是TRUE
或者FASLE
:
mysql> SELECT EXISTS (SELECT 1 FROM s1 WHERE NULL = 1); +------------------------------------------+ | EXISTS (SELECT 1 FROM s1 WHERE NULL = 1) | +------------------------------------------+ | 0 | +------------------------------------------+ 1 row inset (0.01 sec) mysql> SELECT EXISTS (SELECT 1 FROM s1 WHERE 1 = NULL); +------------------------------------------+ | EXISTS (SELECT 1 FROM s1 WHERE 1 = NULL) | +------------------------------------------+ | 0 | +------------------------------------------+ 1 row inset (0.00 sec) mysql> SELECT EXISTS (SELECT 1 FROM s1 WHERE NULL = NULL); +---------------------------------------------+ | EXISTS (SELECT 1 FROM s1 WHERE NULL = NULL) | +---------------------------------------------+ | 0 | +---------------------------------------------+ 1 row inset (0.00 sec)
但是幸运的是,我们大部分使用IN
子查询的场景是把它放在WHERE
或者ON
子句中,而WHERE
或者ON
子句是不区分NULL
和FALSE
的,比方说:
mysql> SELECT 1 FROM s1 WHERE NULL; Empty set (0.00 sec) mysql> SELECT 1 FROM s1 WHERE FALSE; Empty set (0.00 sec)
所以只要我们的IN子查询是放在WHERE
或者ON
子句中的,那么IN -> EXISTS
的转换就是没问题的。说了这么多,为啥要转换呢?这是因为不转换的话可能用不到索引,比方说下边这个查询:
SELECT * FROM s1 WHERE key1 IN (SELECT key3 FROM s2 where s1.common_field = s2.common_field) OR key2 > 1000;
这个查询中的子查询是一个相关子查询,而且子查询执行的时候不能使用到索引,但是将它转为EXISTS
子查询后却可以使用到索引:
SELECT * FROM s1 WHERE EXISTS (SELECT 1 FROM s2 wheres1.common_field = s2.common_field AND s2.key3 = s1.key1) OR key2 > 1000;
转为EXISTS
子查询时便可以使用到s2
表的idx_key3
索引了。
需要注意的是,如果IN
子查询不满足转换为semi-join
的条件,又不能转换为物化表或者转换为物化表的成本太大,那么它就会被转换为EXISTS
查询。
小提示:
在MySQL5.5以及之前的版本没有引进semi-join和物化的方式优化子查询时,优化器都会把IN子查询转换为EXISTS子查询,好多同学就惊呼我明明写的是一个不相关子查询,为啥要按照执行相关子查询的方式来执行呢?所以当时好多声音都是建议大家把子查询转为连接,不过随着MySQL的发展,最近的版本中引入了非常多的子查询优化策略,大家可以稍微放心的使用子查询了,内部的转换工作优化器会为大家自动实现。
小结一下
如果IN
子查询符合转换为semi-join
的条件,查询优化器会优先把该子查询转换为semi-join,然后再考虑下边5种执行半连接的策略中哪个成本最低:
- Table pullout
- DuplicateWeedout
- LooseScan Materialization
- FirstMatch 选择成本最低的那种执行策略来执行子查询。
如果IN
子查询不符合转换为semi-join
的条件,那么查询优化器会从下边两种策略中找出一种成本更低的方式执行子查询:
- 先将子查询物化之后再执行查询
- 执行IN to EXISTS转换。
3.4 ANY/ALL子查询优化
如果ANY/ALL子查询是不相关子查询的话,它们在很多场合都能转换成我们熟悉的方式去执行,比方说:
原始表达式 | 转换为 |
---|---|
< ANY (SELECT inner_expr ...) | < (SELECT MAX(inner_expr) ...) |
> ANY (SELECT inner_expr ...) | > (SELECT MIN(inner_expr) ...) |
< ALL (SELECT inner_expr ...) | < (SELECT MIN(inner_expr) ...) |
> ALL (SELECT inner_expr ...) | > (SELECT MAX(inner_expr) ...) |
3.5 [NOT] EXISTS子查询的执行
如果[NOT] EXISTS
子查询是不相关子查询,可以先执行子查询,得出该[NOT] EXISTS
子查询的结果是TRUE
还是FALSE
,并重写原先的查询语句,比如对这个查询来说:
SELECT * FROM s1 WHERE EXISTS (SELECT 1 FROM s2 WHERE key1 = 'a') OR key2 > 100;
因为这个语句里的子查询是不相关子查询,所以优化器会首先执行该子查询,假设该EXISTS子查询的结果为TRUE
,那么接着优化器会重写查询为:
SELECT * FROM s1 WHERE TRUE OR key2 > 100;
进一步简化后就变成了:
SELECT * FROM s1 WHERE TRUE;
对于相关的[NOT] EXISTS子查询来说,比如这个查询:
SELECT * FROM s1 WHERE EXISTS (SELECT 1 FROM s2 WHERE s1.common_field = s2.common_field);
很不幸,这个查询只能按照我们年少时的那种执行相关子查询的方式来执行。不过如果[NOT] EXISTS子查询中如果可以使用索引的话,那查询速度也会加快不少,比如:
SELECT * FROM s1 WHERE EXISTS (SELECT 1 FROM s2 WHERE s1.common_field = s2.key1);
上边这个EXISTS子查询中可以使用idx_key1来加快查询速度。
3.6 对于派生表的优化
我们前边说过把子查询放在外层查询的FROM
子句后,那么这个子查询的结果相当于一个派生表,比如下边这个查询:
SELECT * FROM ( SELECT id AS d_id, key3 AS d_key3 FROM s2 WHERE key1 = 'a' ) AS derived_s1 WHERE d_key3 = 'a';
子查询( SELECT id AS d_id, key3 AS d_key3 FROM s2 WHERE key1 = 'a')
的结果就相当于一个派生表,这个表的名称是derived_s1
,该表有两个列,分别是d_id
和d_key3
对于含有派生表的查询,MySQL提供了两种执行策略:
1. 最容易想到的就是把派生表物化
我们可以将派生表的结果集写到一个内部的临时表中,然后就把这个物化表当作普通表一样参与查询。当然,在对派生表进行物化时,MySQL使用了一种称为延迟物化的策略,也就是在查询中真正使用到派生表时才回去尝试物化派生表,而不是还没开始执行查询呢就把派生表物化掉。比方说对于下边这个含有派生表的查询来说:
SELECT * FROM ( SELECT * FROM s1 WHERE key1 = 'a' ) AS derived_s1 INNER JOIN s2 ON derived_s1.key1 = s2.key1 WHERE s2.key2 = 1;
如果采用物化派生表的方式来执行这个查询的话,那么执行时首先会到s2
表中找出满足s2.key2 = 1
的记录,如果压根⼉找不到,说明参与连接的s2表记录就是空的,所以整个查询的结果集就是空的,所以也就没有必要去物化查询中的派生表了。
2. 将派生表和外层的表合并,也就是将查询重写为没有派生表的形式
我们来看这个贼简单的包含派生表的查询:
SELECT * FROM (SELECT * FROM s1 WHERE key1 = 'a') AS derived_s1;
这个查询本质上就是想查看s1
表中满足key1 = 'a'
条件的的全部记录,所以和下边这个语句是等价的:
SELECT * FROM s1 WHERE key1 = 'a';
对于一些稍微复杂的包含派生表的语句,比如我们上边提到的那个:
SELECT * FROM ( SELECT * FROM s1 WHERE key1 = 'a' ) AS derived_s1 INNER JOIN s2 ON derived_s1.key1 = s2.key1 WHERE s2.key2 = 1;
我们可以将派生表与外层查询的表合并,然后将派生表中的搜索条件放到外层查询的搜索条件中,就像这样:
SELECT * FROM s1 INNER JOIN s2 ON s1.key1 = s2.key1 WHERE s1.key1 = 'a' AND s2.key2 = 1;
这样通过将外层查询和派生表合并的方式成功的消除了派生表,也就意味着我们没必要再付出创建和访问临时表的成本了。可是并不是所有带有派生表的查询都能被成功的和外层查询合并,当派生表中有这些语句就不可以和外层查询合并:
- 聚集函数,比如MAX()、MIN()、SUM()啥的
- DISTINCT
- GROUP BY
- HAVING
- LIMIT
- UNION 或者 UNION ALL
- 派生表对应的子查询的SELECT子句中含有另一个子查询
- ... 还有些不常用的情况就不多说了哈~
所以MySQL在执行带有派生表的时候,优先尝试把派生表和外层查询合并掉,如果不行的话,再把派生表物化掉执行查询。
至此今天的学习就到此结束了,愿您成为坚不可摧的自己~~~
以上就是一文带你了解MySQL基于规则的优化的详细内容,更多关于MySQL基于规则优化的资料请关注脚本之家其它相关文章!