9.2.1 基本概念
给定一个X值,都会有一个Y值和它对应,也可以说,X函数决定Y,或Y函数依赖于X。在关系数据库中讨论函数或函数依赖注重的是语义上的关系。一般把X函数决定Y,或Y函数依赖于X表示为:XY。
例:对于学生关系模式Student(Sno,Sname,Sdeot,Sage)有一下依赖关系:
SnoSname,Sno
Sdept,Sno
Sage
对于学生选课关系模式SC(Sno,Cno,Grade)有以下函数依赖关系:
(Sno,Cno)Grade
定义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函数依