MySQL：为什么不优化'FOO'IS NULL？

Question

MySQL 5.5.28。我有两个表Person 和Message，后者有一个外键到前者。每个表都有id 作为主键列，Person 表还有一个列personId，它是（唯一）索引的。

下面的查询应该利用 personId 键索引，但 MySQL 出于某种原因需要扫描整个 Message 表：

mysql> 解释 SELECT `m`.* -> 从 -> `消息`作为`m` -> 左连接 -> `Person` AS `p` ON (`m`.`person` = `p`.`id`) -> 在哪里 -> 'M002649397' 为空或 -> `p`.`personId` = 'M002649397'; +----+-------------+--------+--------+------------- --+---------+---------+----------------+--------+- ------------+ |编号 |选择类型 |表|类型 |可能的键 |关键 | key_len |参考 |行 |额外 | +----+-------------+--------+--------+------------- --+---------+---------+----------------+--------+- ------------+ | 1 |简单 |米 |全部 |空 |空 |空 |空 | 273220 | | | 1 |简单 | p | eq_ref |初级 |初级 | 8 | pcom.m.人 | 1 |使用位置 | +----+-------------+--------+--------+------------- --+---------+---------+----------------+--------+- ------------+ 2 行（0.00 秒）

但是当我注释掉'M002649397' IS NULL OR子句（对结果没有影响）时，查询突然变得更有效率了：

mysql> 解释 SELECT `m`.* -> 从 -> `消息`作为`m` -> 左连接 -> `Person` AS `p` ON (`m`.`person` = `p`.`id`) -> 在哪里 -> -- 'M002649397' 为空或 -> `p`.`personId` = 'M002649397'; +----+-------------+--------+-------+-------------- ------+--------+---------+--------+---- --+--------------+ |编号 |选择类型 |表|类型 |可能的键 |关键 | key_len |参考 |行 |额外 | +----+-------------+--------+-------+-------------- ------+--------+---------+--------+---- --+--------------+ | 1 |简单 | p |常量 | PRIMARY,personId |人名 |第767章常量 | 1 |使用索引 | | 1 |简单 |米 |参考 | FK9C2397E7A0F6ED11 | FK9C2397E7A0F6ED11 | 9 |常量 | 3 |使用位置 | +----+-------------+--------+-------+-------------- ------+--------+---------+--------+---- --+--------------+ 2 行（0.01 秒）

我的问题是：为什么 MySQL 不够聪明，无法意识到 'M002649397' IS NULL 总是错误的，优化它，避免不必要地扫描大表中的每一行？

换句话说，MySQL 优化器是否不知道'M002649397' IS NULL 始终为假，或者它在构造查询计划时未能将该优化应用于查询？

Answer 1

这是verified MySQL bug。

条件不能有一个执行计划：

WHERE (0 = 1) 或 p.personId = 'string_constant';

还有另一个执行计划：

WHERE p.personId = 'string_constant';

因为 (0 = 1) 总是导致 FALSE，这使得上述两个查询 100% 相同。

您可以在错误报告本身中看到，当 (0 = 1) OR 存在时的执行计划比表达式只是列与常量相等的执行计划差得多。

*注意这是fixed in MariaDB。

Answer 2

实际上，更有趣的是，文档说 MySQL 足够聪明，可以做到这一点（参见 here）。

这似乎在标题“8.2.1.2。消除“死”代码”下。

我想原因是开发人员在编写代码时没有考虑诸如“不为空”之类的表达式。该文档提供了许多基于常量传播的示例（x1 = 2 and x2 = x1 变为 x1 = 2 and x2 = 2）。 is null 可能确实出现在这种情况下。