数据库SQL---范式

一、数据冗余致使的问题：冗余存储、更新异常、插入异常、删除异常。

二、函数依赖：一种完整性约束。

在关系模式r(R)中，α属于R，β属于R。 

1）α函数肯定β（β函数依赖于α）：记做α→β，对于任意合法关系r及其中任两个元组t_i和t_j，i≠j，若t_i[α]=t_j[α]，则t_i[β]=t_j[β]。

2）非平凡函数依赖和平凡函数依赖：若α→β，但β不属于α，则称α→β是非平凡函数依赖；不然，若β不属于α，则称α→β是平凡函数依赖。

                   非平凡函数依赖                                                       平凡函数依赖

3）彻底函数依赖和部分函数依赖：α→β是非平凡函数依赖，若对任意的γ含于α，γ→β都不成立，则称α→β是彻底函数依赖，简称彻底依赖；不然，若存在非空的γ含于α，使γ→β成立，则称α→β是部分函数依赖，简称部分依赖。

                               部分依赖α→β的依赖图

4）传递函数依赖

γ属于R，若α→β，β→γ，则必存在函数依赖α→γ，若α→β，β→γ和α→γ都是非平凡函数依赖，且β不依赖于α，则称α→γ是传递函数依赖，简称传递依赖。

 

                               传递依赖α→γ的依赖图

三、函数依赖集闭包

1）逻辑蕴涵：若给定函数依赖集F，能够证实其余函数依赖也成立，则称这些函数依赖被F逻辑蕴涵。

2）闭包：令F为一函数依赖集，F逻辑蕴涵的全部函数依赖组成的集合称为F的闭包，记为F⁺。

3）属性集A的闭包：令r(R)为关系模式，F为属性依赖集，A属于R的属性集，则称在函数依赖集F下由A函数肯定的全部属性的集合为F下属性集A的闭包，记为A⁺。

4）Armstrong公理及推论（可直接计算F⁺）

（1）自反律：若存在β属于α，则有α→β。

（2）增补律：若存在α→β，则有γα→γβ。

（3）传递律：若存在α→β且β→γ，则有α→γ。

（4）合并律：若存在α→β且α→γ，则有α→βγ。

（5）分解律：若存在α→βγ，则有α→β和α→γ。

（6）伪传递律：若存在α→β且βγ→δ，则有αγ→δ。

四、范式（关系模式要知足的条件）

1）目的：消除存储异常、减小数据冗余、保证数据完整性和存储效率。

2）基于函数依赖理论，范式的分类：

（1）第一范式（1NF）---码

          若是一关系模式r(R)的每一个属性对应的域值都是不可分的，则称r(R)属于第一范式。

          目标：将基本数据划分红称为实体集或表的逻辑单元，当设计好每一个实体后，须要为其指定主码。

empno	ename	address
		province	city	street

                                                                                   非规范化的关系模式（地址的值域可分）

empno

ename

province

city

street

                                                                                   1NF规范化后的关系模式

（2）第二范式（2NF)---所有是码

          若是一关系模式r(R)，α属于r(R)，若α包含在r(R)的摸个候选码中，则称α为主属性，不然α非主属性。

          若是一关系模式r(R)属于第一范式，且全部非主属性都彻底函数依赖于r(R)的候选码，则称r(R)属于第二范式。

          目标：将只部分依赖于候选码（即依赖于候选码的部分属性）的非主属性经过关系模式分解移到其余表中去。

（3）第三范式（3NF)---仅仅是码

          若是一关系模式r(R)属于第二范式，且全部非主属性都直接函数依赖于r(R)的候选码，且非主属性之间不存在依赖关系（即不存在非主属性传递依赖于候选码），则称r(R)属于第三范式。

          目标：将只部分依赖于候选码（即依赖于候选码的部分属性）的非主属性经过关系模式分解移到其余表中去。

（4）Boyce-Codd范式（BCNF)

          给定关系模式r(R)及函数依赖集F，若F⁺中的全部函数依赖α→β（α属于R，β属于R）至少知足下列条件之一：α→β是平凡函数依赖（即β属于α）、α是r(R)的一个超码（即α⁺包含R的所有属性），则称r(R)属于Boyce-Codd范式。