非平凡函数依赖、完全函数依赖、传递函数依赖、关系R上的函数依赖集合与闭包、Armstrong 公理 函数依赖集的覆盖与最小覆盖
- 非平凡函数依赖 x->y y 不属于 x
- 完全函数依赖 x -> y 任意X的真子集都不能->y
- 传递函数依赖 x-> y 、y -> z =>x->z (要求均为 非平凡依赖 且 y不决定x)
- Armstrong 公理:自反律:x->y(平凡依赖)增广律: x->y 则xz->yz 传递律:x->y y->z x->z
- 推理:合并:x-> y x-> z 则 x->yz 、分解:x->y 且 w 属于 y则 x-> w 、伪传递:x->y yw->z 则 xw->z
- 引理:如果A1 A2 …An为属性,x->A1,A2…An 当且仅当x->Ai(1<=i<=n)
- 覆盖:如果函数依赖集F、G 有F的闭包= G的闭包,则称F覆盖G或者G覆盖F.
- 函数依赖集的性质:每个函数依赖集F可以被一个其右端的至多有一个属性的函数依赖之集覆盖。
- 最小覆盖:要求:1、每个函数依赖的右边均为单一属性值2、任何最小覆盖F的真子集均不等价于F 3、不存在X的真子集Z,使得F-{X->A} U {Z->A} 等价于F.