第一正規形

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

繰返しが含まれない

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

部分関数従属性を含む

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

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