第9章 关系数据库理论.pptVIP

判定无损连接的算法设?={R1(U1,F1),...,Rk(Uk,Fk)}是R(U,F)的一个分解,U={A1,A2,...,An},F={FD1,FD2,...,FDp}，其中F为一最小依赖集，记FDi为Xi→Ali。判定无损连接的算法如下：①建立n列k行的一张表，每列对应于一个属性，每行对应于分解中的一个关系模式，若Aj?Ui，则在j列i行上填aj，否则填bij；②对每一个FDi做下列操作，找到Xi所对应的列中具有相同符号的那些行进行考查，考查这些行中lj列的元素，若其中有ali,则全部改为ali，否则全部改为bm,li，l是这些行中最小的行号值；③如果在某次更改后，有一行成为a1,a2,...an，则算法终止，?具有无损连接，否则?不具有无损连接；对F中р个FD逐一进行一次这样的处理，称为对F的一次扫描。④比较扫描前后，表有无变化，如有变化则转②，否则算法终止。第61页，共116页，星期日，2025年，2月5日定理9-1?为无损连接分解的充分必要条件是上述算法终止时，表中有一行为a1,a2,...an第62页，共116页，星期日，2025年，2月5日具有无损连接性和保持函数依赖性的分解算法如图9-7所示。第63页，共116页，星期日，2025年，2月5日例9-11将例9-10的关系模式R分解为一组3NF的关系模式，要求分解同时具有无损连接性和保持函数依赖性。解：根据图9-7所示的算法，具体解题步骤如下：跟据图9-6所示的3NF保持函数依赖分解算法，得到?={CT,CGS,CHR,HRS,HRT}；HS是原模式的候选码，所以τ={CT,CGS,CHR,HRS,HRT,HS}；由于HS是模式HRS的一个子集，所以应该消去HS，那么最后的分解{CT,CGS,CHR,HRS,HRT}就是具有无损连接性和保持函数依赖性的分解，且其中所有模式都是3NF。第64页，共116页，星期日，2025年，2月5日将关系模式转化为BCNF的无损连接的算法具有无损连接性的BCNF分解算法如图9-8所示第65页，共116页，星期日，2025年，2月5日例9-12设关系模式R(ABCDE),R的函数依赖关系F={A?D,E?D,D?B,BC?D,DC?A}，请求出该关系的候选码。解：判断关系R中的属性是否为候选码的步骤如下：如果某个属性不在被决定因子中，该属性一定是侯选码的一部分。如果某个属性不在决定因子中，该属性一定不是侯选码的一部分。使用Armtrong公理去掉多余的函数依赖和左部多余的属性。在本例中，寻找候选码的具体步骤如下：因为E?D?,??所以EC?DC????因为DC?A,??所以EC?A?????因为D?B，所以DC→BC→B?，EC→B?所以得EC?ABD所以：EC为候选码，这里候选码仅有一个???主属性：EC,??非主属性：A,B,D第66页，共116页，星期日，2025年，2月5日例9-13将例9-10的关系模式R分解为具有无损连接的BCNF。解：根据图9-8所示的具有无损连接性的BCNF分解算法，具体解题步骤如下：关系模式R的最小函数依赖集F={C?T,CS?G,HR?C,HS?R,HT?R}关系模式R的候选码为HS。由于CS不包含候选码且CS?G，根据算法的第三步将R分解为R1(U1)和R2(U2)，其中U1={C,S,G},U2={C,T,H,R,S}，并求得R1(U1)和R2(U2)上的最小函数依赖集：R1(CSG,{CS?G})(属于BCNF)R2(CTHRS,{HS?R,HT?R,C?T,HR?C})ρ={R1,R2}关系模式R2的候选码为HS。第67页，共116页，星期日，2025年，2月5日由于C不包含候选码C?T，将R2分解为R3(U3)和R4(U4)，其中U3={C,T},U4={C,H,R,S}，并求得R3和R4上的最小函数依赖集：R3(CT,{C?T})(属于BCNF)，R