Contraintes de l'héritage par référence avec classe mère abstraite

Si la classe mère est abstraite, il faut ajouter la contrainte que tous les tuples de R1 sont référencés par un tuple de R2 et/ou de R3.

Zoom

R1(#a,b)

R2(#a=>R1,c,d) avec c KEY

R3(#a=>R1,e,f) avec e KEY

Contraintes : PROJECTION(R1,a) = PROJECTION(R2,a) UNION PROJECTION(R2,a)