判断模式分解是否具有无损连接性的算法.ppt_第1页
判断模式分解是否具有无损连接性的算法.ppt_第2页
判断模式分解是否具有无损连接性的算法.ppt_第3页
判断模式分解是否具有无损连接性的算法.ppt_第4页
判断模式分解是否具有无损连接性的算法.ppt_第5页
已阅读5页,还剩5页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

判断一个分解具有无损连接性的算法 算法的输入 关系模式R A1 A2 An R上的函数依赖集F R的一个分解 R1 R2 Rk 算法的输出 true或false 算法LOSSLESSTEST R F 构造一个k行n列的二维表T 第i行对应于关系模式Ri 第j列对应于属性Aj 令 tij aj若Aj Ri bij若Aj Ri c1 true dowhilec1 c1 false for每一个X Y Fdofor每一对ti tk Tdoifti X tk X andti Y tk Y then EQUY ti tk c1 true for任一个t Tdo ift a1a2 anthenreturn true return false EQUY ti tk 是使ti tk两个元组的Y值相等的子处理过程 处理原则如下 若ti Y 与tj Y 有一个为aj则将另一个也改为aj 否则 tk Y ti Y 假定i k 例 关系模式R A B C D E F A C B C C D DE C CE A 分解为 R1 A D R2 A B R3 B E R4 C D E R5 A E 用上述算法判断 是否具有无损连接性 构造二维表 ABCDE R1 R2 R3 a1 a3 a2 a1 b23 R4 R5 a5 a4 a2 a4 a1 a5 a5 b13 b33 b53 b12 b15 b24 b25 b34 b31 b54 b52 b42 b41 由A C 做的修改 ABCDE R1 R2 R3 a1 a3 a2 a1 b23 R4 R5 a5 a4 a2 a4 a1 a5 a5 b13 b33 b53 b12 b15 b24 b25 b34 b31 b54 b52 b42 b41 b13 b13 由C D做的修改 ABCDE R1 R2 R3 a1 a3 a2 a1 b13 R4 R5 a5 a4 a2 a4 a1 a5 a5 b13 b13 b13 b12 b15 b24 b25 b34 b31 b54 b52 b42 b41 a4 a4 a4 结果二维表 ABCDE R1 R2 R3 a1 a3 a2 a1 R4 R5 a5 a4 a2 a4 a1 a5 a5 b12 b15 b25 b52 b42 a3 a3 a3 a3 a1 a1 a4 a4 a4 算法输出true 是无损的 定理 关系模式

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论