关系数据库设计理论

关系数据库设计理论知识总结，包括规范化问题的提出、函数依赖概述、关系模式的规范化、关系模式的规范化等内容。

关系数据库设计理论

范式

第一范式

关系模式R的所有属性均为原子属性，即不可再分

第三范式

关系模式R∈2NF，且每个非主属性都不传递依赖于R的主码

步骤

将关系模式中非主属性的依赖因子删除，即删除依赖于非主属性的属性

新建关系模式，放入删除掉的依赖因子及决定因子

多值依赖与第四范式

多值依赖

设有一个关系模式R(U),X,Y,Z都是U的子集，且Z=U-X-Y，如果对于R的任一关系r，确定了X的值就存在Y的一组值与之对应，且Y值与Z值无关，

称Y多值依赖与X，或X多值决定Y，记作X→→Y

第四范式

在BV范式的基础上，消除了多值依赖的关系模式

利用投影操作将关系模式分解

B C 范式

关系模式R∈3NF，且不存在主属性对非主属性的函数依赖

步骤

将关系模式中主属性所依赖的非主属性删除

新建关系模式，放入上一步中删除的属性及其依赖因子

第二范式

关系模式R∈1NF，且每个非主属性都完全依赖于R的主码

结论

对属于第一范式的关系消除非主属性对主码的部分函数依赖，即属于第二范式

如果某关系的主码为单属性或某关系的主码为全码，那么它们都属于第二范式

步骤

将主码属性集合的每个子集作为主码构建关系模式

将非主属性依次放到相应的关系模式中

去掉仅由主属性构成的关系模式

关系模式的规范化

规范化问题的提出

规范化理论的重要性

不合理的关系模式存在的问题

数据冗余

插入异常

更新异常

删除异常

解决方法

模式分解

规范化理论

函数依赖

核心

范式

模式设计

函数依赖概述

定义

关系模式中属性之间的依赖关系

多对多联系时，不存在任何函数依赖

函数依赖的逻辑蕴含及推理规则

逻辑蕴含的定义

Armstrong公理及推论

基本定理

自反律

增广律

传递律

推论

分解性规则

复 合 规 则

伪传递规则

合并性规则

候选码的求解

候选码

快速求解候选码

多属性函数依赖集候选码求解

最小函数依赖集

计算最小函数依赖的算法

相关概念

属性集的闭包及其算法

属性集闭包算法

属性集的闭包

函数依赖的类型

传递函数依赖

部分函数依赖

完全函数依赖

制作

刘龙龙

消除平凡的多值依赖

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

消除传递函数依赖

消除部分函数依赖

将组合项分解为最小数据项

4NF关系

3NF关系

BCNF关系

2NF关系

1NF关系

数据表

关系规范化的要求

函数依赖保持性

无损连接性

关系模式规范化的步骤

关系模式规范化的目的和原则

目的

使关系结构合理，消除存储异常，使数据冗余尽量小并便于数据的插入、修改及删除

原则

“一事一地”

一个关系只描述一个实体或实体间的联系，将多于一个的实体分离