第六章关系数据理论

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-r9ETJ75y-1677334548439)(imgs/image-20220508202554924.png)]

数据依赖

是一个关系内部属性与属性之间的一种约束关系

• 函数依赖
• 多值依赖

函数依赖

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-VwmC6WVO-1677334548443)(imgs/image-20220508203833604.png)]
(107条消息) 函数依赖的逻辑蕴涵_zljun8210的博客-CSDN博客
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-TOyOKO56-1677334548443)(imgs/image-20220508205227388.png)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-S3xrSo60-1677334548445)(imgs/image-20220508205453387.png)]

候选键

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-cWdRnlWA-1677334548445)(imgs/image-20220508205725552.png)]

外来键

若R(U)中的属性或属性组合X并非R的候选键，但X却是另一关系的候选键， 则称X为R的外来键(Foreign Key)，简称外键

逻辑蕴含

闭包

函数依赖的公理

多值依赖

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-8ta1UKZt-1677334548446)(Pasted%20image%2020220604120159.png)]

关系规范

第一范式

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Y6eS3Dkd-1677334548447)(imgs/image-20220508212051272.png)]

第二范式

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-6K4a8Wa5-1677334548448)(imgs/image-20220508212159468.png)]

可以把不属于第二范式的转换成属于第二范式的：

可以把一个关系分解成两个关系

第三范式

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-VxgdiYkU-1677334548448)(imgs/image-20220508220341275.png)]

即第三范式没有传递依赖

可以把不属于第三范式的转换成属于第三范式的：

可以把一个关系分解成两个关系

模式分解

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-069zi80Y-1677334548449)(imgs/image-20220508221900759.png)]