码迷,mamicode.com
首页 > 数据库 > 详细

数据库转化为3NF以及BCNF

时间:2020-03-21 18:03:42      阅读:303      评论:0      收藏:0      [点我收藏+]

标签:code   模型   com   abd   line   根据   bcd   关系模型   删除   

数据库转化为3NF以及BCNF

转换为3NF保持函数依赖

技术图片

例题:关系模型R<U,F>,U={A,B,C,D,E},F={A→BC,ABD→CE,E→D}

  1. 首先最小化处理得到\(F=A\rightarrow B,A\rightarrow C,AD\rightarrow E,E\rightarrow D\)
  2. 合并\(R_1={ABC},R_2={ADE},R_3={ED}\)

转换为3NF保持函数依赖和无损性

技术图片

例题:关系模型R<U,F>,U={A,B,C,D,E},F={A→BC,ABD→CE,E→D}

  1. 首先根据上面得到的\(R_1,R_2,R_3\)

  2. 计算出R的候选码为AD,AE,生成两个新的关系\(R_4{AD},R_5{AE}\)
  3. 下一步就是看包括关系,明显\(R_3,R_4,R_5\)包括在\(R_2\)里面所以得到\(R_1,R_2\)

转换为BCNF

技术图片

例题:关系模式R<U,F>,其中:U={A,B,C,D,E},F={A→C,C→D,B→C,DE→C,CE→A},将其分解成BCNF并保持无损连接。

A:LR

B:L

C:LR

D:LR

E:L

计算BE的闭包得到ABCDE所以候选码为BE

  1. 对于A→C不符合BCNF所以分离出来,\(R_1\) ={AC},\(R_2\)={ABDE}(去除C),这时\(F_2\) = {B→D,DE→D,BE→A},删除DE→D,得到\(F_2\) = {B→D,BE→A}
  2. 对于\(R_2\)其中B→D中的B是决定因素但是不是码(码是BE),所以分离
  3. 得到\(R_3= {ABE},R_2 = {BD},R_1 = {AC}\)

数据库转化为3NF以及BCNF

标签:code   模型   com   abd   line   根据   bcd   关系模型   删除   

原文地址:https://www.cnblogs.com/lvgj/p/12540302.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!