关系数据库理论：范式判断、函数依赖、无损分解、正则覆盖

一、目的、

在查阅数据库设计理论时，发现《数据库系统概论》第5版的概念定义与网上质料有很大不同，不方便大学生做参考质料，并且有一些内容已经没有现实意义了，（如第二范式）。

二、适合阅读人群、

本文内容根据大学教材《数据库系统概论》中文第五版，以自己的理解总结出来的经验，以具体题目来强化概念，在提升做题技巧的基础上增强对概念的理解。适合考试复习参考！

三、内容、

约定概念、符号：A属性，α、β属性集，R关系模式。

、第一范式：

定义：关系模式R中所有属性都是原子域（atom）

、基于函数依赖的范式：

1、约定符号：F函数依赖集，F*函数依赖闭包集

函数依赖定义：如果存在模式（A,B），则A可以做主码，定义为：A→B，例图2

平凡函数依赖（trivial）：
存在α→β，它们在所有的关系中都是满足的（基于现实中的事实判断）。一般的：β包含于α，则依赖是平凡的（数学抽象判断）。

、平凡依赖举例：

R1（学生ID，学生性别，年龄） 学生ID→学生性别
R2（A,B,C,D,F） F{ AB→B} 此处α={A，B}，β={B}

2、BCNF范式定义：

具函数依赖集F的关系模式R属于BCNF范式的条件是：对于所有F*中α→β所有函数依赖，以下至少有一个成立：
●α→β是平凡的函数依赖
●α是模式R中的一个超码

3、要求更加宽松的范式，3NF定义：

具有函数依赖集F的关系模式R属于3NF范式的条件是：对于所有F*中所有α→β函数依赖，以下至少有一个成立：
●α→β是平凡的函数依赖
●α是模式R中的一个超码
●α-β中的每一个属性A都包含在R的一个候选码中

4、函数依赖理论

约定符号：F*、α*属性集闭包

一、—-函数依赖集闭包（F*）

&逻辑蕴涵定义：给定函数依赖集F，由F出发，可以证明其他的函数也成立，就称这些函数依赖被F逻辑蕴涵。

函数蕴涵举例：

假设关系模式R={A，B,C,G,H,I}及函数依赖集F{A→B,A→C,CG→H,CG→I,B→H}
则函数