数据库规范化

数据库

　　　　基础知识   函数依赖 

　　　　　　　　设R(U)是属性集U上的关系模式，x，y是u的子集，若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在x上的属性值相等，而在y上的属性值不等则

　　　　　　称x函数确定y或者y依赖于函数x，记做x->y.

  　　　　　　　在R(U)中，如果x->y，并且对于x的任何一个真子集x'，都有x'不确定y，则y对x为完全函数依赖

　　　　　　　　记记作X→f（f在箭头上面）Y

　　　　　　　在R(U)中，如果x->y，但是y不完全依赖于x

　　　　　　　　记做x->p_{（p在箭头上面）}Y

　　　　　　　　比如一个表为（学号，课程号，成绩）  　（学号，课程号）->（成绩）为完全函数依赖

　　　　　　　　（学号，课程号，所属院系）　　　　（学号，课程号）->（院系）为部分函数依赖