Liste des contraintes

MéthodeContraintes 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
Ligne | num. | copie |
CTRL+C pour copier, CTRL+V pour coller
1
Personne (... loue=>Logement, possède=>Logement) avec (loue OR possède)
2
Logement (...) 
Personne (... loue=>Logement, possède=>Logement) avec (loue OR possède)
Logement (...)

RappelUNIQUE, NOT NULL

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

Ligne | num. | copie |
CTRL+C pour copier, CTRL+V pour coller
1
R1 (#pk, k, u, a) avec k KEY, u UNIQUE, a NOT NULL
R1 (#pk, k, u, a) avec k KEY, u UNIQUE, a NOT NULL

Méthode

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

ConseilExtension 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.