数据库系统学习笔记（函数依赖、范式）

一、关系数据理论

存在的问题：
①数据冗余
②更新异常
③插入异常
④删除异常

数据依赖

数据依赖主要分为：
函数依赖（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）

消除平凡且非函数依赖的多值依赖

五、模式分解

关系模式的规范化是通过对关系模式的分解来实现的
要保持分解后等价，则：
①分解具有无损连接性
②分解要保持函数依赖
③既有无损连接性，又保持函数依赖