Contraintes de l'héritage par la classe mère avec classe mère abstraite

Rappel

Transformation de la relation d'héritage par la classe mère

Méthode

Si la classe mère est abstraite :

  1. sa valeur est ôtée de l'attribut de discrimination ;

  2. une contrainte supplémentaire doit vérifier que soit c soit e est obligatoirement valué (ou les deux).

Héritage (classe mère abstraite)

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

MéthodeHéritage exclusif

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)

  • ...