关系数据理论与模式求精
函数依赖
非平凡函数依赖
- 平凡函数依赖:
(职工号,性别)→职工号
(职工号,性别)→性别 - 非平凡函数依赖
(职工号,姓名)→性别
//虽然在这里由决定因素中所含的职工号单属性就能够函数决定性别,而带有的姓名属性有些多余.
完全和部分函数依赖
传递函数依赖
student是a
classNo是b
{classname,instutute}是c
student->classNo
student->{classname,instutute}
classNo->{classname,instutute}
即a->b
a->c
b->c
b不能->a 所以满足传递依赖
范式
第一范式
每一列都不可分