判别一个分解的无损连接性

算法：ρ={R₁<U₁,F₁>,R₂<U₂,F₂>,...,R_k<U_k,F_k>}是关系模式R<U,F>的一个分解，U={A₁,A₂,...,A_n}，F={FD₁,FD₂,...,FD_p}，并设F是一个最小依赖集，记FD_i为X_i→A_lj，其步骤如下：

① 建立一张n列k行的表，每一列对应一个属性，每一行对应分解中的一个关系模式。若属性A_j U_i，则在j列i行上真上a_j，否则填上b_ij；

② 对于每一个FD_i做如下操作：找到X_i所对应的列中具有相同符号的那些行。考察这些行中l_i列的元素，若其中有a_j，则全部改为a_j，否则全部改为b_mli，m是这些行的行号最小值。

如果在某次更改后，有一行成为：a₁,a₂,...,a_n，则算法终止。且分解ρ具有无损连接性，否则不具有无损连接性。

对F中p个FD逐一进行一次这样的处理，称为对F的一次扫描。

③ 比较扫描前后，表有无变化，如有变化，则返回第步，否则算法终止。如果发生循环，那么前次扫描至少应使该表减少一个符号，表中符号有限，因此，循环必然终止。

举例1：已知R<U,F>，U={A,B,C}，F={A→B}，如下的两个分解：

① ρ₁={AB,BC}

② ρ₂={AB,AC}

判断这两个分解是否具有无损连接性。

用无损连接的定理来解。

方法一：

因为AB∩BC=B，AB-BC=A，BC-AB=C

所以B→A F⁺，B→C F⁺

故ρ₁是有损连接。

方法二：

因为AB∩AC=A，AB-AC=B，AC-AB=C

所以A→B F⁺，A→C F⁺

故ρ₂是无损连接。

举例2：已知R<U,F>，U={A,B,C,D,E}，F={A→C,B→C,C→D,DE→C,CE→A}，R的一个分解为R₁(AD)，R₂(AB)，R₃(BE)，R₄(CDE)，R₅(AE)，判断这个分解是否具有无损连接性。

解：用判断无损连接的算法来解。

① 构造一个初始的二维表，若“属性”属于“模式”中的属性，则填a_j，否则填b_ij。

② 根据A→C，对上表进行处理，由于属性列A上第1、2、5行相同均为a₁，所以将属性列C上的b₁₃、b₂₃、b₅₃改为同一个符号b₁₃（取行号最小值）。

③ 根据B→C，对上表进行处理，由于属性列B上第2、3行相同均为a₂，所以将属性列C上的b₁₃、b₃₃改为同一个符号b₁₃（取行号最小值）。

④ 根据C→D，对上表进行处理，由于属性列C上第1、2、3、5行相同均为b₁₃，所以将属性列D上的值均改为同一个符号a₄。

⑤ 根据DE→C，对上表进行处理，由于属性列DE上第3、4、5行相同均为a₄a₅，所以将属性列C上的值均改为同一个符号a₃。

⑥ 根据CE→A，对上表进行处理，由于属性列CE上第3、4、5行相同均为a₃a₅，所以将属性列A上的值均改为同一个符号a₁。

⑦ 通过上述的修改，使第三行成为a₁a₂a₃a₄a₅，则算法终止。且分解具有无损连接性。

判别一个分解的无损连接性相关推荐

一、判别一个分解的无损连接性
判别一个分解的无损连接性算法的文字描述为: 算法的伪代码描述为: 例题解析对于分解为两个关系模式的情况,有如下的定理:
数据库系统概论：判别一个分解的无损连接性
1. 无损连接定义无损连接是指分解后的关系通过自然连接可以恢复成原来的关系,即通过自然连接得到的关系与原来的关系相比,既不多出信息.又不丢失信息. 2. 判别无损连接的方法定理判别(适合关系模式R ...
模式分解的无损连接性之深入剖析
1.无损连接分解的形式定义无损连接分解的形式定义如下:设R是一个关系模式,F是R上的一个函数依赖(FD)集.R分解成数据库模式δ={R1,--,Rk}.如果对R中每一个满足F的关系r都有下式成立: ...
判断分解的无损连接性
算法 ρ={R1<U1,F1>,R2<U2,F2>,...,Rk<Uk,Fk>}是关系模式R<U,F>的一个分解,U={A1,A2,...,An},F= ...
数据库中的模式分解与无损连接性
无损连接分解的普通判别方法--表格法设关系模式R=A1,-,An,R上成立的FD集F,R的一个分解p={R1,-,Rk}.无损连接分解的判断步骤如下: (1)构造一张k行n列的表格,每列对应一个属性 ...
分解为具有无损连接性和依赖保持性的3NF的方法以及例子
分解为具有无损连接性和依赖保持性的3NF的方法以及例子通用方法例子通用方法输入:关系模式R<U, F> 输出:具有无损连接性和函数依赖保持性的3NF分解ρ = {R1, R2, - ...
基本函数依赖和候选键_[总结]关系数据库设计基础(函数依赖、无损连接性、保持函数依赖、范式、……)...
联系(Relationship)1:1联系:如果实体集E1中的每个实体最多只能和实体集E2中一个实体有联系,反之亦然,那么实体集E1对E2的联系成为一对一联系,记为1:1: 1:N联系:一对多,记为1 ...
【关系数据库设计基础理论 - 候选关键字、无损连接性、函数依赖的判断】
答: ①:计算候选关键字就是拿4个选项去计算他的闭包,如果闭包中包含了R的所有属性并且为最小集,那这个就是他的候选键 CD+是:CD,C什么也决定不了,D能推出A -> CDA ,A又能推出E ...
C语言：定义一个函数int isprime(int n)，用来判别一个正整数n是否为素数，若为素数函数返回值为1，否则为0。在主函数中输入一个整数x，调用函数isprime(x)来判断这个整数x是
原题: 定义一个函数int isprime(int n),用来判别一个正整数n是否为素数,若为素数函数返回值为1,否则为0.在主函数中输入一个整数x,调用函数isprime(x)来判断这个整数x是不是 ...

判别一个分解的无损连接性

判别一个分解的无损连接性相关推荐

最新文章

热门文章