九游会注册 【2019-2020春学期】数据库作业15:第六章: 关系数据理论教程

2020-04-19由程序员日记发表于数据库教程 浏览9次

九游会注册【九游开户.com】是亚洲网游公司-九游会注册集团最新研发的游戏app,下载和游戏速度飞快,体验一流,用户以每年数以百万计数量增长关系模式由五部分组成,是一个五元组: R(U,D,DOM,F)

R是符号化的元组语义
U为一组属性
D为属性组U中的属性所来自的域
DOM为属性到域的映射
F为属性组U上的一组数据依赖

第一范式(1NF)

二维表每个分量必须是不可分开的数据项的关系模式

数据依赖

关系中属性与属性之间的约束关系,是语义的体现

主要类型:

函数依赖,多值依赖

函数依赖

设R(U)是一个属性集U上的关系模式,X和Y是U的子集。若对于R(U)的任意一个可能的关系r,r 中不可能存在:两个元组在X上的属性值相等,而在Y上的属性值不等, 则称“X函数确定Y”或“Y函数依赖于X”,记作X→Y。

若X→Y,并且Y→X, 则记为X←→Y。
若Y不函数依赖于X, 则记为X→Y。

X→YX \rightarrow YX→Y ,但 Y⊈XY \nsubseteq XY⊈X则称X→YX \rightarrow YX→Y是非平凡的函数依赖。
X→YX \rightarrow YX→Y ,但Y⊆XY \subseteq XY⊆X 则称X→YX \rightarrow YX→Y是平凡的函数依赖。

若X→YX \rightarrow YX→Y,则X称为这个函数依赖的决定因素
若X→YX \rightarrow YX→Y,Y→XY \rightarrow XY→X,则记作X←→YX \leftarrow\rightarrow YX←→Y。
若Y不函数依赖于X,则记作X↛YX \not\rightarrow YX​→Y。

在R(U)中,如果X→YX \rightarrow YX→Y ,并且对于X的任何一个真子集X’, 都有 X↛YX \not\rightarrow YX​→Y, 则称Y对X完全函数依赖,记作X→YX \rightarrow YX→Y 。若X→YX \rightarrow YX→Y ,但Y不完全函数依赖于X,则称Y对X部分函数依赖,记作X→YX \rightarrow YX→Y

在R(U)中,如果X→YX \rightarrow YX→Y(Y⊈XY \nsubseteq XY⊈X),Y↛XY \not\rightarrow XY​→X,Y→ZY \rightarrow ZY→Z,Z⊈YZ \nsubseteq YZ⊈Y, 则称Z对X传递函数依赖。记为:X→ZX \rightarrow ZX→Z。

注: 如果Y→XY \rightarrow XY→X, 即X←→YX \leftarrow\rightarrow YX←→Y,则Z直接依赖于X,而不是传递函数依赖。

设K为R<U,F>中的属性或属性组合。若K → U,则K称为R的一个候选码。如果U部分函数依赖于K,即K → U,则K称为超码 。