用exists校验外键存在性更安全：in遇null会返回unknown导致误过滤，而not exists逻辑清晰无歧义；聚合比对须对齐分组维度，避免笛卡尔积；浮点数比较需用abs误差容忍。
用 EXISTS 而不是 IN 校验外键存在性
校验“订单表里的 customer_id 是否全在客户表中”时，WHERE customer_id IN (SELECT id FROM customers) 看似简洁，但只要子查询返回任意一个 NULL，整条条件就变成 UNKNOWN，该行被无声过滤——这不是数据缺失，是三值逻辑的必然结果。
真正安全的做法是用 EXISTS：
SELECT order_id, customer_id FROM orders WHERE NOT EXISTS ( SELECT 1 FROM customers WHERE customers.id = orders.customer_id );
-
SELECT 1比SELECT *或SELECT id更轻量，避免传输冗余字段 -
NOT EXISTS对空集返回TRUE，对匹配行返回FALSE，逻辑清晰无歧义 - 确保
customers.id有索引，否则子查询会触发全表扫描
聚合比对必须对齐分组维度
核对“销售明细总金额是否等于日汇总表的 total_amount”，不能直接写 SUM(detail.amount) = (SELECT total_amount FROM summary)——一旦明细表有多个同一天的记录，而汇总表只有一行，就会因隐式笛卡尔积导致结果翻倍。
正确做法是让两边都按相同粒度聚合：
SELECT (SELECT SUM(amount) FROM sales WHERE DATE(created_at) = '2024-06-01') AS detail_sum, (SELECT total_amount FROM daily_summary WHERE date = '2024-06-01') AS summary_sum;
- 如果明细表和汇总表的业务口径不同（比如汇总含退款、明细不含），得先统一过滤条件，而非硬比数字
- 浮点数比对必须用误差容忍，如
ABS(detail_sum - summary_sum) ，不能用 <code>= - MySQL 5.7 及更早版本不支持子查询里带
ORDER BY ... LIMIT，校验语句里要主动避开
LEFT JOIN + COUNT(*) 暴露关联断层
想发现“哪些订单没有对应的明细项”，不能靠 SELECT * FROM orders WHERE id NOT IN (SELECT order_id FROM order_items)——若 order_items.order_id 有 NULL，整个 NOT IN 就失效。
改用 LEFT JOIN 显式暴露空匹配：
SELECT o.id FROM orders o LEFT JOIN order_items oi ON o.id = oi.order_id GROUP BY o.id HAVING COUNT(oi.id) = 0;
-
COUNT(oi.id)统计的是右表非 NULL 的匹配行数；COUNT(*)则始终为 1（因为左表行还在） - 若
order_items.order_id允许 NULL，需额外查：SELECT * FROM order_items WHERE order_id IS NULL，这类记录不会参与任何 JOIN - GROUP BY 字段必须是左表主键或唯一键，否则分组结果不可靠
相关子查询性能差，优先转成 JOIN
类似 SELECT *, (SELECT status FROM users WHERE users.id = orders.user_id) AS user_status FROM orders 这种写法，数据库会对每行 orders 执行一次子查询，10 万行就是 10 万次单行查找。
等价但高效的做法是显式 JOIN：
SELECT o.*, u.status AS user_status FROM orders o LEFT JOIN users u ON o.user_id = u.id;
- JOIN 后可利用
users.id上的索引一次性完成关联 - 如果只取部分字段，别写
SELECT *，明确列出需要的列，减少网络和内存开销 - 若
users表很大且只查少量字段，考虑建覆盖索引，如CREATE INDEX idx_users_id_status ON users(id, status)
跨表校验最易被忽略的点是：子查询的执行时机和 NULL 处理不是语法问题，而是数据语义问题。写完一条校验 SQL，先问自己——当被关联字段出现 NULL 时，这条语句返回什么？它是否符合你心里预设的“异常”定义？
