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

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)将是TRUEFALSE(因为(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节，“派生表”。