关系模式。

一般关系模式存在四个问题

1.数据冗余问题（会造成存储空间的浪费，会造成数据的不一致）

2.数据更新问题（会使修改复杂化）

3.数据插入问题

4.数据删除问题（删除元素的时候，造成删除元组）

函数依赖

基本概念：函数依赖是属性之间的依赖关系，它是语意范畴的概念，关系模式的属性之间是否存在函数依赖只与语义有关

一些术语与符号：

1.如果X趋近于Y，但Y不包含于X，则称X趋近于Y，是非平凡的函数依赖。

2.如果Y不函数依赖于X，则记作X不趋于Y。

3.如果X趋近于Y，则称X为决定因子。

4.如果X趋近于Y，并且Y趋近于X，则记作x互相趋近Y。

5.如果X趋近于Y，并且对于X的一个任意真子集x丿都有x丿不趋近于Y,则称Y为完全函数依赖。

6.如果X趋近于Y。Y趋近于Z则称Z传递函数依赖于X。

函数依赖推理规则

1.Armstrong公理

1自反律：若Y⊆X⊆U，则X→Y为F所蕴含；
2增广律：若X→Y为F所蕴含，且Z⊆U，则XZ→YZ为F所蕴含；
3传递律：若X→Y，Y→Z为F所蕴含，则X→Z为F所蕴含。
根据上面三条推理规则，又可推出下面三条推理规则：

2.

合并规则：若X→Y，X→Z同时在R上成立，则X→YZ在R上也成立。

分解规则：若X→W在R上成立，且属性集Z包含于W，则X→Z在R上也成立。

伪传递规则：若X→Y在R上成立，且WY→Z，则XW→Z。

复合规则：若X→Y和W→Z在R上成立，且XW→YZ在R上也成立。