关系数据库设计理论之函数依赖

由于最近在看<<思维导图>>这本书, 其实大一就买了...刚开始看了一半没啥感觉, 最近突然想起来还有这系列丛书没有图, 因此打算抱着试试的形态尝试一下, 今后的博客都会采取思维导图的形式进行书写.

这里写图片描述

没错就是这本, 当初买了一个系列, 最近来算都看完它.

这里写图片描述

平凡依赖

如果X→Y而且Y不是X的子集，则称X→Y是非平凡函数依赖.

例: (s#, cn) -> s#是平凡依赖, 而(s#, cn) -> aa就是非平凡依赖

完全依赖

设R是一个具有属性集合U的关系模式，如果X→Y，并且对于X的任何一个真子集Z，Z→Y都不成立，则称Y完全函数依赖于X。

    例: (s#, cn)->G 完全依赖的话指的是 s#-\>G , cn -\> G, 子集无法单独确定G

部分依赖

若X→Y，但Y不完全函数依赖于X，则称Y部分函数依赖于X。 也就是完全依赖的对立

传递依赖

x-> y, y->z, y->x , x -传递->z. x可以推出y, y可以推出z, y不可以推出x, 则称z传递的函数依赖于x