判断关系模式是否是无损连接

无损连接的定义

指的是对关系模式分解时,原关系模式下任一合法的关系 实例在分解之后应能通过自然连接运算恢复起来。

验证无损连接的充要条件

但是具有局限性,即p关系模式中只有两个元素。

无损连接的测试方法-表格法

例:对给定的关系模式R(U,F),U={A,B,C,D,E},F={A→C, B→C,C→D,DE→C,CE→A},有如下的分解: ρ={AD,AB, BE,CDE,AE},判断分解ρ是否无损。

步骤一:构建一个表格

12345
RiABCDE
1ADa1b12b13a4b15
2ABa1a2b23b24b25
3BEb31a2b33b34a5
4CDEb41b42a3a4a5
5AEa1b52b53b54a5

步骤二:对F进行遍历,如A->C,找到涉及的所有列,即AC两列,然后找到关系左边A这一列中相同的元素(注意是相同的元素,不是找a),这些相同的元素位于1 2 5 行,然后在C列中的1 2 5行中找是否有a3(即这一列的a),如果有,就把1 2 5行改为a3,如果没有就改为bij(i为行号的最小值)。

第一步操作后表格为:

12345
RiABCDE
1ADa1b12b13a4b15
2ABa1a2b13b24b25
3BEb31a2b33b34a5
4CDEb41b42a3a4a5
5AEa1b52b13b54a5

步骤三:这样反复进行,如果发现某一行变成了a1,a2,…,ak,则分解ρ具 有无损连接性;如果F中所有函数依赖都不能再修改表中的内容,且 没有发现这样的行,则分解ρ不具有无损连接性。

  • 10
    点赞
  • 49
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值