数据库系统概念中的1NF,BCNF,3NF

1NF
一个域是原子的（atomic），如果该域的元素被认为是不可分的单元。我们称一个关系模式R属于第一范式（First Normal Form, 1NF），如果R的所有属性的域都是原子的。
名字的集合是一个非原子值的例子。例如，如果关系employee的模式包含一个属性children，它的域元素是名字的集合，该模式就不属于第一范式。

BCNF
Boyee-Codd Normal Form, BCNF
它消除所有基于函数依赖能够发现的冗余。具有函数依赖集F的关系模式R属于BCNF的条件是，对F+中所有形如α->β的函数依赖（其中α⊆R且β⊆R），下面至少一项成立：

• α->β是平凡的函数依赖（即β⊆α）
• α是模式R的一个超码

一个数据库设计属于BCNF的条件是，构成该设计的关系模式集中的每个模式都属于BCNF。
平凡的函数依赖：一般地，如果β⊆α，则形如α->β的函数依赖时平凡的。

3NF
稍微放宽了BCNF中要求的所有非平凡函数依赖都形如α->β，其中α为超码；它允许左侧不是超码的某些非平凡的函数依赖。
具有函数依赖集F的关系模式R属于第三范式（third normal form）的条件是：对于F+中所有形如α->β的函数依赖（其中α⊆R且β⊆R），以下至少一项成立：

• α->β是一个平凡的函数依赖
• α是R的一个超码
• β-α中的每个属性A都包含于R的一个候选码中

第三个条件β-α中的每个属性A可能包含于不同的候选码中

以上是一点概念的基础理解