在关系型数据库里，有一类查询要求外层记录的某一关联集合必须完全覆盖子查询的结果集，例如找出购买了某个分类下全部商品的用户，或考勤中签到了所有培训课次的员工。这种“满足子查询所有条件”的语义，不能简单用IN或EXISTS表达，而需要借助ALL运算符或通过COUNT计数配对来实现。
一、使用ALL运算符的直观写法
ALL运算符用于将外部值与子查询返回的每一个值进行比较。当我们需要判断“外部记录的关联数量不小于子查询总数”时，可把问题转化为：外部统计值 >= ALL(子查询返回的所有统计值)，但更常见的全满足模式是用NOT EXISTS配合反例，或用ALL做差值判断。
以下示例假设有三张表：student（学生）、course（课程）、sc（选课记录）。需求是找出选修了所有课程的学生。用ALL的思路是：一个学生选修的课程数，等于总课程数，而总课程数可以通过子查询获得，用ALL表达为“该生的选课数大于等于子查询中所有可能的计数”——因为子查询只返回总课程数这一行，ALL在此等价于等于。
SELECT s.s_id, s.s_name
FROM student s
WHERE (
SELECT COUNT(*)
FROM sc
WHERE sc.s_id = s.s_id
) = ALL (
SELECT COUNT(*)
FROM course
);
上面代码中，子查询返回课程总数（单行），ALL比较实际退化成等值判断。若子查询返回多行统计（例如按专业统计的课程数），ALL才真正体现“大于等于每一个”。这种写法语义清楚，但多数优化器对ALL子查询的改写能力弱，常变成逐行执行。
ALL写法的局限
首先，ALL不能与IN混淆：IN等价于= ANY，而ALL要求满足全部。其次，当子查询可能返回空集合时，ALL比较的结果在SQL标准里为TRUE（因为不存在反例），这容易引发逻辑漏洞，需要手动加EXISTS保护。
另外，在MySQL等数据库中，ALL子查询往往无法有效利用索引做哈希聚合，执行计划会出现DEPENDENT SUBQUERY，随着学生表增大而明显变慢。
二、COUNT配对法的等价实现
COUNT配对法把“全满足”拆成两个计数：子查询目标总数N，以及外层记录匹配到的数量M，当M = N时即满足。它不依赖ALL语义，几乎所有关系数据库都能良好优化。
仍用学生选课场景，先算出课程总条数，再算该生选课条数，两者相等即代表选全。下面用HAVING与派生表结合的方式写出标准兼容版本。
SELECT s.s_id, s.s_name
FROM student s
JOIN sc ON sc.s_id = s.s_id
GROUP BY s.s_id, s.s_name
HAVING COUNT(DISTINCT sc.c_id) = (
SELECT COUNT(*)
FROM course
);
该语句先通过JOIN和GROUP BY统计每位学生的选课数，HAVING中引用标量子查询得到课程总数。由于两个计数都可走索引（sc.c_id、course主键），执行器通常采用HASH JOIN或AGGREGATE，性能稳定。
COUNT法处理多条件子集
如果需求变成“选修了某老师开设的所有课程”，只需把标量子查询改为带WHERE的计数，并在HAVING中保持同样的过滤逻辑即可，扩展性强。
SELECT s.s_id, s.s_name
FROM student s
JOIN sc ON sc.s_id = s.s_id
JOIN course c ON c.c_id = sc.c_id
WHERE c.teacher = '王老师'
GROUP BY s.s_id, s.s_name
HAVING COUNT(DISTINCT sc.c_id) = (
SELECT COUNT(*)
FROM course
WHERE teacher = '王老师'
);
这种写法把“所有条件”收束为一个常量计数，逻辑上等同于ALL，但计划可控。需要注意COUNT(DISTINCT)在重复选课时才不会误算，若业务保证无重复则可省略DISTINCT以提升速度。
三、两种方案的执行与适用对比
从优化器角度，ALL写法属于谓词级嵌套，常无法下推；COUNT配对属于聚合后过滤，易于并行。我们用一张简表归纳差异。
| 对比维度 | ALL运算符写法 | COUNT配对写法 |
|---|---|---|
| 语义直观性 | 高，贴近“所有”自然语言 | 中，需理解计数等价 |
| 索引利用 | 较弱，易DEPENDENT | 较强，聚合可走索引 |
| 空集合处理 | 需注意TRUE陷阱 | 自然为0等于0，安全 |
| 数据库兼容 | 部分引擎支持差 | 全部支持 |
实际项目中，若团队熟悉标准SQL且数据量小，ALL写法可读性更好；但在生产大表上，推荐COUNT配对。还有一种NOT EXISTS反证法：找不到一门该生没选的课程，同样能表达全满足，其计划与COUNT法接近，可酌情选用。
反证法示例：WHERE NOT EXISTS (SELECT 1 FROM course c WHERE NOT EXISTS (SELECT 1 FROM sc WHERE sc.s_id = s.s_id AND sc.c_id = c.c_id))
综上，SQL查询满足子查询所有条件的记录，核心是把集合包含转成可计算的等价判断。ALL提供语法糖，COUNT配对提供工程稳健性，理解二者差异才能写出既正确又高效的查询。