数据库学习笔记——关系数据理论
数据库学习笔记——关系数据理论
规范化
定义6.1 设R(U)是属性集U上的关系模式,X,Y为U的子集。若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等,而在Y上的属性值不等,则称X函数确定Y或Y函数依赖于X,记作\(X\rightarrow Y\)
例如X为人名,Y为该人的性别
定义6.2 在R(U)中,如果\(X\rightarrow Y\),并且对X的任何一个真子集X',都有\(X'\not\rightarrow Y\),则称Y对X完全依赖,记作\(X\stackrel{F}{\rightarrow}Y\).
若\(X\rightarrow Y\),但Y不完全依赖于X,则称Y对X部分函数依赖,记作\(X\stackrel{P}{\rightarrow}Y\).