先说一个核心结论：在SQL里用关联子查询做引用完整性校验时，NOT EXISTS 几乎是比 NOT IN 更稳妥的选择。为什么呢？问题出在 NULL 身上。
关联子查询验证引用完整性时，为什么 NOT EXISTS 比 NOT IN 更可靠
原因其实不复杂：NOT IN 一旦碰到子查询结果里含有 NULL，整个条件就会变成 UNKNOWN——这是SQL三值逻辑在搞鬼。结果就是，本该被揪出来的“孤儿记录”被静默放过去了。而 NOT EXISTS 只看子查询里有没有匹配行，NULL 对它来说毫无影响。
一个很常见的翻车现场是这样的：写一句 WHERE customer_id NOT IN (SELECT id FROM customers) 想找出那些找不到对应客户的订单，结果客户表里只要有一条 id IS NULL 的记录，整个查询就直接返回空——别惊讶，不是没孤儿订单，是逻辑被三值逻辑给吞了。
所以实操中必须这样写：
- 用
NOT EXISTS (SELECT 1 FROM customers WHERE customers.id = orders.customer_id)替代 SELECT 1比SELECT *更轻量，避免优化器误判或传输冗余字段- 外层字段（如
orders.customer_id）必须在子查询WHERE里显式关联，否则就成了非相关子查询，性能会爆炸
自引用场景下，关联子查询要额外处理软删除和 NULL
拿员工表 employees 来说，manager_id 指向本表 employee_id，但顶层管理者的 manager_id 是 NULL，而且表中还可能有 is_deleted = 1 的逻辑删除记录——这时候如果直接套用 NOT EXISTS，那合法的 NULL 管理者也会被标成异常。
正确的写法需要兼顾两种场景：既要允许 manager_id IS NULL，又要保证非空时必须指向一条有效的记录。
- 校验语句应该写成：
WHERE manager_id IS NOT NULL AND NOT EXISTS (SELECT 1 FROM employees e2 WHERE e2.employee_id = e1.manager_id AND e2.is_deleted = 0) e2.is_deleted = 0必须写在子查询的WHERE里，不能提到外层，否则会漏掉被软删除的上级- 另外字段类型也得小心：假如
employee_id是BIGINT而manager_id是INT，隐式转换会让索引失效，务必保持类型一致
触发器里用关联子查询拦截非法写入，性能关键点在哪
想在 INSERT 或 UPDATE 时实时阻止无效的 manager_id，在触发器里执行 SELECT 是可行的，但很容易拖慢写入速度——尤其是子查询没走索引或返回多行的时候。
实操建议聚焦在轻量、确定性的检查上：
- 只查
employee_id字段，配合覆盖索引INDEX (employee_id, is_deleted) - 用
EXISTS而非SELECT COUNT(*)，前者找到一行就停，后者得扫完所有匹配行 - 避免在触发器里写
JOIN或多层嵌套，MySQL 触发器不支持LATERAL，相关子查询已经是极限了 - 拦截逻辑可以这样写：
IF NOT EXISTS (SELECT 1 FROM employees WHERE employee_id = NEW.manager_id AND is_deleted = 0) THEN SIGNAL SQLSTATE '45000' SET MESSAGE_TEXT = 'invalid manager_id'; END IF;
多层嵌套关联子查询为什么容易变慢，怎么破
举个例子：要验证“订单明细的 product_id 不仅存在于产品表，还必须属于当前订单所属类目的有效产品”。如果写成三层 NOT EXISTS 嵌套，响应时间可能从 20ms 飙升到 2s——根本原因在于每层都依赖上层字段，数据库被迫对每一行做多次独立扫描。
解决办法是优先考虑改写为 JOIN + 索引，而不是硬扛嵌套：
- 把中间校验逻辑提前物化：比如用
WITH valid_products AS (SELECT id FROM products WHERE status = 'active')定义临时结果集 - 确认每层子查询的关联条件是否命中索引，特别注意
IN (子查询)中的子查询如果返回上千行，IN会退化为线性查找 - PostgreSQL 可以用
LATERAL替代部分嵌套，但 MySQL 8.0.16+ 才支持函数索引，而且仅限于简单表达式
说到底，真正关键的，从来不是写出一条能运行的SQL——而是让校验逻辑在高并发写入时仍然不拖垮数据库。索引、字段类型、NULL 处理，每个细节漏掉一点，线上就会卡住。
