数据依赖（决定），码，范式，规范化与反规范化

设A是关系模式R的一个属性组（即一个或多个属性），如果对于R的任意的两个元组t和s:如果t[A]=s[A],那么t[R-A]=s[R-A],则称A为关系模式R的码，A的任意属性称为码的属性

假设有如下学生关系模式：R(学号，姓名，课程号，课程名，成绩)，其中（学号，课程号）为主码。（学号，课程号）→（成绩），(学号)→(姓名)，(课程号)→(课程名)。这个关系模式有部分函数依赖，存在4个问题:
- 数据冗余太大: 每一个学生姓名重复出现，重复次数与该学生所选课程数相同；每一门课程名重复出现，重复次数与选修该课程的学生数相同，这将消耗不必要的存储空间。
- 更新异常: 学生修改姓名或课程修改课程名后，必须修改系统中所有选课有关的元组，如果某一个元组没有被修改，将会导致数据不一致。
- 插入异常: 如果新开一门课程，还没有学生选，就无法把这个课程的信息存入数据库。
- 删除异常: 如果学生全部毕业了，在删除学生信息的同时，把课程信息也丢掉了。
解决方案：规范化，将上面的关系模式分解为R1(学号，姓名)、R2(课程号，课程名)， R3(学号，课程号，成绩)
结论：含有部分函数依赖，传递函数依赖的关系模式不是一个好的关系模式。规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。

未命名文件 (1)

关系模式R（学号，姓名，获奖），其中（学号）是主码，R不满足第一范式，因为一个学生可能获得多个奖项。
为了使R满足第一范式，有两种处理方式：
- ①如果知道一个学生的获奖不超过3项，可以分解为R（学号，姓名，获奖1，获奖 2，获奖3）。这种处理方式使得R满足第一范式，但当大部分学生获奖较少时，数据库中将产生大量的空值，同时可扩展性较差。
- ②将R分解为R1（学号，姓名）和R2（学号，获奖）两个关系模式。R1中（学号）作主码，R2中（学号）为外码，R2中（学号，获奖）作主码，这样避免了方式 ①的缺陷并使得R1和R2均满足第一范式。

关系模式R（学号，课程号，姓名，课程名，成绩），R满足第一范式，但不满足第二范式。因为（学号）→（姓名），（课程号）→（课程名），（学号，课程号）→（成绩）。 •
分解为三个关系模式：
- R1（学号，姓名）（学号）为主码
- R2（课程号，课程名）（课程号）为主码
- R3（学号，课程号，成绩）（学号，课程号）

设有一个仓库管理关系模式R（仓库号，物品号，管理员号，数量）。（仓库号，物品号）和（物品号，管理员号）均为候选码，上面关系是满足第三范式的，但不满足BC范式，因为（管理员号）→（仓库号）。
分解为两个关系模式：
- R1（仓库号，物品号，数量）（仓库号，物品号）为主码
- R2（仓库号，管理员号）（管理员号）为主码