、函数依赖(P172) 定义61设R(U是一个属性集U上的关系模式, X和Y是∪的子集。若对于R(U)的任意一个可能的 关系r,「中不可能存在两个元组在X上的属性值相 等,而在Y上的属性值不等,则称“X函数确定Y 或“Y函数依赖于Ⅹ”,记作Ⅹ→Y
一、函数依赖（P172） 定义6.1 设R(U)是一个属性集U上的关系模式， X和Y是U的子集。若对于R(U)的任意一个可能的 关系r，r中不可能存在两个元组在X上的属性值相 等， 而在Y上的属性值不等， 则称 “X函数确定Y” 或 “Y函数依赖于X”，记作X→Y
函数依赖(续) 定义:设R(U)是一个属性集U上的关系模式,Ⅹ和 Y是U的子集。若对于R(U)的任意一个可能的关 系『,对于Ⅹ的每一个值,Y都有一个确定的值与 之对应,则称“Ⅹ函数确定Y”或“Y函数依赖于 X”,记作Ⅹ→Y
函数依赖（续） 定义： 设R(U)是一个属性集U上的关系模式，X和 Y是U的子集。若对于R(U)的任意一个可能的关 系r，对于X的每一个值， Y都有一个确定的值与 之对应，则称 “X函数确定Y” 或 “Y函数依赖于 X”，记作X→Y
函数依赖(续) 为什么叫函数依赖? Y=f(X) XXx
一、函数依赖(续) 为什么叫函数依赖？ Y=f(X) X0 --- Y0 X1 --- Y1 XN --- YN
说明 1.函数依赖不是指关系模式R的某个或某些关系实 例满足的约束条件,而是指R的所有关系实例均要 满足的约束条件。 2.函数依赖是语义范畤的概念。只能根据数据的语 义来确定函数依赖。 例如“姓名→性别”这个函数依赖只有在不允许 有同名人的条件下成立
说明： 1. 函数依赖不是指关系模式R的某个或某些关系实 例满足的约束条件，而是指R的所有关系实例均要 满足的约束条件。 2. 函数依赖是语义范畴的概念。只能根据数据的语 义来确定函数依赖。 例如“姓名→性别”这个函数依赖只有在不允许 有同名人的条件下成立
函数依赖(续) F]: Student(sno, Sname, Ssex, Sage, sdept 假设不允许重名,则有 Sno→sseX Sno→Sage,Sno→ Sdept, sno←→ Sname, Sname→SseX, Sname→ Sage Sname→ Sdept 但 Ssex Sage 若Ⅹ→Y,并且Y→X,则记为X→Y。 若Y不函数依赖于Ⅹ,则记为X→Y
函数依赖（续） 例: Student(Sno, Sname, Ssex, Sage, Sdept) 假设不允许重名，则有: Sno → Ssex， Sno → Sage , Sno → Sdept， Sno ←→ Sname, Sname → Ssex， Sname → Sage Sname → Sdept 但Ssex →Sage 若X→Y，并且Y→X, 则记为X←→Y。 若Y不函数依赖于X, 则记为X─→Y