函数依赖 我懂了吗？

非平凡函数依赖、完全函数依赖、传递函数依赖、关系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.