数据库系统概论-关系数据理论

一个关系模式应当是一个五元组：R ( U, D, DOM, F )

关系名R是符号化的元组语义

U为一组属性；

D为属性U中的属性所来自的域；

DOM为属性到域的映射；

F为属性组U上的一组数据依赖。

由于D、DOM与模式设计关系不大，可以把关系模式简化为一个三元组：R < U, F >

当且仅当U上的一个关系 r 满足F时， r 称为关系模式R<U, F>的一个关系

数据依赖是一个关系内部属性与属性之间的一种约束关系。这种约束关系是通过属性间值的相等与否体现出来的数据间相关联系。它是现实世界属性间相互联系的抽象，是数据内在的性质，是语义的体现。

4𝑁𝐹 ⊂ 𝐵𝐶𝑁𝐹 ⊂ 3𝑁𝐹 ⊂ 2𝑁𝐹 ⊂ 1𝑁𝐹

消除决定因素非码的非平凡函数依赖	↓	1NF
	↓	↓	消除非主属性对码的部分函数依赖
	↓	2NF
	↓	↓	消除非主属性对码的传递函数依赖
	↓	3NF
	↓	↓	消除主属性对码的部分和传递函数依赖
	↓	BCNF
		↓	消除非平凡且非函数依赖的多值依赖
		4NF