第一正規形とは、表において、属性の値として繰り返しなどの集合や複合値を持たない表をいう。

列の値が原子的で分解できない

繰返しが含まれない

非単純定義域を含まないもの

部分関数従属性を含む

シンプルなドメインで定義されたリレーションを第一正規形という。

ここでシンプルとは、そのドメインが他のドメインの直積（direct product）であったり、 あるドメインのべき集合（power set）であったりすることはないということである。

1NF : first normal form