关系数据库理论、数据库设计、数据库关系查询处理和优化、数据库恢复技术_数据库题目关系查询处理和查询优化选择题-CSDN博客

本文链接：https://blog.csdn.net/weixin_51118573/article/details/122287803

第六章关系数据库理论

关系模式可以看作是一个三元组R<U,F>
关系名R是符号化的元组语义
U为一组属性
例如表示为 U = { Sno , Sdept , Mname , Cno , Grade }
F为属性组U上的一组数据依赖
例如表示为 F = { Sno -> Sdept , Sdept-> Mname , (Sno,Cno) ->Grade }
当且仅当U上的一个关系r满足F时，r称为关系模式R<U,F>的一个关系

平凡的函数依赖：
非平凡的函数依赖：

完全函数依赖：
集合x刚好能推出y，但x中缺少任意一个都不能推出y
称y 对 x 完全函数依赖

部分函数依赖：
集合x能推出y，x中缺少一点仍可能推出y
称y 对 x 部分函数依赖
（学号，身份证号）-> 姓名
（学号）-> 姓名

候选码：能推出所有属性
怎么选出候选码？
一定是候选码：只出现在左边的、左右都不出现
一定不是候选码：只出现在右边的
不确定的：左右都出现的

然后求 “一定是候选码” 的闭包，如果可以推出全部，那么当前确定的就是候选码；否则，把 “不确定的“ 中每一个值分别放进 “一定是候选码” 里面求闭包

例题：在这里插入图片描述

超码：能表示所有属性的集合（包含候选码的，在候选码上扩充）。候选码是最小的超码。
比如 (BDA) , ( BDC ) , ( BDE ) , ( BDAC ) ,（ABCDE）…

主码：从候选码中任意挑出一个作为主码

主属性：包含在任何一个候选码中的属性，比如ABCDE

非主属性：不包含在任何候选码中的属性，比如G

全码：所有属性都是主码

1NF：所有的字段值都是不可再分解的原子值。
例如，有一个属性为地址，但地址是可以再拆分的，所以不符合1NF
在这里插入图片描述

2NF: 不包含非主属性对码的部分函数依赖。（每一非主属性都完全函数依赖于任何一个候选码）
可理解为：一个表中只能保存一种数据，不可以把多种数据保存在同一张数据表中。

例如：
在这里插入图片描述

这个表是订单信息表，可以有订单编号，但又有商品编号、商品名称，所以这到底是订单信息表还是商品信息表？？？这就不符合2NF。
需要拆分成3张表：
在这里插入图片描述

3NF: 不包含非主属性对码的传递函数依赖。
人话：确保数据表的每一列数据都和主键直接相关，而不能间接相关。

例如：
在这里插入图片描述

BCNF: 消除每一个属性对候选码的传递依赖，BCNF是对3NF的修正。

例如：
对于表
在这里插入图片描述
存在关系：
书号 -> 书名
(书名、作者) -> 书号
上面关系存在函数依赖，不能是 BCNF

求最小函数依赖集
依赖：关系中一个或一组属性的值可以决定其它属性的值。如A-> B
例题：
在这里插入图片描述
（1）拆分右边为多个元素的（比如A ->BC 可拆为 A->B 和 A->C）
这题没有要拆分的

（2）把集合里面的所有元素都重复一遍操作：假设去掉当前元素，求当前元素的闭包，如果（通过其它元素）能推出右边，则去掉当前元素；如果不能推出则保留
( BCD )⁺= BCDE 推不出A，所以保留
( BC )⁺= BCD
( A )⁺= AG
( F )⁺= F
( C )⁺= C
(A)⁺= AFG 这里的 (A)⁺能推出G所以去掉A->G

（3）左边最小化（通过遮住元素来看能不能推出其他元素）比如BCD，遮住B能推出CD吗？？？遮住C能推出BD吗？？？遮住D能推出BC吗？？？
对于BCD：遮住B，CD不能推出B，所以保留B
遮住C，BD不能推出C，所以保留C
遮住D，BC能推出D，所以去掉D
所以BCD->A 变成 BC-> A
重复以上操作，最后得到
{ BC->A , BC->E , A->F , F->G ,C->D }

模式分解：
准则：分解后产生的模式应于原模式等价
无损：就是分解后再次连接，和分解之前一样
依赖：依赖不变

在这里插入图片描述

例题：
已知R（ABCDEFGH）,F = {A->D, E->D, D->B, BC->D, DC->A} , 求保持函数依赖的3NF的分解
（1）最小函数依赖集Fmin = { A->D, E->D, D->B, BC->D, DC->A}
（2）GH没在F里面，单独归为一类 {GH}
（3）在最小函数依赖集里面找，对于每一个依赖有
{ AD}, {ED},{ DB},{BCD},{ DCA}
（4）算出候选码 CE，由于第三部的结果中没有{CE} ,所以单独归为一类
结果： {AD}, {ED},{ DB},{BCD},{ DCA},{GH},{CE}