定义
引理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个不同的函数依赖。