数据库作业17:第六章总结
关系模式
关系的描述称为关系模式。他可以形式化地表示为
R(U,D,DOM,F)
其中
- R为关系名
- U为组成该关系的属性名集合
- D为U中属性所来自的域
- DOM为属性向域的映像集合
- F为属性间数据的依赖关系集合
数据依赖
一个关系内部属性与属性之间的一种约束关系。这种约束关系是通过属性间值的相等与否体现出来的数据间的相关联系。他是现实世界属性间相互联系的抽象,是数据内在的性质,是语义的体现。
其中最重要的是函数依赖和多值依赖。
这个关系模式存在以下问题:
(1)数据冗余
(2)更新异常
(3)插入异常
(4)删除异常
函数依赖
设R(U)是属性集U上的关系模式,X,Y是U的子集。若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称X函数确定Y或Y函数依赖于X,记作 X → Y X \rightarrow Y X→Y。
平凡与非平凡
- X → Y , 但 Y ⊈ X X \rightarrow Y,但Y \not\subseteq X X→Y,但Y⊆X,则称 X → Y X \rightarrow Y X→Y是非平凡的函数依赖。
- X → Y , 但 Y ⊆ X X \rightarrow Y,但Y \subseteq X X→Y,但Y⊆X,则称 X → Y X \rightarrow Y X→Y是平凡的函数依赖。
- X → Y X \rightarrow Y X→Y,则X称为这个函数依赖的决定属性组,也称为决定因素。
- 若 X → Y , Y → X , 则 记 作 X ← → Y X \rightarrow Y,Y \rightarrow X,则记作X \leftarrow \rightarrow Y X→Y,Y→X,则记作X←→Y。
- 若Y不函数依赖于X,则记作 X ↛ Y X \not\rightarrow Y X