第九章 关系规范化理论

9.1关系模式设计的问题

        分为以下四个问题

        1.数据冗余问题

        2.数据更新问题

        3.数据插入问题

        4.数据删除问题

9.2函数依赖

        定义：设关系模式R(A1,A2,...,An),X和Y均为{A1，A2,...,An}的子集，r是R的任一具体关系，t1,t2为r中的任意两个元组。如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y],则称X函数决定Y，或Y函数依赖于X，记为X→Y。

        如果X→Y，但Y不包含于X，则称X→Y是非平凡1的函数依赖。

        推理规则：设有关系函数R(U,F)，U为关系模式R上的属性集，F为R上成立的只涉及U中属性的函数依赖集。则有

        (1)自反率即一组函数决定它的所有子集。

       （2）增广律

        （3）传递律

        合并规则。

        分解规则。

        伪传递规则。

        复合规则。