Ch9关系数据库的规范化.pptVIP

算法9-7 无损分解成BCNF模式集。 （1）令ρ={R}。 （2）若ρ中所有模式都是BCNF，则转（4）。 （3）若ρ中有一个关系模式S不是BCNF，则S中必能找到一个函数依赖X→A且X不是S的候选键，且A不属于X，设S1=XA，S2=S-A，用分解{S1，S2}代替S，转（2）。 （4）分解结束，输出ρ。 4. BCNF（Boyce–Codd NF） 9.4 关系模式的范式及规范化 国家十三五重点规划项目 上海市高校精品课程 【案例9-26】将SNC(SNo，SN，CNo，Score)规范到BCNF。 解： 候选键：（SNo，CNo）和（SN，CNo） 函数依赖： F={SNo→SN，SN→SNo，(SNo，CNo)→Score，(SN，CNo)→Score} （1）令ρ={SNC(SNo，SN，CNo，Score)}。 （2）经过前面分析可知，ρ中关系模式不属于BCNF。 （3）用分解{S1(SNo，SN)，S2(SNo，CNo，Score)}代替SNC。 （4）分解结果为：S1(SNo，SN)描述客户实体；S2(SNo，CNo，Score)描述客户与商品的联系。 4. BCNF（Boyce–Codd NF） 9.4 关系模式的范式及规范化 国家十三五重点规划项目 上海市高校精品课程 4. BCNF（Boyce–Codd NF） 【案例9-27】将关系模式TCS(T，C，