定义
引理6.1
X
→
A
1
A
2
.
.
.
A
k
X→A_{1}A_{2}...A_{k}
X→A1A2...Ak成立的充分必要条件是
X
→
A
i
X→A_{i}
X→Ai成立
（由分解规则和合并规则可以简单证明）
定义6.12
在关系模式 R < U , F > R<U,F> R<U,F>中为 F F F所逻辑蕴涵的函数依赖的全体叫做F的闭包（closure），记为 F + F^{+} F+。
判定一个函数依赖是否属于由 F F F根据Armstrong公理推导出来的函数依赖的集合
求不出这个集合，这是一个NP完全问题
假若F中有 n n n个函数依赖，那至少可以推导出 2 n 2^{n} 2n个不同的函数依赖。
证明
证明分解规则
证明伪传递规则
证明合并规则
61
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
