Relasi harus dalam 2NF dan tidak ada transitive dependency pada non-prime attribute.

Relasi harus dalam 2NF dan setiap determinan harus menjadi superkey.

Relasi harus dalam 1NF dan tidak ada multivalued attribute.

Relasi harus dalam 1NF dan setiap atribut bergantung pada primary key.