Liste des contraintes

Contraintes exprimées sur le MCD

Les contraintes exprimées au niveau conceptuel doivent être traduite au niveau relationnel.

Si les contraintes ne sont pas trop nombreuses, on peut commenter chaque relation directement lors de la formalisation du MLD.

Exemple de contrainte OR entre deux associations

Personne (... loue=>Logement, possède=>Logement) avec (loue OR possède)
Logement (...) 

UNIQUE, NOT NULL

On pensera à exprimer les clés candidates KEY (ou UNIQUE NOT NULL), les attributs UNIQUE et NOT NULL.

R1 (#pk, k, u, a) avec k KEY, u UNIQUE, a NOT NULL

Si l'expression des contraintes nuit à la lisibilité, on les reportera dans un document annexe qui accompagnera le modèle logique.

Extension des contraintes exprimées

On s'attachera lors de la modélisation logique à exprimer l'ensemble des contraintes dynamiques pesant sur le modèle, même celles qui ont été considérées comme secondaires ou évidentes lors de la modélisation conceptuelle.

Précédent Suivant

Mode HTML Effets