第九章第三次课记录

9.2.5极小函数依赖集

（1）定义：对于关系模式R（U，F），如果函数依赖集F满足下列条件，则称F为R的一个极小函数依赖集，记为Fmin。

F中每个函数依赖的右部仅含有一个属性，F中每个函数依赖的左部不存在多余的属性，即不存在这样的函数依赖X-＞A，X有真子集Z使得F与（F-{X-＞A}）U{Z-＞A}等价；F中不存在多余的函数依赖，既不存在这样的函数依赖X-＞A，使得F与F-{X-＞A}等价

（2）计算极小函数依赖集的算法

1.使F中每个函数依赖的右部都只有一个属性

2.去掉各函数依赖左部多余的属性

3.去掉多余的函数依赖

例：

 

 9.3范式

9.3.1第一范式

定义：不包含非原子项属性的关系是第一范式（1NF）的关系，即不包含重复的关系

9.3.2第二范式

基于第一范式的条件下，并且R中的每个非主属性都完全函数依赖于主键（候选键），则称为第二范式

 9.3.3第三范式

基于第二范式的条件下，并且所有的非主属性都不传递依赖于主键，则R（U，F）属于第三范式