一个 相关子查询 是一个子查询，它包含对也出现在外部查询中的表的引用。例如

SELECT * FROM t1
  WHERE column1 = ANY (SELECT column1 FROM t2
                       WHERE t2.column2 = t1.column2);

注意，子查询包含对 t1 的列的引用，即使子查询的 FROM 子句没有提到表 t1。因此，MySQL 会查看子查询外部，并在外部查询中找到 t1。

假设表 t1 包含一行，其中 column1 = 5 且 column2 = 6；同时，表 t2 包含一行，其中 column1 = 5 且 column2 = 7。简单的表达式 ... WHERE column1 = ANY (SELECT column1 FROM t2) 将为 TRUE，但在本例中，子查询中的 WHERE 子句为 FALSE（因为 (5,6) 不等于 (5,7)），因此整个表达式为 FALSE。

范围规则： MySQL 从内到外进行评估。例如

SELECT column1 FROM t1 AS x
  WHERE x.column1 = (SELECT column1 FROM t2 AS x
    WHERE x.column1 = (SELECT column1 FROM t3
      WHERE x.column2 = t3.column1));

在此语句中，x.column2 必须是表 t2 中的列，因为 SELECT column1 FROM t2 AS x ... 将 t2 重命名。它不是表 t1 中的列，因为 SELECT column1 FROM t1 ... 是 更外层 的外部查询。

当 subquery_to_derived 标志在 optimizer_switch 变量中启用时，优化器可以将相关标量子查询转换为派生表。

SELECT * FROM t1 
    WHERE ( SELECT a FROM t2 
              WHERE t2.a=t1.a ) > 0;

为了避免在给定的派生表中多次物化，我们可以对派生表进行一次物化，该派生表在内部查询中引用的表（t2.a）的连接列上添加一个分组，然后在提升的谓词（t1.a = derived.a）上进行外连接，以选择与外部行匹配的正确组。（如果子查询已经有显式分组，则额外分组将添加到分组列表的末尾。）因此，前面显示的查询可以这样重写

SELECT t1.* FROM t1 
    LEFT OUTER JOIN
        (SELECT a, COUNT(*) AS ct FROM t2 GROUP BY a) AS derived
    ON  t1.a = derived.a 
        AND 
        REJECT_IF(
            (ct > 1),
            "ERROR 1242 (21000): Subquery returns more than 1 row"
            )
    WHERE derived.a > 0;

在重写的查询中，REJECT_IF() 代表一个内部函数，该函数测试给定的条件（此处为比较 ct > 1），如果条件为真，则引发给定的错误（在本例中为 ER_SUBQUERY_NO_1_ROW）。这反映了优化器在评估 JOIN 或 WHERE 子句时执行的基数检查，在评估任何提升的谓词之前，只有当子查询没有返回多于一行时才会执行该检查。

只要满足以下条件，就可以执行这种类型的转换

另请参阅 第 15.2.15.8 节，“派生表”。