3.1       函数依赖

       函数依赖：当X的值确定以后，Y的值被唯一的确定。

       完全函数依赖：X的任何子集都不能确定Y。

       部分函数依赖：存在X的子集可以确定Y。

       候选键：唯一性、最小性。

       主属性：包含在任何一个候选键中的属性。

       非主属性：不包含在任何一个候选键中的属性。

3.2       关系模式的规范化

       321    关系与范式

              范式：满足不同要求的关系等级。

              关系模式的规范化：由一个低级范式通过模式分解逐步转换为若干个高级范式的过程。

       第一范式：每个属性值都不可再分。

              实现方法：去掉组合属性，拆分重复组。

       第二范式：每一个非主属性都完全函数依赖于任一候选键。（不存在部分函数依赖）

              实现方法：对原关系进行分解。

       第三范式：任一非主属性都不传递函数依赖于任何一个候选键。

              性质：不存在非主属性之间的函数依赖，但仍然存在主属性之间的函数依赖。

              判断方法：

                            1、找候选键，确定非主属性。

                            2、考察非主属性对候选键是否存在部分函数依赖。存在：不是2NF；不存在：是2NF。

                            3、考察非主属性之间是否存在函数依赖。存在：不是3NF；不存在：是3NF。

       BC范式：所有函数依赖的左部都包含任一候选键。

              多值依赖：给定一组（X，Z），有一组Y与之对应，但是Y仅仅由X决定，而与Z无关，称Y多值依赖于X，或者X多值决定Y。

              平凡多值依赖：X->->Y，如果Y属于X，或者XY=U，则称X->->Y为平凡多值依赖。

       第四范式：每个非平凡多值依赖X->->Y，X都包含R的候选键。

3.3       数据依赖公理