数据库系统-关系代数、规范化理论

本文深入探讨了数据库领域的核心概念,包括关系代数的操作如并、交、差和选择,自然连接以及投影。接着讨论了数据库规范化理论,解释了函数依赖、冗余依赖和Armstrong公理体系。文章还涵盖了范式的概念,从第一范式到第三范式,并阐述了不同范式对消除数据冗余和异常的影响。最后,讲解了模式分解的重要性,包括无损分解和保持函数依赖的原则。
摘要由CSDN通过智能技术生成

关系代数
并 交 差(减除相同的)
笛卡尔积
S1XS2
在这里插入图片描述
同名的加上表名进行区分

投影 π
在这里插入图片描述
选择
在这里插入图片描述
选择操作不会修改表的结构

自然连接
在这里插入图片描述
减去重复列数

注:先做选择再做投影

例题:
在这里插入图片描述
答案:CB
注意and符号,考虑B大于E和同名属性列相等
在这里插入图片描述
答案:D
先做两次筛选,再做笛卡尔积,效率最高

规范化理论(有难度)
函数依赖
属性C部分依赖候选键
在这里插入图片描述
传递依赖
在这里插入图片描述
A决定C,叫做冗余依赖

Amstrong公理体系
了解三条推理和三条推论,需要区分

在这里插入图片描述
例题:
在这里插入图片描述
答案:B

候选键:唯一标识元组,且无冗余,可以是一个也可以是多个,属性可以是单属性也可以是多属性的组合键
主键:在候选键中任选一个
外键:其他关系的主键

图示法求候选键
在这里插入图片描述
例题:
在这里插入图片描述
答案:A
A1入度为0,能遍历所有结点,A没有冗余,所有选A
在这里插入图片描述
答案:B
画出示图,得出A和B是候选键,注意选项A是组合键,选项B是两个候选键

主属性和非主属性
组成候选键的属性就是主属性,其他的就是非主属性
在这里插入图片描述
答案:B
入度为0是A,但不能遍历所有结点,所有候选键是AC和AB,主属性是A B C

在这里插入图片描述
答案:AC

范式判断
不到3NF 都存在以下情况,直接列举
数据冗余
修改异常
插入异常
删除异常
(判断依据)
建表至少满足第一范式
在这里插入图片描述
单属性至少满足第二范式
在这里插入图片描述
没有非主属性 至少满足第三范式
在这里插入图片描述
在这里插入图片描述
范式之间的关系(了解)
在这里插入图片描述
在这里插入图片描述
例题:
在这里插入图片描述
答案:BCC
分解后能达到BC范式,因为没有,所以选择3NF,4NF判断依据是多值函数依赖,软件设计师不涉及

模式分解
保持函数依赖分解
在这里插入图片描述
注:冗余函数依赖不需要保留

无损分解
有损:不能还原 无损:可以还原
表格法判断是不是无损分解,尝试还原,如果能还原就是无损分解
在这里插入图片描述先找同名属性列,也就是都画勾的,然后再看函数依赖,还原出被决定因素,只要一排全为勾,就是无损还原

公式法
试用于还原两个关系模式
在这里插入图片描述
例题:
在这里插入图片描述
答案:DD
使用表格法,只有D能还原一排,是无损分解的,但是D没有保持函数依赖,所以这道题没有正确答案,但考试中选最接近的答案

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

ChampLixxx

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值