规范化理论-范式理解

规范化理论

一、关系模式：

对关系的描述，它由5部分组成：

R (U, D, Dom, F)

• R为关系模式名
• U是一个属性集
• D是U中属性集所来自的域
• Dom是属性向域的映射集合
• F是属性间的依赖关系

二、函数依赖

设关系模式R（A1,A2,····,An）或简记为R（U），U是R的属性集合，X和Y是U的子集。r是R的任意一个实例（关系）,若r的任意两个元祖t1、t2，由t1[X]=t2[X]可导致t1[Y]=t2[Y]，即如果X相等则Y也相等，则称Y函数依赖于X或称为X函数决定Y，记作X——>Y.
简单点说就是：对于一个关系模式中的任意两个元组，X上的值相等，则Y上的值也必相等

注意：

• 函数依赖不是值关系模式中某个或某些关系实例满足的约束条件，而是指关系模式中的所有关系实例均要满足的约束条件
• 函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。例如，“姓名——>年龄”这个函数依赖只有在不允许有同名人的条件下成立。

三、函数依赖分类

1. 若X——>Y,则Y函数依赖于X
2. 若X——>Y,则Y不函数依赖与X
3. 若X <—— ——>Y,则相互依赖
4. 若X——>Y（F）,则Y完全函数依赖于X,仅仅是X自己本身可以推出Y
5. 若X——>Y（P）,则Y部分函数依赖于X,X和它的部分或所有真子集可以推出Y
6. 若X——>Y（T）,则是传递依赖,X——>Y,Y——>Z,并且Y——>X

四、码

• 候选码：可以决定其他属性的集合（能唯一的标识关系的元组；是关系模式中一组最重要的属性）
• 主码：候选码中的一个
• 全码：如果一个属性可以确定所有的其他的属性
• 外码：一个属性不是主码，但他是其他表的主码
• 元组：表的一行数据的集合

主码和外码一起提供了一个表示关系间联系的手段

五、范式

第一范式：数据库表中的字段对于某个场景来说都是单一属性的，不可再分。比如银行系统中姓名就是单一的属性不可再分，但是在别的场景中它可能就可以被拆分成姓和名
第二范式：数据库表中的非主属性不存在部分依赖
第三范式：数据库表中不存在非关键字段对任一关键字段的传递函数依赖