在解释数据库三大范式之前,先介绍一些概念,理解这些概念是必须的。
1、函数依赖:关系理论中函数依赖是指关系中属性间的对应关系
(如:关系中对于属性(组)X的每一个值,属性(组)Y只有唯一的值与之对应,则称Y函数依赖于X,或称X函数决定Y。记作X Y。其中X称为决定因素。)
举个属性 X Y 的具体例子:
系代码 | 系名 | 系地址 | 系电话 | 系专业设置 |
---|---|---|---|---|
001 | 外国语学院 | 一教 | 8888 | 商务英语 |
002 | 经济学院 | 二教 | 7777 | 财务管理 |
函数依赖:(每个系代码的值是唯一的)
系代码系名,系代码系地址,系代码系电话,系代码系专业设置
如果系名值是唯一的,即各系名不相同,那么还存在函数依赖:
系名系代码,系名系地址,系名系电话,系名系专业设置。
举个属性组 XY 的具体例子:
学号 | 课程号 | 分数 |
---|---|---|
S1 | C1 | 88 |
S2 | C2 | 68 |
只要学号和课程号两个同时都确定了,就能确定分数。因此,{学号,课程号}分数。
介绍完函数依赖的概念,接下来把函数依赖再细分一下。
1.1 部分函数依赖
如上表“系”中,系代码系电话,但从另一个角度来讲,{系代码,系名}系电话也是毋庸置疑的。因为{系代码,系名}存在真子集“系代码”,而且系代码系电话,所以系电话部分函数依赖于{系代码,系名}。
1.2 完全函数依赖。
如果XY且对于X的任何真子集X'都有X' Y(不存在函数依赖),则称Y完全函数依赖于X。
1.3 传递函数依赖
如果X,Y为关系R中属性,有XY,YX,但YZ,则称Z传递函数依赖于X。
专业编号 | 所属系编号 | 系地址 | 系电话 |
---|---|---|---|
---- | ---- | ---- | ---- |
专业编号决定了所属系编号,所属系编号不决定专业编号,所属系编号决定了系电话。
即系电话传递函数依赖于专业编号
2、候选关键字和主属性
2.1 候选关键字:在关系R中属性(组)Y完全函数依赖于属性(组)X,则称X为关系R中的一个候选关键字。
2.2 主属性:在一个关系中,如果一个属性是构成某一个候选关键字的属性集中的一个属性,则称它为主属性。
- 就比如"成绩表"中,学号是候选关键字{学号,课程号}的其中一个主属性。
3、组项,向量和重复组
3.1 组项:如上表( "关系模型不允许存在的表"),成绩就是组项,它是由单科成绩和总分组成的。
3.2 向量:单科成绩就是向量,它是由语文成绩,英语成绩,数学成绩组成的。咦咦咦咦咦!!!作者你是不是建这么多表建糊涂了,这两个不是一样的咩!莫急莫急,且听我细细道来。你看,单科成绩由语文,英语,数学成绩组成,这后者三个是属于同一级别的,而成绩分为单科成绩和总分,单科成绩和总分不是同一级别的。但是向量是组项的一种,是特殊的组项。
3.3 重复组:如上表("关系模型不允许存在的另一个表"),有的行又可以分为多行,这称为重复组。
4、三大范式
4.1 第一范式:
任给关系R,如果R中每个列与行对应单元格的数据都是不可再分的基本元素,则R达到第一范式,简称1NF
(也就是说,不存在组项、向量和重复组,你说向量属于组项,那好吧,那就是说关系R中不存在组项和重复组)
把“关系模型不允许存在的表”改为下表就符合第一范式了。
姓名 | 语文成绩 | 英语成绩 | 数学成绩 | 总分 |
---|---|---|---|---|
小明 | 70 | 80 | 90 | 240 |
注意,敲黑板!!
姓名 | 性别 | 班级 |
---|---|---|
小明 | 男 |
二年级一班是可分的组项。
4.2 第二范式:
如果一个关系达到第一范式,且不存在任何非主属性对候选关键字的部分函数依赖,则称关系达到第二范式,2NF
如:
本人身份证号 | 关系人身份证号 | 关系人职务 | 与本人关系 |
---|---|---|---|
大头儿子 | 小头爸爸 | 经理 | 父亲 |
如上表,{本人身份证号,关系人身份证号}关系人职务,{本人身份证号,关系人身份证号}与本人关系,对于“与本人关系”来说,“与本人关系”完全函数依赖于{本人身份证号,关系人身份证号},但是,对于“关系人职务”,关系人身份证号关系人职务,“关系人职务”部分依赖于{本人身份证号,关系人身份证号},存在“非主属性对候选关键字的部分函数依赖”,不符合第二范式。
应改为:
本人身份证号 | 关系人身份证号 | 与本人关系 |
---|---|---|
---- | ---- | ---- |
关系人身份证号 | 关系人职务 |
---|---|
---- | ---- |
3.3 第三范式:
如果一个关系达到第二范式且不存在非主属性对候选关键字的传递函数依赖,则称为达到第三范式,简称3NF
将介绍传递函数依赖时的那个表改为:
专业编号 | 所属系编号 |
---|---|
---- | ---- |
系编号 | 系地址 | 系电话 |
---|---|---|
---- | ---- | ---- |
转载:https://blog.csdn.net/Cat_likeFishs/article/details/79440698