C12
范式判定与模式分解
部分依赖拆一半、传递依赖拆链尾、BCNF 看决定子——拆表每一步都要给理由
开始讲解
交互实验
预置关系表：
① 点选候选键（可多选），再验证
② 依赖箭头图（红橙紫 = 三种违规）
③ 逐级判定 1NF → 2NF → 3NF → BCNF
④ 分解演示：表怎么拆、为什么拆（逐步执行 + 复核无损/保依赖）
核心思想
- 候选码四步法：L+N 类必在码中 → 闭包=全体即码 → 否则与 LR 类组合找最小闭包。
- 判定阶梯：部分依赖 → 停在 1NF；传递依赖 → 停在 2NF；决定子非超键 → 停在 3NF；全过才 BCNF。
- 「码的一部分」≠「超键」：BCNF 要求决定子⁺能推出全体（2025-11 真题：AD/BD/CD 全主属性 → 3NF 而非 BCNF）。
- 拆表两原则：无损连接（原码整体保留在某张表）+ 保持依赖（每条依赖各归其表）。
- 反范式不丢分：OLAP 读多写少可适度冗余换 JOIN——考概念时认准「OLTP 严格范式」。
真题演练
查看解析
深化笔记：11 · 数据库与网络深化 §C 函数依赖与范式 （函数依赖类型、候选码求解四步、范式判定决策树、2025-11 勘误说明）。反查：21 · 考点反查索引。