一个 相关子查询 是一个包含对外部查询中表的引用的子查询。例如：

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 标志启用时。考虑以下查询：

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

为了避免对派生表的多次物化，我们可以将派生表物化一次，添加一个对连接列的分组（来自内部查询的表 t2.a），然后对外连接 lift predicate (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）并在条件为 true 时引发给定的错误（在这种情况下，为 ER_SUBQUERY_NO_1_ROW）。这反映了优化器在评估 JOIN 或 WHERE 子句之前执行的基数检查，以确定子查询是否返回多于一行。

这种类型的转换可以执行，前提是满足以下条件：

另见 第 15.2.15.8 节，“派生表”。