函数依赖的严格形式化定义 ◆定义91:设有关系模式R(A1A2…An),X和Y均 一为A1A2…,An}的子集,r是R的任一具体关系, t1、t2是r中的任意两个元组;如果由t1[=t2[] 可以推导出t[]=t2Y,则称X函数决定Y,或Y 函数依赖于Ⅹ,记为X→Y
6 函数依赖的严格形式化定义 定义9.1：设有关系模式R(A1 ,A2 ,…,An )，X和Y均 为{A1 ,A2 ,…,An}的子集，r是R的任一具体关系， t1、t2是r中的任意两个元组；如果由t1 [X]=t2 [X] 可以推导出t1 [Y]=t2 [Y]，则称X函数决定Y，或Y 函数依赖于X，记为X→Y
注 意定义91中 t=t2t的=t21
7 注意定义9.1中： t1 [X]=t2 [X] t1 [Y]=t2 [Y]
术语和符号(1) 如果X→Y,但Y不包含于X,则称X→Y 是非平凡的函数依赖。如不特别说明,我们 总是讨论非平凡函数依赖 如:(学号,课程号)→成绩非平凡依赖 如:(学号,所在系)→所在系平凡依赖
8 术语和符号(1) 如果X→Y，但Y不包含于X，则称X→Y 是非平凡的函数依赖。如不特别说明，我们 总是讨论非平凡函数依赖。 如：(学号,课程号)→成绩 如：(学号,所在系)→所在系 非平凡依赖 平凡依赖
术语和符号(2) 如果Y不函数依赖于X,则记作XY 如学号不函数依赖于性别, 则记作性别一学号
9 术语和符号(2) 如果Y不函数依赖于X，则记作X Y。 如学号不函数依赖于性别， 则记作性别 学号
术语和符号(3) 如果X→Y,则X称作决定因素 如学号→所在系,则学号称作决定因素 10
10 术语和符号(3) 如果X→Y，则X称作决定因素。 如学号→所在系，则学号称作决定因素