优化器会犯错

优化器依赖统计信息、成本模型和规则选择执行计划；当数据分布偏斜、条件相关或表达式复杂时，它可能选错路径。发散：EXPLAIN不是形式检查，而是理解数据库推理过程。