目录
数据库设计
部分依赖于传递依赖
A确定C(A,B)也能确定C,A是 (A,B)中的一部分,称为部份依赖
A可以确定B,B可以确定C,则A 可以确定C,称为传递依赖
键与约束
实体完整性: 主属性不能为空,不能重复
参照完整性:外键必须是其他表中已经存在的主键值或者为空
用户自定义完整性约束:自定义表达
范式
第一范式:属性不可再分
第二范式:非主属性没有对主属性的部份依赖
第三范式:非主属性没有对主属性的传递依赖
BC范式:依赖的决定因素必须包含候选码
模式分解
将具有部分函数依赖和传递依赖的属性分离出来
保持函数依赖分解:能还原出消除冗余依赖的依赖集
无损连接:分解后可以再还原关系模式
例题
分解为两个关系时可以用上图的公式
R1∩R2为C R1-R2为ABE,R2-R1为D,由C无法推出ABE或D,所以不具有无损链接,函数依赖的前提是要在同一个关系中,D与A不在同一个关系中,所以D→A无法保持,所以不能保持函数依赖