数据库第六章学习总结

1.关系模式由五部分组成，是一个五元组： R(U, D, DOM, F)

    关系名R是符号化的元组语义

       U为一组属性

       D为属性组U中的属性所来自的域

       DOM为属性到域的映射

       F为属性组U上的一组数据依赖

2.数据依赖

      是一个关系内部属性与属性之间的一种约束关系（通过属性间值的相等与否体现出来的数据间相互联系）

      是现实世界属性间相互联系的抽象

      是数据内在的性质

      是语义的体现

3.数据依赖的主要类型

      函数依赖

      多值依赖

4.关系模式Student中存在的问题：

       （1）数据冗余：浪费大量的存储空间

       （2）更新异常：数据冗余 ，更新数据时，维护数据完整性代价大。

       （3）插入异常

       （4）删除异常

    解决之道：模式分解!

5.主属性与非主属性

      包含在任何一个候选码中的属性 ，称为主属性       

      不包含在任何码中的属性称为非主属性或非码属性

      全码：整个属性组是码，称为全码

6.范式的种类：   

      第一范式(1NF)

      第二范式(2NF)

      第三范式(3NF)

      BC范式(BCNF)

      第四范式(4NF)

      第五范式(5NF)

7.   第二范式(2NF)：若关系模式R∈1NF，并且每一个非主属性都完全函数依赖于任何一个候选码，则R∈2NF

      第三范式(3NF)：设关系模式R<U,F>∈1NF,若R中不存在这样的码X、属性组Y及非主属性Z（Z ⊇ Y）, 使得X→Y，Y→Z成立，Y ↛ X不成立，则称R<U,F> ∈ 3NF。

      BC范式(BCNF)：设关系模式R<U,F>∈1NF，若X →Y且Y ⊆ X时X必含有码，则R<U,F>∈BCNF。

     第四范式(4NF)：关系模式R<U,F>∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y ⊈ X），X都含有码，则R<U,F>∈4NF。

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

      允许的非平凡多值依赖实际上是函数依赖。

8. BCNF的关系模式所具有的性质：

      ⒈ 所有非主属性都完全函数依赖于每个候选码

      ⒉ 所有主属性都完全函数依赖于每个不包含它的候选码

     ⒊ 没有任何属性完全函数依赖于非码的任何一组属性

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