1. 已知语义：

   • 每个学生选修每门课程有唯一名次

   • 每门课程的每个名次只对应一个学生

2. 推导函数依赖：

   • 从第一个语义得出：(S, C) → M
     （给定学生和课程，可以确定名次）

   • 从第二个语义得出：(C, M) → S
     （给定课程和名次，可以确定学生）

3. 候选键：

   • {S, C} 和 {C, M} 都是候选键

   • 因为它们都能函数决定所有其他属性

   • 1NF：

     • 所有属性都是原子值（满足）

   • 2NF：

     • 没有非主属性对候选键的部分函数依赖（满足）

     • 因为只有两个候选键，且都包含全部属性（无部分依赖可能）

   • 3NF：

     • 没有非主属性对候选键的传递函数依赖（满足）

     • 所有非主属性都直接依赖于候选键（实际上所有属性都是主属性）

   • BCNF：

     • 检查所有函数依赖的左侧是否都是超键

       • (S,C) → M：{S,C}是候选键（满足）

       • (C,M) → S：{C,M}是候选键（满足）

     • 没有其他函数依赖（满足）

   • 4NF：

     • 检查是否存在非平凡多值依赖

     • 当前只有函数依赖，没有多值依赖（满足）

这个是不是因为，主属性是S、C、M，整个都是码，所以可以最高达到BCNF,