04-1 关系规范化理论解析.ppt

* 具有 * 具有 * 不具有 Abc,bd,de,ce * Abce,af,fg,cd * B+=bd A+=abcde E+=abcde bc+=abcde Cd+=abcde * * 输入：关系模式R和函数依赖集F 输出：结果为3NF的一个依赖保持分解 步骤： 1.对R中的函数依赖集F进行极小化处理（处理后的函数依赖集仍记为F） 2.找出不在F中出现的属性，把这样的属性构成一个关系模式，把这些属性从U中去掉，剩余的属性仍记为U 3.若有X?A∈F，且XA=U，则ρ={R}，算法中止 分解算法1：转换为3NF的保持函数依赖的分解 * 4.否则，对于F中的每一个X?A，构成一个关系模式XA。（如果有X?A1,X?A2,…,X?An(左部相同),则可以用模式XA1A2…An代替n个模式XA1，XA2，…,XAn); 5.算法结束。 例：设有关系模式CTHRSG（C，T，H，R，S，G）及其函数依赖F={C?T,CS?G,HT?R,HR?C,CH?R,HS?R} 请给出3NF的一个依赖保持分解 * 解： 1.进行极小化处理，F ={C?T,CS?G,HT?R,HR?C,HS?R} 2.所有属性均在F中出现，所以没有属性从R中分离出去 3. 根据算法，本题中六个函数依赖对应于下面的5个关系模式 R1={C,T} R2={C,S,G}R3={H,R,T}R4={C,H,R} R5={H,