Les enregistrements imbriqués (modèle logique)

ExempleGestion d'attribut composé par imbrication d'enregistrement (table à une seule ligne)

Imbrication d'enregistrement

ExempleModèle logique

1
Type typBureau : <centre:char, batiment:char, numero:int>
2
tIntervenant (#nom:char, prenom:char, bureau:typBureau)

RemarquePremiè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.