函数依赖：

字母表示：FD（Functional Dependency，FD）

定义：R(U)，X、Y为属性集，t1、t2为元组，若t1[X]＝t2[X]，则t1[Y]＝t2[Y]，称X函数决定Y函数或Y依赖于X，记作X→Y。
例3-22 对实例3-21“学生选课”关系模式R，如果规定每个学生只能有一个姓名，每个课程号只能对应一门课程，则有以下FD：
sno→sname
cno→cname

**********************

函数依赖集：

定义：函数依赖的集合称为函数依赖集。

字母表示：F

如：F:{sno→sname,cno→cname}

***********************

函数依赖集闭包：

F闭包：由F中的所有FD可以推导出所有FD的集合，记为F+。

***********************

属性集闭包

属性集闭包定义 ：
对F，F+中所有X→A的A的集合称为X的闭包，记为X+。可以理解为X+表示所有X可以决定的属性。

属性集闭包的算法：

A+：将A置入A+。对每一FD，若左部属于A+，则将右部置入A+，一直重复至A+不能扩大。