A primeira forma normal (1FN) é considerada parte da definição formal, em que não é possível, como valor de atributo de uma única tupla, obter um conjunto de valores, uma tupla de valores ou uma combinação entre ambos.