数据库规范

候选码

关系模型中，一个属性或一个属性组能够唯一表示一行数据，而且它的真子集无法唯一标识一行数据，那么该属性或属性组是候选码。

主属性

关系模型中存在多组候选码，如果一个属性存在于所有的候选码中，则它是主属性。

完全函数依赖/部分函数依赖

AB能够推出C，但是A无法推出C，B也无法推出C。则C完全函数依赖于AB。AB能够推出C，A也能推出C，B不能推出C。则C部分函数依赖于AB。

无损连接

将一个关系模式分解成若干个关系模式之后，通过自然连接和投影等运算仍然能还原到原来的关系模式。这种分解称为无损连接分解。

判断无损连接的方法，对两个集合先求集合的交集，然后求集合的差集。如果交集能推出任意一个差集，那么这就是无损连接。

数据库六大范式

目前数据库有六大范式，从要求的严格程度顺序递增依次是第一范式（1NF）、第二范式（2NF）、第三范式（3NF）、巴斯-科德范式（BCNF）、第四范式（4NF）、第五范式（5NF、完美范式）。

第一范式要求数据库关系模型的域具有原子性，即每一列都是不可分割的原子数据。

第二范式除了满足第一范式的要求外，还要满足非候选码属性完全依赖于候选码。

第三范式在第二范式的基础上，还要消灭传递依赖。

巴斯-科德范式在第三范式的基础上，还要消灭主属性对候选码的部分和传递函数依赖。

目前的主流数据库一般只做到第三范式。