【2019-2020春学期】数据库作业15：第六章： 关系数据理论

第六章 关系数据理论

要理解逻辑设计，即为表结构
针对具体问题，构造数据模式
工具：关系数据库的规范化理论
关系模式 R(U,D,DOM,F)
R 符号化的元组语义 表名
U一组属性
D U的属性所来自的域
DOM 属性到域的映射
F是属性U上的一组数据依赖
而我们一般常用的是三元组 R<U,F>
二维表每个分量必须是不可分开的数据项。
数据依赖关系内部属性与属性之间的的一种约束关系（列与列之间的关系）
函数依赖（普遍存在于现实生活）
Sname=f(Sno) Sdept=f(Sno)
Sno函数决定Sname
Sno函数决定Sdept
记作：Sno->Sname,Sno->Sdept
简单理解，左边确定，右边也确定
F={Sno->Sdept,Sdept->Mname,(Sno,Cno)->Grade}
关系模式中
存在的问题：数据冗余 更新异常 插入异常 删除异常
原因：由于模式中的某些数据依赖引起的
解决办法：用规范化理论改造关系模式
函数依赖：：设R(U)是一个属性集U上的关系模式，X和Y是U的子集。
若对于R(U)的任意一个可能的关系r，
r中不能存在：两个元组在X上的属性值相等，而在Y上的属性值不等
则称"X函数确定Y"或"Y函数依赖于X"，则称X->Y.
X->Y，则X称为这个函数依赖的决定因素。
完全函数依赖
在R(U)中，如果X→Y，并且对于X的任何一个真子集X’, 都有 X’ ↛ Y, 则称Y对X完全函数依赖，记作$X\stackrel{F}{\to }Y$。
部分函数依赖
若X→Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记作