关系数据库理论知识讲稿.pptVIP

第6章 关系数据库理论;1. Armstrong公理系统;定理 6.l Armstrong推理规则是正确的;定理6.l (续);定理6.l （续）;2. 导出规则;导出规则;3. 函数依赖闭包;关于闭包的引理;求闭包的算法;算法 6.l; U={A, B, C, D}; F={A B, BC D}; A+ = AB. C+ = C. (AC)+ = ABCD.;函数依赖闭包;函数依赖闭包;4. Armstrong公理系统的有效性与完备性;5. 函数依赖集等价;函数依赖集等价的充要条件;函数依赖集等价;6. 最小依赖集;最小依赖集（续）;7. 极小化过程;极小化过程（续）;极小化过程（续）;极小化过程（续）;极小化过程（续）;极小化过程（续）;极小化过程（续）;第6章 关系数据库理论;6.4 模式的分解;关系模式分解的标准;模式的分解（续）;模式的分解（续）;模式的分解（续）;模式的分解（续）;分解后的关系为：;模式的分解（续）;模式的分解（续）;模式的分解（续）;模式的分解（续）;第三种分解方法;模式的分解（续）;模式的分解（续）;具有无损连接性的模式分解;模式的分解（续）;保持函数依赖的模式分解;第四种分解方法;模式的分解（续）;模式的分解（续）;分解算法;分解算法;泛关系假设;小结(续)