Contraintes de l'héritage par les classes filles avec classe mère non abstraite

Si la classe mère n'est pas abstraite :

• On créé une relation supplémentaire pour gérer les objets de la classe mère

• On ajoute une contrainte qui exprime que les tuples de la classe mère ne peuvent exister dans les classes filles

Zoom

R1(#a,b)

R2(#a,b,c,d) avec c KEY

R3(#a,b,e,f) avec e KEY

Contrainte : PROJECTION(R1,a) INTERSECTION (PROJECTION(R2,a) UNION PROJECTION(R3,a)) = {}