由于这一知识点看的有点费劲,所以在此整理一下自己的思路。下边是我对一些新的概念和名词的理解。
定义
简单来看就是:一个属性集的值可以决定另一个属性集的值,当某个属性集的值确定以后另一个属性集的值也就确定了。
逻辑蕴涵
一个关系模式的所有函数依赖构成的集合就是函数依赖集,可以从这个函数依赖集中推导出来某个函数依赖(不包含在这个函数依赖集中),就说这个函数依赖集逻辑蕴涵这个函数依赖。
比如说:我们可以从有个X集合包含2*2=4和4+5=9,我们可以从X中推导出算式Y:2*2+5=9那么就说X逻辑蕴涵Y。
闭包
能够推导出的所有函数依赖的集合就是闭包。
关键码→FD
其实关键码的概念就是一个特殊的FD。只是将关键码的概念用FD来表示罢了。
最小依赖集
顾名思义就是要最小化(去掉多余的),函数依赖集中有很多函数依赖,但是在这个函数依赖集中可以用某几个函数依赖推导出另一些函数依赖,将能够推导出来的函数依赖从依赖集中去掉后剩下的就构成了这个函数依赖集的最小依赖集。
其中还有部分知识点理解不到位,在接下来的学习中慢慢深入,相信会有新的发现。