数据库系统概念中文课件第7章.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */137 3NF (Cont.) cp180 Example R = (J, K, L), F = {JK ? L, L ? K} Two candidate keys: JK and JL R is in 3NF 已经是3NF JK ? L JK is a superkey 州官点的灯 L ? K K is contained in a candidate key 点到州官家里的灯 BCNF decomposition has (JL) and (LK) BCNF把J和K分开了 所以不保持依赖 JK ? L BCNF把J和K分开了 ，所以不保持依赖 JK ? L Equivalent to example in book: 书上另一例等价 Banker-schema = (branch-name, customer-name, banker-name) banker-name ? branch name branch name customer-name ? banker-name * */137 Goals of Normalization decompose R (with F) into R1, R2,.., Rn we want Lossless-join decomposition: 无损 No redundancy: 无冗 ， BCNF 或　3NF. Dependency preservation: 保依 （赖） . * */137 AA公理 : CP183 If A ? B and B ? C （成立）then A ? C （成立） 能被F推出的一切fd的集合称为 closure of F. 记为 F+. We can find all of F+ by applying Armstrong’s Axioms: if ? ? ?, then ? ? ? (reflexivity) 反 if ? ? ?, then ? ? ? ? ? (augmentation) 增广 if ? ? ?, and ? ? ?, then ? ? ? (transitivity) 传 派生规则： These rules are sound 可靠，推出来的都正确 complete 完备 (正确的都能推出来） 书上略去证明，本科时学习过。 如有时间可以演示证明 * */137 AA公理 推导的 的 派生规则 （方便使用）CP183 并 If ? ? ? holds and ? ? ? holds, then ? ? ? ? holds (union) I 分 ? ? ? ? holds, then ? ? ? holds and ? ? ? holds (decomposition) 分解 伪 If ? ? ? holds and ? ? ? ? holds, then ? ? ? ? holds (pseudotransitivity) 伪传递 上述规则可由AA 推出，也可用FD的定义证明 现在有：反、加、传、伪、并、 分 * */137 Procedure for Computing F+ 求闭包算法 cp184 滚雪球 F+ = F //初始化repeat for each functional dependency f in F+ apply reflexivity and augmentation rules on f add the resulting functional dependencies to F+ for each pair of functional dependencies f1and f2 in F+ if f1 and f2 can be combined using transitivity then add the resulting functional dependency to F+until F+ does not change any further还有其他算法 1 用反射和增广 滚雪球 2 用传递 滚雪球 直到 不能 再增加 * */137 Cl