在SQL的实际开发场景中，判断一个集合是否完全被另一个集合包含是常见需求，比如校验用户的所有标签是否都在系统预设的合法标签集合中，或者确认某批订单的所有商品ID是否都存在于可发货商品列表里。这种需求的核心逻辑是：待判断的集合中不存在不属于目标集合的元素。
基础场景与表结构准备
我们先假设两个基础表结构，方便后续演示不同方法的实现逻辑：
- 目标集合表
target_set，存储被包含的目标集合元素，包含字段id（主键）、element_val（集合元素值） - 待判断集合表
check_set，存储需要校验的集合元素，包含字段id（主键）、element_val（集合元素值）、group_id（集合分组标识，同一个group_id的元素属于同一个待判断集合）
现在的需求是：判断某个group_id对应的所有element_val是否都存在于target_set的element_val中。
方法一：使用NOT EXISTS子查询
这种方法的逻辑是：查找待判断集合中，是否存在不在目标集合里的元素，如果不存在这样的元素，就说明待判断集合完全被包含。
-- 判断group_id为1的集合是否完全包含在target_set中
SELECT
CASE
WHEN COUNT(t.id) = 0 THEN '完全包含'
ELSE '存在不包含的元素'
END AS check_result
FROM (
-- 查找待判断集合中不在目标集合里的元素
SELECT c.element_val
FROM check_set c
WHERE c.group_id = 1
AND NOT EXISTS (
SELECT 1
FROM target_set t
WHERE t.element_val = c.element_val
)
) t;
如果子查询返回的记录数为0，说明待判断集合的所有元素都在目标集合中，即满足包含关系。
方法二：使用LEFT JOIN结合NULL判断
通过左连接将待判断集合和目标集合关联，如果待判断集合的元素在目标集合中不存在，那么关联后的目标集合字段会为NULL，统计NULL的数量即可判断。
-- 判断group_id为1的集合是否完全包含在target_set中
SELECT
CASE
WHEN SUM(CASE WHEN t.element_val IS NULL THEN 1 ELSE 0 END) = 0 THEN '完全包含'
ELSE '存在不包含的元素'
END AS check_result
FROM check_set c
LEFT JOIN target_set t
ON c.element_val = t.element_val
WHERE c.group_id = 1;
这里使用SUM统计关联后目标集合元素为NULL的数量，数量为0则代表所有待判断元素都有匹配的目标元素，即集合被完全包含。
方法三：使用集合运算（适用于支持集合操作的数据库）
如果数据库支持EXCEPT（或MINUS，不同数据库语法略有差异）集合运算，可以先取出待判断集合减去目标集合的差集，如果差集为空，说明待判断集合完全被包含。
-- 适用于SQL Server、PostgreSQL等支持EXCEPT的数据库
-- 判断group_id为1的集合是否完全包含在target_set中
SELECT
CASE
WHEN COUNT(*) = 0 THEN '完全包含'
ELSE '存在不包含的元素'
END AS check_result
FROM (
-- 取待判断集合中存在但目标集合中不存在的元素
SELECT element_val
FROM check_set
WHERE group_id = 1
EXCEPT
SELECT element_val
FROM target_set
) t;
如果是Oracle数据库，需要将EXCEPT替换为MINUS，逻辑完全一致。
不同方法的适用场景对比
| 方法 | 适用场景 | 性能特点 |
|---|---|---|
| NOT EXISTS子查询 | 所有主流数据库通用 | 如果关联字段有索引，性能较好，适合大数据量场景 |
| LEFT JOIN判断 | 所有主流数据库通用 | 逻辑直观，但是会产生临时关联结果，大数据量下性能略逊于NOT EXISTS |
| 集合运算 | 支持EXCEPT/MINUS的数据库 | 语法简洁，但是部分数据库不支持，且差集运算的性能依赖数据库优化器 |
注意事项
- 如果集合元素存在重复值，需要先对待判断集合做去重处理，避免重复元素影响判断结果，比如可以在子查询中加上
DISTINCT关键字 - 关联字段建议建立索引，尤其是数据量较大的时候，索引可以大幅提升查询效率
- 如果待判断集合为空集，上述方法都会返回完全包含的结果，实际使用中如果需要排除空集场景，可以额外增加空集判断逻辑
集合包含判断的核心逻辑是确认待判断集合中无目标集合外的元素，开发者可以根据实际使用的数据库类型和表结构特点，选择最合适的实现方式。