Les enregistrements imbriqués (modèle logique)
Exemple : Gestion d'attribut composé par imbrication d'enregistrement (table à une seule ligne)
Exemple : Modèle logique
Remarque : Première forme normale
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.