Le modèle actuel présente une entité générique VEHICULE reliée aux sous-entités SANS_CHAUFFEUR et AVEC_CHAUFFEUR avec une contrainte de partition (XT). L'entreprise souhaite désormais qu'un véhicule puisse être utilisé indifféremment avec ou sans chauffeur. Pourquoi le modèle actuel empêche-t-il cela ?

La contrainte XT (eXclusion et Totalité) impose une disjonction stricte : un véhicule est SOIT avec chauffeur, SOIT sans chauffeur, mais ne peut en aucun cas être les deux. Pour permettre une utilisation indifférenciée, il faut soit supprimer la contrainte d'exclusion (X), soit fusionner les deux sous-entités pour n'avoir plus qu'une seule entité VEHICULE avec un attribut booléen.