函数依赖集的闭包: 给定函数依赖集F,存在其他函数依赖被F逻辑蕴含 例如:如果A→B且B→C,则可推出A→C 被F逻辑蕴含的全体函数依赖的集合称为F的闭包 用F+表示F的闭包 可利用 Armstrong公理找出F+ 若Bc,则α→B (自反) 若α→>凤则ya->yB (增广) 若α→>B且β→y,则a→y(传递) 这些规则是 正确的(只产生确实成立的函数依赖) 完备的(产生所有成立的函数依赖)• 给定函数依赖集F, 存在其他函数依赖被F 逻辑蕴含. – 例如: 如果 A → B 且 B → C, 则可推出 A → C • 被F 逻辑蕴含的全体函数依赖的集合称为F 的闭包. – 用F + 表示F 的闭包. • 可利用Armstrong公理找出 F + : – 若   , 则  →  (自反) – 若  → , 则   →   (增广) – 若  →  且  → , 则  →  (传递) • 这些规则是 – 正确的 (只产生确实成立的函数依赖) – 完备的 (产生所有成立的函数依赖). 函数依赖集的闭包：