范文数据库练习题.pptVIP

【例10】设F={A→BC，B→AC，C→A}，对F进行极小化处理。 判断A→C是否冗余。 设：G2={ A→B，B→A，B→C，C→A}， 得：AG2+=ABC ∵ C?AG2+ ∴ A→C冗余。 判断B→A是否冗余。 设：G3={ A→B，B→C，C→A}， 得：BG3+=BCA ∵ A?BG3+ ∴ B→A冗余 【例10】设F={A→BC，B→AC，C→A}，对F进行极小化处理。 判断B→C是否冗余。 设：G4={ A→B，C→A}， 得：BG4+=B ∵ C?BG4+ ∴ B→C不冗余。 判断C→A是否冗余。 设：G5={ A→B，B→C }， 得：CG5+=C ∵ A?CG5+ ∴ C→A不冗余。 3）由于该题中函数依赖表达式的左部均为单属性，因而不需进行第三步检查。最小函数依赖为：Fm={ A→B，B→C，C→A} 【例11】求F={AB→C，A→B，B→A}的最小函数依赖集Fm。 解：（1）将F中函数依赖都分解为右部为单属性的函数依赖，显然F满足该条件。 （2）去掉F中冗余的函数依赖。 判断AB→C是否冗余。 设：G1={ A→B，B→A}，得：(AB)G1+=AB ∵ C? (AB)G1+ ∴ AB→C不冗余。