Seule la classe mère est représentée par une relation (ses classes filles ne sont pas représentées par des relations).
Tous les attributs de chaque classe fille sont réintégrés au niveau de la classe mère.
La clé primaire de la classe mère est utilisée pour identifier la relation.
Un attribut supplémentaire de discrimination t
(pour "type"), est ajouté à la classe mère, afin de distinguer les tuples.
Cet attribut est de type énumération et a pour valeurs possibles les noms de la classe mère ou des différents classes filles.
Classe1(#a,b,c,d,e,f,t:{1,2,3})
avec c UNIQUE, e UNIQUE, t NOT NULL