文章目录
关系模式
函数依赖
平凡函数依赖与非平凡函数依赖
完全函数依赖与部分函数依赖
传递函数依赖
码
主码
外码
范式
第一范式1nf
关系模式R中的所有属性都是不可分的基本数据项,不存在表中表
第二范式2nf
每一个非主属性完全依赖于R的码
1nf到2nf的方法:消除非主属性对主码的部份依赖
将一个模式分解为多个模式,直到每个模式里都不存在非主属性对码的部分依赖
第三范式3nf
2nf到3nf的方法:消除非主属性对主码的传递依赖
将一个模式分解为多个模式,直至每个模式里都不存在非主属性对主码的传递依赖
数据依赖的公理系统
armstrong公理系统
求闭包
在关系模式R<U,F>中为F所逻辑蕴含的函数依赖的全体叫做F的闭包,记作F+
公式:
利用属性组的闭包求关系的候选码