为何INNER JOIN查询返回全量行而非匹配的单行？

问题背景 #

表结构与数据初始化 #

CREATE TABLE EMPLOYEE (
  empId INTEGER AUTO_INCREMENT PRIMARY KEY,
  name TEXT NOT NULL,
  dept TEXT NOT NULL
);

INSERT INTO EMPLOYEE(name, dept) VALUES ('Clark', 'Sales');
INSERT INTO EMPLOYEE(name, dept) VALUES ('Dave', 'Accounting');
INSERT INTO EMPLOYEE(name, dept) VALUES ('Ava', 'Sales');

执行的查询语句 #

SELECT * 
FROM EMPLOYEE AS a 
INNER JOIN EMPLOYEE b 
  ON a.empId = (SELECT MIN(b.empId));

实际输出结果 #

+-------+-------+------------+-------+-------+------------+
| empId | name  | dept       | empId | name  | dept       |
+-------+-------+------------+-------+-------+------------+
|     1 | Clark | Sales      |     1 | Clark | Sales      |
|     2 | Dave  | Accounting |     2 | Dave  | Accounting |
|     3 | Ava   | Sales      |     3 | Ava   | Sales      |
+-------+-------+------------+-------+-------+------------+

预期仅返回empId=1的行，但实际返回所有行，以下是问题解答：

1. 为何会返回所有行？ #

核心问题是子查询中的b是JOIN子句右侧表的别名，而非全局的EMPLOYEE表引用。当执行子查询(SELECT MIN(b.empId))时，这个b指向的是当前正在匹配的b行，单一行的最小值就是它自身的empId，因此ON条件等价于a.empId = b.empId，也就是表的自连接，最终返回所有行的匹配结果。

2. INNER JOIN是如何评估带有子查询的ON子句的？ #

INNER JOIN会对每一对候选的(a,b)行执行条件评估：

• 遍历a表的每一行，再匹配b表的每一行生成候选行对
• 针对每个行对，执行ON子句的条件判断，子查询会基于当前行对中的b行计算结果
• 条件为真时，该行对会被保留为结果的一部分

在你的查询中，子查询未引用外部的a表，而是绑定了JOIN右侧的b表，导致条件永远成立，所有行对都被保留。

3. 此处的正确行为是什么？ #

当前查询的行为完全符合SQL语法规则：由于子查询的别名作用域错误，条件被解析为a.empId = b.empId，最终执行的是EMPLOYEE表的自连接，返回所有行的匹配结果。你预期的“仅返回最小empId行”并不是当前查询的逻辑，属于对别名作用域的误解导致的预期偏差。

4. 如何修改查询以仅获取empId最小的行？ #

有三种常见的修改方式：

方式一：子查询明确查询全局最小empId

SELECT * 
FROM EMPLOYEE AS a 
INNER JOIN EMPLOYEE b 
  ON a.empId = (SELECT MIN(empId) FROM EMPLOYEE);

子查询直接从EMPLOYEE表获取全局最小empId，ON条件只会匹配a.empId等于该值的行，最终返回empId=1的自连接结果。

方式二：直接查询最小empId的行（无需自连接）

如果不需要重复列，直接查询即可：

SELECT * FROM EMPLOYEE WHERE empId = (SELECT MIN(empId) FROM EMPLOYEE);

方式三：使用LIMIT（适用于MySQL等支持LIMIT的数据库）

SELECT * FROM EMPLOYEE ORDER BY empId LIMIT 1;

内容的提问来源于stack exchange，提问作者kahn