Le recours aux types utilisateurs brise la règle de la première forme normale de l'atomicité des valeurs d'attribut.

Ce non respect de la 1NF^[1] ne pose pas de problème en relationnel-objet car la déclaration de type permet de contrôler la structure interne des enregistrements imbriqués.

Dans le modèle relationnel classique, le problème du non respect de la 1NF^[1] était bien l'opacité de la structure interne des attributs ainsi constitués qui interdisait l'accès à des sous informations extraites de la valeur de l'attribut (par exemple un attribut comprenant le nom et le prénom ensemble interdit l'accès à l'information "nom" ou à l'information "prénom" indépendamment). L'usage de type éclaire cette opacité et rend ainsi le respect de l'atomicité dépassable.