关系数据理论(6)

- 关系模型的形式化定义

五元组： R（U，D，DOM，F）
R是符号化的元组语义
U为一组属性名的集合
D为属性组U中的属性所来自的域
DOM是属性到域的映射
F为属性组U上的一组数据依赖
（D与DOM与模式设计关系不大，因此可以看作一个三元组 R<U,F>）

U上的一个关系r满足F时，则称r为模式R<U,F>的一个关系
关系要符合一个基本条件：每一个分量必须是不可分的数据项
满足这个条件的关系模式属于第一范式(1NF)。

- 数据依赖

数据依赖是一个关系内部属性与属性之间的一种约束条件。
函数依赖（FD）：当学号确定时，学生的姓名和系值也确定，形成 y = f(x)，存在自变量和应变量的关系。
多值依赖（MVD）：多个属性决定一个属性，学生的学号加学科决定这名同学该学科的分数。

例子

该模式下存在一些问题，数据冗余，更新异常，插入异常，删除异常。这是一个模式的数据依赖会发生的不好的性质。

- 规范化

函数依赖

分有三种：
完全函数依赖
部分函数依赖
传递函数依赖
参考文章

码

超码、候选码、主码、外码
参考文章

范式

- 数据依赖的公理系统