9.1关系模式设计问题

        9.1.1数据冗余问题

        9.1.2数据更新问题

        9.1.3数据插入问题

        9.1.4数据删除问题

9.2函数依赖

        9.2.1基础概念

                一般把x函数决定y，或y函数依赖于x表示为：x->y

 

        9.2.2一些术语和符号

                1.如果x->y，但y不包含于x，则称x->y是非平凡的函数依赖。如果不做特别说明，我们讨论的都是非平凡函数依赖。

                2.如果y不函数依赖与x，则记作x-/->y。

                3.如果x->y，则称x为决定因子。

                4.如果x->y，并且y->，则记作x<-->y。

                5.如果x->y，并且对于x的一个任意真子集x‘都有x-/->y，则称y完全函数依赖于x，记作x-f->有y；如果x'->y成立，则称y部分函数依赖于x，记作x-p->。

                6.如果x->y、y->x，则称z传递函数依赖于x。

                7。设k为关系函数r的一个属性或属性组，若满足：

                k-f->A1，s-f->A2，k-f->An

则称k为关系模式r的候选键。称包含在候选键中的属性为主属性，不包含在任何候选码中的属性称为非主属性。

        9.2.3函数依赖的推理规则

                1.Armstrong公理

                        （1）自反律

                        （2）增广律

                        （3）传递律

                2.Armstrong公理推论

                        （1）合并规则

                        （2）分解规则

                        （3）伪传递规则

                        （4）复合规则