范式 函数依赖 多值依赖

范式

1NF: 2NF: 3NF: BCNF: 4NF: 5NF: 属性不可再分 非主属性均 既不部分依赖于候选键 也不传递依赖于候选键 非主属性均 既不部分依赖于候选键 也不传递依赖于候选键 且候选键均包含主键 非主属性均不部分赖于候选键 无非平凡且非函数依赖的多值依赖 每一个连接依赖均由候选码所隐含

消除非主属性对码的部分函数依赖

消除非主属性对码的传递函数依赖

消除主属性对码的部分函数依赖和传递函数依赖

消除非平凡且非函数依赖的多值依赖

1NF

2NF

3NF

BCNF

4NF

依赖

依赖	具体： 设$R(U)$为属性集$U$上的关系模式， $X\subseteq U,Y\subseteq U$， 对于R(U)的任意一个可能的关系$r$
函数依赖(FD)	$Y$对$X$函数依赖：$r$中不存在两个元组在$X$上属性相等但在$Y$上属性不等，则$X\to Y$，$X$为决定因素
平凡函数依赖	$X\to Y且Y\subseteq X\Rightarrow X\to Y$是平凡函数依赖
完全函数依赖	$Y$对$X$完全函数依赖：$X\to Y且\forall X^{\prime }\nrightarrow Y\Rightarrow X\stackrel{F}{\to }Y$
部分函数依赖	$Y$对$X$部分函数依赖：$X\to Y且X/\stackrel{F}{\to }Y\Rightarrow X\stackrel{P}{\to }Y$
传递函数依赖	$Z$对$X$传递函数依赖：$X\to Y且Y\to Z且Z⊈Y且Y⊈X且Y\nrightarrow X\Rightarrow X\stackrel{传递}{⟶}Z$
多值依赖(MVD)	$X\to \to Y\iff \forall 关系r于R(U)中,给定一组值(x,z),\exists Y仅与x有关而与z无关$

函数依赖

$车牌\to 车$

车牌	车
沪A·66666
沪A·66886
沪A·88888
沪A·99999
沪A·44444

完全函数依赖、平凡函数依赖

完全函数依赖：$(经度,纬度)\to 地点$
平凡函数依赖：$(经度,纬度)\to 纬度$

经度	纬度	地点
E37°37’	N55°45’	莫斯科
E106°53’	N47°55’	乌兰巴托
E74°46’	N42°53’	比什凯克
E73°08’	N33°4’	伊斯兰堡
E77°13’	N28°37’	新德里

部分函数依赖、完全函数依赖

部分函数依赖：$(科目,学员号)\to 姓名$
完全函数依赖：$(科目,学员号)\to 考试时间$

科目	学员号	考试时间	姓名
二	200V	8:00:00	张伟
二	201V	8:20:00	李伟
三	202V	8:40:00	王伟
三	200	9:00:00	赵伟

传递函数依赖

$用户\to 权限等级$，$权限等级\to 权限$
$用户\stackrel{传递}{⟶}权限$

用户	权限等级	权限
00	0	普通只读
01	0	普通只读
02	4	管理员
03	2	普通读写
05	2	普通读写

多值依赖

$课程\to \to 教师$

课程	教师	教材
数据库系统概论	张伟	数据库系统概论 高教出版社
数据库系统概论	张伟	数据库系统概论 清华出版社
数据库系统概论	李伟	数据库系统概论 高教出版社
数据库系统概论	李伟	数据库系统概论 清华出版社
计算机网络	王伟	计算机网络 高教出版社
计算机网络	王伟	计算机网络 电子工业出版社
计算机网络	王伟	计算机网络 清华出版社
计算机网络	李伟	计算机网络 高教出版社
计算机网络	李伟	计算机网络 电子工业出版社