当前位置: 首页 > news >正文

数据库闭包求法 附相关习题及解析

闭包就是由一个属性直接或间接推导出的所有属性的集合

以下是写的比较科学规范的闭包求解方法,设X和Y均为关系R的属性集的子集,F是R上的函数依赖集,若对R的任一属性集B,一旦X→B,必有B⊆Y,且对R的任一满足以上条件的属性集Y1 ,必有Y⊆Y1,此时称Y为属性集X在函数依赖集F下的闭包,记作X+。

计算关系R的属性集X的闭包的步骤如下:

第一步:设最终将成为闭包的属性集是Y,把Y初始化为X;
第二步:检查F中的每一个函数依赖A→B,如果属性集A中所有属性均在Y中,而B中有的属性不在Y中,则将其加入到Y中;
第三步:重复第二步,直到没有属性可以添加到属性集Y中为止。 最后得到的Y就是X+

闭包练习一:

设有关系模式R(U,F),其中U={A,B,C,D,E,I},F={A→D,AB→E,BI→E,CD→I,E→C},计算(AE)+

答案要点: (1) 令X={AE},X(0)=AE
(2)在F中寻找尚未使用过的左边是AE的子集的函数依赖,结果是: A→D,
E→C;所以 X(1)=X(0)DC=ACDE, 显然 X(1)≠X(0).
(3)在F中寻找尚未使用过的左边是ACDE的子集的函数依赖, 结果是: CD→I;所以X(2)=X(1)I=ACDEI。虽然X(2)≠X(1),但F中寻找尚未使用过函数依赖的左边已经没有X(2)的子集,所以不必再计算下去,即(AE)+=ACDEI。

闭包练习二:

  1. 设有函数依赖集F={AB→CE, A→C, GP→B, EP→A, CDE→P, HB→P, D→HG, ABC→PG},求属性D关于F的闭包D+。
  2. 设有函数依赖集F={AC→PE, PG→A, B→CE, A→P, GA→B, GC→A, PAB→G, AE→GB, ABCP→H},求属性集BG关于F的闭包(BG)+。

答案要点:

  1. 令X={D} , X(0)=D -----1分 X(1)=DHG -----1分 X(2)=DHG -----1分 故D+=DHG。-----1分
  2. 令X={BG}, X(0)=BG, -----1分 X(1)=BGCE, -----1分 X(2)=BGCEA, -----1分 X(3)=BGCEAP, -----1分 X(4)=BGCEAPH=U, -----1分 故(BG)+= BGCEAPH。-----1分

闭包练习三:
已知关系模式R(A,B,C,D,E)和函数依赖集F={AB→C, B→D, C→E, EC→B, AC→B, D→BE}。试问AC→BE能否从F导出?请分别用两种方法进行计算:
1.运用推理规则推导;(4分)
2.求属性集AC关于函数依赖集F的闭包。(7分)

答案要点:

  1. 对已知的AC→B和B→D,根据传递规则,AC→D成立。------2分 对已证的AC→D和已知的D→BE,根据传递规则,AC→BE成立,即AC→BE能从F中导出。------2分
  2. 令X={AC}, X(0)=AC, -----1分 X(1)=ACEB, -----1分 X(2)=ACEBD, -----1分 X(3)=ACEBD=U, -----1分 故(AC)+= ACEBD。-----1分 因为BE(AC)+
    ,所以AC→BE能从F中导出。-----2分
http://www.lryc.cn/news/270557.html

相关文章:

  • idea利用JRebel插件,无需重启,实现Spring Boot项目热重载,节省开发时间和精力!
  • 学习体系结构 - AArch64内存管理
  • Vue3 精通指南:如何在 setup 函数中巧妙利用 Vuex
  • Linux 服务器安全策略技巧:启用账户锁定策略
  • 野火霸道-V2+3.2寸屏+FreeRTOS+LVGL移植
  • 操作教程|MeterSphere UI测试+VNC:简单、快捷地查看UI测试实时执行详情
  • 工具--Git详解
  • windows server 2022 启用SYN攻击保护
  • 汽车保养软件app开发步骤
  • 【HarmonyOS】ArkTS语言介绍与组件方式运用
  • 音频播放软件Foobar2000 mac特点介绍
  • Oracle动态性能视图 v$parameter 和 v$parameter2 的区别
  • ssrf之dict协议和file协议
  • OpenAI GPT 模型 API 接口新增参数 top_logprobs 和 logprobs
  • React项目打包流程
  • 04-获取认证的用户身份信息
  • 二叉树的中序遍历,力扣
  • shiro1.10版本后-IniSecurityManagerFactory过期失效
  • 阿里后端实习二面
  • 「Kafka」生产者篇
  • C语言实现RSA算法加解密
  • 如何设计前后端分离的系统架构?
  • 【强化学习】SARAS代码实现
  • P1019 [NOIP2000 提高组] 单词接龙 刷题笔记
  • 如何实现WinApp的UI自动化测试?
  • chrome扩展程序开发之在目标页面运行自己的JS
  • NLP项目之语种识别
  • Linux lpr命令教程:如何使用lpr命令打印文件(附案例详解和注意事项)
  • 浅谈C语言inline关键字
  • Flink1.17实战教程(第六篇:容错机制)