1NF
定义:如果一个关系模式R的所有属性都是不可分的基本数据项,则R∈1NF。
即不能存在表中表
- 第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据模式。
2NF
定义: 若关系模式R∈1NF,并且每一个非主属性都完全函数依赖于R的码,则R∈2NF。
S-L-C(Sno, Cno, Sdept, Sloc, Grade) 不属于 2NF
非主属性 Sdept 和 Sloc 部分函数依赖于码(Sno, Cno)。
解决方法
采用投影分解法,把S-L-C分解为两个关系模式,消除这些部分函数依赖
3NF
定义:关系模式R<U,F>∈1NF,若R中不存在这样的码X、属性组Y及非主属性Z(Y不包含于Z),使得X→Y,Y→Z,Y↛X,成立,则称R<U,F> ∈ 3NF。(不存在非主属性对码的传递依赖)
例如:
Sloc传递函数依赖于Sno,即S-L中存在非主属性对码的传递函数依赖Sno→ Sloc 。
S-L(Sno, Sdept, Sloc) ∈ 2NF
S-L(Sno, Sdept, Sloc) 不属于 3NF
BCNF
定义6.8 设关系模式R<U,F>∈1NF,如果对于R的每个函数依赖X→Y, 且X 不包含 Y 时,X必含有码,那么R∈BCNF。
即,在关系模式R<U,F>中,如果每一个决定因素都包含码,R∈BCNF。
例:
关系模式STJ(S,T,J)中,S表示学生,T表示教师,J表示课程
假设每一教师只教一门课 T→J
每门课由若干教师教,但某一学生选定某门课,就确定了一个固定的教师 (S,J)→T
某个学生选修某个教师的课就确定了所选课的名称 (S,T)→J
即 T→J ,(S,J)→T, (S,T)→J
由于决定因素T不包含码,所有STJ(S,T,J)不属于BCNF
采用投影分解法,将STJ分解为二个关系模式:SJ(S,J);TJ(T,J)
SJ(S,J)∈ BCNF SJ的码为(S,J), all-key
TJ(T,J)∈ BCNF TJ的码为T, T→J
注:
全码:All-key关系模型的所有属性组组成该关系模式的候选码,称为全码。即所有属性当作一个码。若关系中只有一个候选码,且这个候选码中包含全部属性,则该候选码为全码。
BCNF的关系模式所具有的性质
- 所有非主属性对每一个码都是完全函数依赖。
- 所有主属性对每一个不包含它的码也是完全函数依赖。
- 没有任何属性完全函数依赖于非码的任何一组属性。
规范化小结
一个低一级范式的关系模式,通过模式分解(schema decomposition)可以转换为若干个高一级范式的关系模式的集合,这种过程就叫规范化(normalization)。
![](https://i-blog.csdnimg.cn/blog_migrate/fda95857e90d685e1d1fc183dd96a951.png)