导图社区 关系数据库设计理论
关系数据库设计理论知识总结，包括规范化问题的提出、函数依赖概述、关系模式的规范化、关系模式的规范化等内容。
社区模板帮助中心，点此进入>>
互联网9大思维
组织架构-单商户商城webAPP 思维导图。
域控上线
python思维导图
css
CSS
计算机操作系统思维导图
计算机组成原理
IMX6UL(A7)
考试学情分析系统
关系数据库设计理论
范式
第一范式
关系模式R的所有属性均为原子属性，即不可再分
第三范式
关系模式R∈2NF，且每个非主属性都不传递依赖于R的主码
步骤
将关系模式中非主属性的依赖因子删除，即删除依赖于非主属性的属性
新建关系模式，放入删除掉的依赖因子及决定因子
多值依赖与第四范式
多值依赖
设有一个关系模式R(U),X,Y,Z都是U的子集，且Z=U-X-Y，如果对于R的任一关系r，确定了X的值就存在Y的一组值与之对应，且Y值与Z值无关，
称Y多值依赖与X，或X多值决定Y，记作X→→Y
第四范式
在BV范式的基础上，消除了多值依赖的关系模式
利用投影操作将关系模式分解
B C 范式
关系模式R∈3NF，且不存在主属性对非主属性的函数依赖
将关系模式中主属性所依赖的非主属性删除
新建关系模式，放入上一步中删除的属性及其依赖因子
第二范式
关系模式R∈1NF，且每个非主属性都完全依赖于R的主码
结论
对属于第一范式的关系消除非主属性对主码的部分函数依赖，即属于第二范式
如果某关系的主码为单属性或某关系的主码为全码，那么它们都属于第二范式
将主码属性集合的每个子集作为主码构建关系模式
将非主属性依次放到相应的关系模式中
去掉仅由主属性构成的关系模式
关系模式的规范化
规范化问题的提出
规范化理论的重要性
不合理的关系模式存在的问题
数据冗余
插入异常
更新异常
删除异常
解决方法
模式分解
规范化理论
函数依赖
核心
模式设计
函数依赖概述
定义
关系模式中属性之间的依赖关系
多对多联系时，不存在任何函数依赖
函数依赖的逻辑蕴含及推理规则
逻辑蕴含的定义
Armstrong公理及推论
基本定理
自反律
增广律
传递律
推论
分解性规则
复 合 规 则
伪传递规则
合并性规则
候选码的求解
候选码
快速求解候选码
多属性函数依赖集候选码求解
最小函数依赖集
计算最小函数依赖的算法
相关概念
属性集的闭包及其算法
属性集闭包算法
属性集的闭包
函数依赖的类型
传递函数依赖
部分函数依赖
完全函数依赖
制作
刘龙龙
消除平凡的多值依赖
消除主属性对非主属性的函数依赖
消除传递函数依赖
消除部分函数依赖
将组合项分解为最小数据项
4NF关系
3NF关系
BCNF关系
2NF关系
1NF关系
数据表
关系规范化的要求
函数依赖保持性
无损连接性
关系模式规范化的步骤
关系模式规范化的目的和原则
目的
使关系结构合理，消除存储异常，使数据冗余尽量小并便于数据的插入、修改及删除
原则
“一事一地”
一个关系只描述一个实体或实体间的联系，将多于一个的实体分离
