一、数据依赖：

一个关系内部属性与属性之间的约束关系

类型：函数依赖（FD)和多值依赖（MVD）

数据依赖对关系模式的影响：

数据冗余太大；更新异常；插入异常；删除异常

 

二、规范化:一个低一级范式的关系模式可以通过模式分解转为若干高级范式的模式集合。

函数依赖：一个关系表中属性之间的联系

设有一个关系模式R(U)，XY均属于U,ts是两个元组，若t[X]=s[X]时有t[Y]=s[Y]，则Y函数依赖X.

平凡的函数依赖：属性集对其子集的函数依赖

非平凡的函数依赖：属性集对另一个非其子集的属性集的函数依赖

完全函数依赖：X->Y,而X的任何一个真子集都不决定Y.

部分函数依赖：

传递函数依赖：X->Y，Y不是X的子集，Y不决定X,Y->Z,则X传递函数依赖Z

范式：符合某一级别的关系模式的集合

1NF>2NF>3NF>BCNF>4NF>5NF

1NF:一个关系模式中所有属性都是不可分基本数据项

2NF:在1NF是·基础上，每个非主属性完全函数依赖于码

3NF:每个非主属性既不部分依赖于码，也不传递以依赖于码

BCNF:在一个关系模式中，每个决定因素都包含码

所有的非主属性对每个码都完全函数依赖；所有的主属性对每个不包含它的码也是完全函数依赖。

多值依赖：

设R(U)是一个关系模式，X/Y/Z是U的子集，Z = U-X-Y,当仅当对R(U)的任一关系r,给定一个（x,z)有一组Y值对应，这组值仅决定于X,则X->->Y

平凡的多值依赖：Z为空集

非平凡的多值依赖：Z不为空集

性质：对称性，传递性，函数依赖是多值依赖的特殊情况

4NF:对于每个非平凡的多值依赖X->->Y，X都含有码

规范化可能带来的负面作用：

可能增加查询的复杂度

目的：尽量消除插入、删除异常，修改复杂、数据冗余

基本思想：逐步消除数据依赖中不合适的部分

三、数据依赖的公理系统：

逻辑蕴涵：

一个关系模式中可有多个函数依赖形成函数依赖集，现在有一个新的函数依赖不存在于该函数依赖集，但能从集合中推导出来，那这个集合逻辑蕴涵这个新的函数依赖。

对于关系模式R(U,F):

自反律：若Y包含于X包含于U,则X->Y为F所蕴含

增广律：若X->Y为F所蕴含，Z包含于U,则X∪Z->Y∪Z

传递律：X->Y,Y->Z,则X->Z

合并规则：X->Y,X->Z，则X->Y∪Z

伪传递规则：X->Y,Y∪W->Z,则X∪W->Z

分解规则：X->Y,Z包含于Y,则，X->Z

在关系模式R(U,F)中，F为蕴含的函数依赖的全体叫做F的闭包F+

有效性；完备性

函数依赖集等价：若G+=F+，则G与F等价

极小函数依赖集：任意函数依赖右部只有一个属性，且F中任何一个函数依赖都不能由其他函数依赖推导出来；

 

四、模式的分解：

无损连接性；保持函数依赖；