关系数据库的规范化理论

 1. 目的:研究一种模式,让数据库不发生修改异常,删除异常和插入异常,而且冗余要尽量的小,一个关系(表)只描述一个概念,本质就是概念的单一化

 

2.函数依赖通俗理解:一个属性决定了另外一个属性,举例:爸爸这个角色,唯一确定了性别男

函数依赖是从数学角度来定义的，在关系中用来刻画关系各属性之间相互制约而又相互依赖的情况。
函数依赖普遍存在于现实生活中，比如，描述一个学生的关系，可以有学号、姓名、所在系等多个
属性，由于一个学号对应一个且仅一个学生，一个学生就读于一个确定的系，因而当“学号”属性
的值确定之后，“姓名”及“所在系”的值也就唯一地确定了，   此时，   就可以称“姓名”和
“所在系”函数依赖于“学号”，或者说“学号”函数决定“姓名”和“所在系”

3.求属性集合X(X含于集合U)的函数依赖集F的闭包XF+

   通俗理解就是:根据给定的集合X,运用Armstrong公理,能够推导出的所有依赖关系所包含的属性的集合

  举个例子就好理解了:

    U={A,B,C,D,E}  F={AB→C,B→D,C→E,EC→B,AC→B}  

     1.X={AB}   求(AB)F+

   现在X中有AB,首先AB自己就能决定自己,再从F中找左部为A,B,AB能够决定什么,,发现AB→C B→D

   根据Armstrong公理,AB→C,C→E,那么有AB→E(传递律) 所以AB能够决定的集合有{A,B,C,D,E}

  所以AB关于F的函数依赖集闭包就是{A,B,C,D,E}(根据AB,能推导出结果的集合)

 

    2.X={EC},求(EC)F+

   按照与1中一样的方法,EC能够决定自身,那么(EC)F+包含了E,C

    再从F中找,发现,EC→B,B→D,所以 (EC)F+={B,C,D,E}

 

4.函数依赖集的等价

  假设F和G是2个函数依赖集,如果F+=G+,称F和G等价

 

5.范式 定义关系的结构的性质

  有1NF,2NF,3NF,BCNF,4NF,5NF,条件越来越严格

 5.1  第一范式(1NF):关系上所有元祖所有属性都取原子值

(第一范式有许多问题,比如插入异常,删除异常,更新异常)

 

5.2  第二范式(2NF):如果R满足第一范式的条件,而且它的所有非主属性都完全函数依赖于任一关键字,那么R满足第二范式条件。

 

5.3 第三范式(3NF),满足第二范式的前提下,R的任何一个非主属性都不传递函数依赖于任何关键字,那么R满足第三范式条件