说明 1.所有关系实例均要满足 2.语义范畴的概念 3.数据库设计者可以对现实世界作强制的规定 An Introduction to Database System
An Introduction to Database System 说明 1. 所有关系实例均要满足 2. 语义范畴的概念 3. 数据库设计者可以对现实世界作强制的规定
、平凡函数依赖与非平凡函数依赖 在关系模式RU中,对于U的子集X和Y, 如果X→Y,但Y≤X,则称X→Y是非平凡的函数依赖 若X_Y,但YgX,则称Ⅹ→Y是平凡的函数依赖 令例:在关系SC(Sno,Cno, Grade)中, 非平凡函数依赖:(Sno,Cno)→ Grade 平凡函数依赖:(Sno,Cno)→Sno (Sno,Cno→Cno An Introduction to Database System
An Introduction to Database System 二、平凡函数依赖与非平凡函数依赖 在关系模式R(U)中，对于U的子集X和Y， 如果X→Y，但Y X，则称X→Y是非平凡的函数依赖 若X→Y，但Y X, 则称X→Y是平凡的函数依赖 ❖ 例：在关系SC(Sno, Cno, Grade)中， 非平凡函数依赖： (Sno, Cno) → Grade 平凡函数依赖： (Sno, Cno) → Sno (Sno, Cno) → Cno
平凡函数依赖与非平凡函数依赖(续) 若X→→Y,则X称为这个函数依赖的决定属性组,也 称为决定因素( Determinant) 若Ⅹ→Y,Y→X,则记作X←→Y。 若Y不函数依赖于X,则记作XY。 An Introduction to Database System
An Introduction to Database System 平凡函数依赖与非平凡函数依赖（续） ▪ 若X→Y，则X称为这个函数依赖的决定属性组，也 称为决定因素（Determinant）。 ▪ 若X→Y，Y→X，则记作X←→Y。 ▪ 若Y不函数依赖于X，则记作X→Y
完全函数依赖与部分函数依赖 定义62在RU)中,如果Ⅹ→Y,并且对于X的任何一个真 子集X,都有XY,则称Y对完全函数依赖,记作 XFY 若X→Y,但Y不完全函数依赖于Ⅹ,则称Y对X部分函数 依赖,记作ⅩY。 An Introduction to Database System
An Introduction to Database System 三、完全函数依赖与部分函数依赖 定义6.2 在R(U)中，如果X→Y，并且对于X的任何一个真 子集X’，都有X’ Y, 则称Y对X完全函数依赖，记作 X F Y。 若X→Y，但Y不完全函数依赖于X，则称Y对X部分函数 依赖，记作X P Y
完全函数依赖与部分函数依赖(续) [例1中(Sno,Cno) Grade是完全函数依赖, (Sno,Cno)2 Sdept是部分函数依赖 因为Sno→Sept成立,且Sno是(Sno,Cno) 的真子集 An Introduction to Database System
An Introduction to Database System 完全函数依赖与部分函数依赖（续） [例1] 中(Sno,Cno)→Grade是完全函数依赖， (Sno,Cno)→Sdept是部分函数依赖 因为Sno →Sdept成立，且Sno是（Sno，Cno） 的真子集 F P