一、关系数据理论
存在的问题:
①数据冗余
②更新异常
③插入异常
④删除异常
数据依赖
数据依赖主要分为:
函数依赖(Functional Dependency,FD)
多值依赖(Multivalued Dependency,MVD)
连接依赖
二、函数依赖
只能通过语义确定函数依赖,不能通过关系表
1、(非)平凡函数依赖
2、完全(部分)函数依赖
3、传递函数依赖
三、码
1、Candidate Key、Surpkey
2、Prime(Nonprime) attribute/All-key
3、Foreign key(外部码)
四、范式(Paradim)
范式是符合某一种级别的关系模式的集合
第一范式
所有属性都是不可分的基本数据,即没有子表
第二范式(2NF)
消除非主属性对码的部分依赖
第三范式(3NF)
消除非主属性对码的传递依赖
BC范式(BCNF)
消除主属性对码的部分依赖和传递依赖
第四范式(4NF)
消除平凡且非函数依赖的多值依赖
五、模式分解
关系模式的规范化是通过对关系模式的分解来实现的
要保持分解后等价,则:
①分解具有无损连接性
②分解要保持函数依赖
③既有无损连接性,又保持函数依赖