n_uplet

Définitions :

Étant donné une collection de types T_i (i= 1, 2, ... ,n) pas nécessairement distincts, une valeur de n_uplet t sur ces types est un ensemble de triplets ordonnés de la forme <A_i, T_i, v_i> où A_i est un nom d'attribut, T_i un nom de type et v_i une valeur du type t_i, et :

• La valeur n est le degré ou l'arité de t
• Le triplet ordonné <A_i, T_i, v_i> est un composant de t
• La paire <A_i, T_i> est un attribut de t
• L'ensemble complet des attributs est l'en-tête de t
• Le type de n_uplet de t est déterminé par l'en-tête de t