Si la classe mère est abstraite :
sa valeur est ôtée de l'attribut de discrimination ;
une contrainte supplémentaire doit vérifier que soit c soit e est obligatoirement valué (ou les deux).
R1(#a,b,c,d,e,f,t:{2,3})
Contraintes :
c UNIQUE et e UNIQUE
AND (c NOT NULL OR e NOT NULL)
AND t NOT NULL
Si l'héritage est exclusif, que la classe mère soit abstraite ou non, il faudrait vérifier par des contraintes que l'attribut de discrimination T et les attributs valués sont en correspondance, afin d'empêcher toute incohérence :
(T=2 AND c)
(T=3 AND e)
NOT (c AND e)
NOT (c AND f)
...