第六章 关系数据理论

一、规范化 

定义：

通过分解关系模式消除其中不合适的数据依赖，解决插入、删除、更新等异常和数据冗余。

 

 函数依赖

平凡与非平凡函数依赖

 

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

 X->Y，且X的任何子集都不能决定Y，则Y对X完全函数依赖，否则就是部分函数依赖。

完全：
部分：

传递函数依赖

码

若则称K（属性或属性组合）是候选码，若有多个候选码，则选一个作为主码（Primary Key）。

主属性

包含在任何一个候选码中的属性就是主属性，否则就是非主属性。

外部码

在该关系中的属性或者属性组不是码，但确实其他关系的码，则称为该关系的外部码（外键）。

范式

定义

符合某一种级别的关系模式的集合。

一个低一级范式的关系模式通过模式分解可以转换为若干个高一级范式的关系模式的集合，这就是规范化。

1NF

每个属性都是不可再分的基本数据项。

2NF

在满足第一范式的基础上，每个非主属性完全函数依赖于码。

3NF

在满足第二范式的基础上，每个非主属性既不部分依赖于码，也不传递依赖于码

BCNF

比3NF更加严格，所有的主属性对每一个不包含它的码也是完全函数依赖。

多值依赖

在关系R中，属性X多值决定Y，即有X->->Y，且Y的值与其他属性无关。

4NF

在第一范式的基础上，若每个非平凡多值依赖X-->-->Y，X都有码。

即不允许有非平凡且非函数依赖的多值依赖，允许非平凡多值依赖是函数依赖。

二、数据依赖的公理系统

三、模式的分解

将低级的模式分解成几个高级的模式 。

要求

分解具有无损连接性：即分解后的几个高级模式自然连接后的结果和原来的关系相等，以保证不会丢失信息。

分解要保持函数依赖；

分解既要保持函数依赖，又要具有无损连接性：这是两个相互独立的标准，其中一个保持另一个不一定能够保持。