关系数据模型

[b]一、关系模型基础[/b]
关系模型是一种称之为关系的二维表。包括属性、模式、元组、域、关系的等价描述、关系实例等信息。
属性：即关系表的column name。
模式：关系名和其属性集合的组合称为这个关系的模式。模式的表示如下：

Movies(title, year, length, filmtype)

元组：关系中除属性所在的其他行称为元组。
域：关系要求关系中每个元组的每个分量具有原子性，即要求每个属性有对应的类型，即域。
关系的等价描述：关系中的元组的顺序无关性，即无论元组单元顺序如何排列，他们都是同一个关系。
关系实例：元组为关系实例，关系是动态变化的。

[b]二、函数依赖（单值约束——FD）[/b]
一个关系上的函数依赖，是指如果R的两个元组在部分属性A上相等，那么他们在其他分量B上也必然相同。叫作A->B。可以根据FD确实关系的键。
[b]三、BCNF[/b]
　　即要求FD中的A非平凡依赖于B，那么关系便满足BCNF。即每个非平凡FD的A必须包含键，即是超键。

[b]四、三大范式[/b]
　　第一范式：每个元组的各分量是原子的。
　　第二范式：允许在关系中存在传递依赖，但不允许左边是键真子集的平凡FD存在。
　　第三范式：若在关系R中存在非平凡FD　　A－＞B，且要么A是超键，要么B是主属性（属于某个键），则认为关系R满足第三范式。