Lecture 7-8 关联数据理论.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Principle of Database – Lecture 7-8 3. 函数依赖闭包 定义6.12 在关系模式RU，F中为F所逻辑蕴含的函数依赖的全体叫作 F的闭包，记为F+。 定义6.13 设F为属性集U上的一组函数依赖，X ?U， XF+ ={ A|X→A能由F 根据Armstrong公理导出}，XF+称为属性集X关于函数依赖集F 的闭包 于芬帅藐勇寇诡棠赐坦俊芒频棕茬井揖鸳得场案拈崎概叠定拢掺当滞瞅态Lecture 7-8 关系数据理论Lecture 7-8 关系数据理论 * Principle of Database – Lecture 7-8 F的闭包 F={X?Y, Y?Z} F+={ X?φ, Y?φ, Z?φ, XY?φ, XZ?φ, YZ?φ, XYZ?φ, X?X, Y?Y, Z?Z, XY?X, XZ?X, YZ?Y, XYZ?X, X?Y, Y ?Z