6.2.1函数依赖1.函数依赖2.平凡函数依赖与非平凡函数依赖3.完全函数依赖与部分函数依赖数据库系统概论4.传递函数依赖An Introduction to Database System
An Introduction to Database System 6.2.1 函数依赖 1.函数依赖 2.平凡函数依赖与非平凡函数依赖 3.完全函数依赖与部分函数依赖 4.传递函数依赖
1.函数依赖*定义6.1设R(U)是一个属性集U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称“X函数确定Y"或“Y函数依赖于X"，记作X一Y。数据库系AnIntroductiontoDatabaseSystem
An Introduction to Database System * 1. 函数依赖 ❖定义6.1 设R(U)是一个属性集U上的关系模式，X 和Y是U的子集。若对于R(U)的任意一个可能的关 系r，r 中不可能存在两个元组在X上的属性值相 等， 而在Y上的属性值不等， 则称“X函数确定 Y”或“Y函数依赖于X”，记作X→Y
(续）函数依赖*[例] Student(Sno,Sname,Ssex,Sage,Sdept)假设不允许重名，则有：Sno → Ssex,Sno →SageSno←一→SnameSno → Sdept,SnameSsex,Sname→Sage充概论Sname→Sdept但Ssex+Sage,Ssex+Sdept若X一Y，并且Y一→X,则记为X←一一Y。若Y不函数依赖于X，则记为X十Y。An Introduction to DatabaseSystem
An Introduction to Database System 函数依赖（续） ❖[例] Student(Sno, Sname, Ssex, Sage, Sdept), 假设不允许重名，则有: Sno → Ssex， Sno → Sage Sno → Sdept， Sno ←→ Sname Sname → Ssex， Sname → Sage Sname → Sdept 但Ssex →Sage, Ssex→ Sdept 若X→Y，并且Y→X, 则记为X←→Y。 若Y不函数依赖于X, 则记为X→Y
(续)函数依赖违背了Sno→SnameSnoSname-cpt张三20计算机系S1S1女李四21自动化系男S320计算机系王五男赵六21S4计算机系男田七S520计算机系.5An Introduction to Database System
An Introduction to Database System 函数依赖（续） Sno Sname Ssex Sage Sdept S1 张三 男 20 计算机系 S1 李四 女 21 自动化系 S3 王五 男 20 计算机系 S4 赵六 男 21 计算机系 S5 田七 男 20 计算机系 . . . . . . . . . . . . . . . 违背了Sno → Sname
(续)函数依赖*由下面的关系表，能否得出Sno一→SnameSnoSnameSsexSageSdept男张三S120计算机系女李四21S2自动化系男王五20S3计算机系男赵六21S4计算机系男田七20S5计算机系...-...-.-.函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指R的所有关系实例均要满足的约束条件，AnIntroduction to DatabaseSystem
An Introduction to Database System 函数依赖（续） ❖由下面的关系表, 能否得出Sno → Sname Sno Sname Ssex Sage Sdept S1 张三 男 20 计算机系 S2 李四 女 21 自动化系 S3 王五 男 20 计算机系 S4 赵六 男 21 计算机系 S5 田七 男 20 计算机系 . . . . . . . . . . . . . . . 函数依赖不是指关系模式R的某个或某些关系实例满足的 约束条件，而是指R的所有关系实例均要满足的约束条件