关系数据理论--规范化

1.函数依赖（“X函数确定Y” 或  “Y函数依赖于X”，记作X→Y。  ）

v函数依赖

v平凡函数依赖与非平凡函数依赖

•  

           在关系SC(Sno, Cno, Grade)中，

  非平凡函数依赖： (Sno, Cno) → Grade

  平凡函数依赖：     (Sno, Cno) → Sno

                                         (Sno, Cno) → Cno

v完全函数依赖与部分函数依赖

v传递函数依赖

在R(U)中，如果X→Y，(Y 属于X) ,Y→X Y→Z， 则称Z对X传递函数依赖。

    记为：X → Z

2.码

设K为R<U,F>中的属性或属性组合。若K    U，  则K称为R