关系数据库理论

函数依赖

关系数据库理论_第1张图片关系数据库理论_第2张图片
关系数据库理论_第3张图片

关系模式规范化

在这里插入图片描述在这里插入图片描述
第一范式(1NF)无重复的列

第二范式(2NF)非主属性完全依赖于主键 [ 消除部分子函数依赖 ]
eg:如果主键是(A,B),但关系中存在A->C,即存在部分依赖,不是2NF
若关系R的侯选码是单属性的,则R必定是2NF。

第三范式(3NF)属性不依赖于其它非主属性 [ 消除传递依赖 ]:
不存在如下依赖关系:关键字段 → 非关键字段x → 非关键字段y
若关系R的所有属性都是主属性,则R至少是3NF。

BCNF:若函数依赖集合F中的所有函数依赖X→Y(Y⊈X)的左部都包含R的任一侯选码,则R∈BCNF。

关系数据库理论_第4张图片

函数依赖集的和属性集的闭包

关系数据库理论_第5张图片
关系数据库理论_第6张图片

求候选码

关系数据库理论_第7张图片

最小等价依赖集

求Fm
关系数据库理论_第8张图片

模式的分解

3NF
关系数据库理论_第9张图片
BCNG
关系数据库理论_第10张图片

无损连接性检验

关系数据库理论_第11张图片
关系数据库理论_第12张图片关系数据库理论_第13张图片

你可能感兴趣的:(数据库)