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

模式分解算法-满足3NF的无损且保持函数依赖的分解算法、满足BCNF的无损连接分解算法

一、引言

1、对指定的关系模式,若范式级别较低,为第一范式或第二范式,由于存在数据冗余或更新异常问题,在实际中一般是不可用的,关系模式的规范化就是将满足低一级的关系模式分解为若干满足高一级范式的关系模式的集合

2、在函数依赖范围内,希望分解消除数据冗余与操作异常等问题,得到的关系模式均能达到BCNF,并且分解具有无损连接性,同时分解保持函数依赖,但这三个目标有时不能同时满足,一般只能做到如下两点

(1)可以保证分解既具有无损连接性又保持函数依赖,但不能保证分解后的各关系模式属于BC范式,但可以都属于3NF

(2)可以保证分解后的各关系模式都属于BC范式,但只能保证分解再具有无损连接性,不能保证分解保持函数依赖

因此,在实际应用时应根据具体的需求来选择模式分解的方式

二、满足3NF的无损保持函数依赖的分解算法

算法4:分解关系模式为满足3NF的一个无损且保持函数依赖的分解

1、输入、输出

输入:

关系模式R(U,F)

输出:

由R分解出的一个关系模式集合\rho\rho中每个关系模式属于3NF,且分解具有无损连接性并保持函数依赖关系模式集合

2、算法实现流程

(1)寻找F的最小函数依赖集F_{m},令F=F_{m}

(2)对F中的函数依赖集按具有相同左部的原则分组,每一分组中的函数依赖集F_{i},所涉及的全部属性组成一个属性集U_{i},若U_{j}\subseteq U_{i}(i\neq j),就去掉U_{j}

(3)若U_{i}均不包含R的候选键(此处说明必须求出R中所有的候选键),则增加一个只包含候选键的属性集U_{i}

(4)将U_{i}及F在U_{i}上的投影F_{i}构成分解\rho中的一个关系模式R_{i}(U_{i},F_{i})

3、举例:

分析:

(1)由于分解\rho中的关系模式R_{6}中包含了R中的候选键,可用判断一个分解是否为无损连接分解的算法来验证分解\rho具有无损连接性,可验证结果表中包含候选键的关系模式所在的行一定可称为全a

(2)由于F是最小函数依赖集每个分组U_{i}上的函数依赖的左部相同,分解中的每个关系模式R_{i},一定是一个以函数依赖左部为码的3NF,即使对于U_{1}包含于U_{5}U_{3}包含于U_{4}的情况,也只是在分解结果的U_{4}U_{5}中,增加了主属性对于候选键的部分或传递函数依赖,因此\rho是所求分解

四、满足BCNF无损连接分解算法

算法5:分解关系模式为满足BCNF的一个无损连接分解

1、输入和输出

输入:

关系模式R(U,F)

输出:

由R分解出的一个关系模式集合\rho\rho中每个挂你模式都属于BCNF,且分解具有无损连接性

2、递归算法实现流程:

(1)判断R是否属于BCNF,若是,则返回\rho={R};

(2)R不属于BCNF,必有函数依赖X\rightarrow A,X不是R的候选键,计算(X_{F})^{+},将R分解为R_{1}R_{2}U_{1}=(X_{F})^{+},U_{2}=X(U-(X_{F})^{+})=X(U-U_{1});

(3)对F在U_{1}U_{2}进行投影,得到F_{1}F_{2}

(4)返回第(1)步,递归地分解R_{1}R_{2},返回分解得到的结果集合。

3、举例:

 

 分析:

因为在关系模式R_{22}中,包含了R的一个候选键HS,利用判断一个分解是否是无损连接分解的算

法,可以验证该分解\rho具有无损连接性

五、小结

(1)利用不同的模式分解算法可按不同的分解目标实现关系模式的规范化设计

(2)数据库设计者在设计关系数据库时,一般尽可能设计成BCNF模式集

http://www.lryc.cn/news/379908.html

相关文章:

  • 荷兰与法国战平,双方能携手出现?
  • 数据可视化实验二:回归分析、判别分析与聚类分析
  • FL论文专栏|设备异构、异步联邦
  • 【Java毕业设计】基于JavaWeb的礼服租赁系统
  • 代码随想录训练营Day 66|卡码网101.孤岛的总面积、102.沉没孤岛、103.水流问题、104.建造最大岛屿
  • 根据状态转移写状态机-二段式
  • PyTorch C++扩展用于AMD GPU
  • Hadoop archive
  • R语言——R语言基础
  • VFB电压反馈和CFB电流反馈运算放大器(运放)选择指南
  • elasticsearch安装(centos7)
  • Java高手的30k之路|面试宝典|精通JVM(二)
  • JVM专题六:JVM的内存模型
  • 学习java第一百零七天
  • k8s上尝试滚动更新和回滚
  • GitHub Copilot 登录账号激活,已经在IntellJ IDEA使用
  • 进程知识点(二)
  • 【线性代数】【一】1.6 矩阵的可逆性与线性方程组的解
  • 基于大型语言模型的全双工语音对话方案
  • Spring Boot集成Minio插件快速入门
  • 【C++新特性】右值引用
  • 信息安全基础知识(完整)
  • QT
  • 双例集合(三)——双例集合的实现类之TreeMap容器类
  • [SAP ABAP] 运算符
  • MSPM0G3507 ——GPIO例程讲解2——simultaneous_interrupts
  • 某程序员:30岁了,老婆管钱,背着我买了50万股票,亏了20w,强制她清仓后又买了36万
  • Docker常见面试题整理
  • 35 - 最后一个能进入巴士的人(高频 SQL 50 题基础版)
  • WPF将dll文件嵌入到exe文件中