TD2 :

Validation M-EA et Passage au

modèle Logique
 Contraintes
Formalisme
Problématique Entité
Démarche Attributs
Vérification Identifiant
Validation Association
Passage ML Entité faible
Normalisation Application
d’intégrité

Exemple du mini monde

Considérons la BD ENTREPRISE. Suite à la collecte de l’analyse des besoins, les
concepteurs fournissent la définition suivante du « mini-monde »:
• La société est organisée en services. Chaque service a un nom et un
numéro uniques et est dirigé par un employé unique.

• Un service contrôle un certain nombre de projets, chacun d’entre eux ayant

un nom, un numéro et une durée. Un projet ne peut être contrôlé que par
un seul service via le dirigeant du service.

• Le nom de chaque employé, son numéro de sécurité sociale, ses adresses,

son salaire, son sexe et sa date de naissance sont mémorisés. Un employé
est affecté à un service, mais peut travailler sur plusieurs projets qui ne
sont pas forcément contrôlés par le même service. Le volume du travail
d’un employé sur chaque projet est mémorisé. Le supérieur immédiat de
chaque employé est lui aussi mémorisé.

Q- Vérifier et valider le modèle E-A correspondant a cet énoncé.

 Problématique Démarche Vérification Validation Passage ML Normalisation Application

Mini monde- Vérification

(1:n) EMPLOYE supervisé

SERVICE 1,1
diriger par 0,n 0,1
dirige
numeroService NumSS (1:n)
nomService (n:1) nomEmploye
1,n adressePrinc superviser
Travaille
affecter 1,1 adresseSecon
pour salaire
1,n
sexe 0,n
contrôler dateN
controle (n:1) (1:n) 0,n
projet superviseur

Volume
Contrôler par
1,1
1,1
PROJET

numeroProjet
nomProjet
duree
 Problématique Démarche Vérification Validation Passage ML Normalisation Application

Mini monde- Vérification

(1:n) EMPLOYE supervisé

SERVICE 1,1
diriger par 0,n 0,1
dirige
numeroService NumSS (1:n)
nomService (n:1) nomEmploye
1,n adressePrinc superviser
Travaille
affecter 1,1 adresseSecon
pour salaire
1,n
sexe 0,n
contrôler dateN
controle (n:1) (1:n) 0,n
projet superviseur

Volume
Contrôler par
1,1
1,1
- L’entité projet ne possède pas d’identifiant.
PROJET - Tout les attributs sont atomiques.
- L’attribut projet n’est pas monovalué.
- L’association controler par est redondante.
numeroProjet
nomProjet - Les attributs adressePrnc et adresseSecon
duree traduisent une nouvelle entité et association.
Problématique Démarche Vérification Validation Passage ML Normalisation Application

Mini monde-Vérification
(1:n) EMPLOYE supervisé

SERVICE 1,1
diriger par 0,n 0,1
dirige
numeroService NumSS (1:n)
nomService (n:1) nomEmploye
1,n salaire superviser
Travaille
affecter 1,1
sexe
pour dateN
1,n
volume 0,n
contrôler (n:n) 1,n superviseur
controle (n:1) 1,n

travailler sur
1,1 (n:1)
1,n Adresse
PROJET posséder codeAdresse
Adresse
type
numeroProjet 1,1
nomProjet
duree
 Problématique Démarche Vérification Validation Passage ML Normalisation Application

Mini monde-Validation
(1:n) EMPLOYE supervisé

SERVICE 1,1
diriger par 0,n 0,1
dirige
numeroService NumSS (1:n)
nomService (n:1) nomEmploye
1,n salaire superviser
Travaille
affecter 1,1
sexe
pour dateN
1,n
volumeH 0,n
contrôler (n:n) 1,n superviseur
controle (n:1) 1,n

travailler sur (n:1)

1,1
1,n volumeH posséder Adresse
PROJET codeAdresse
R1: numeroService → nomService 1,1 Adresse
numeroProjet
numeroProjet → nomProjet, duree type
nomProjet codeAdresse → adresse, type
duree NumSS → nomEmploye, salaire, sexe, dateN, volumeH
R2: numeroService → NumSS
numeroProjet → nnumeroService
codeAdresse → NumSS
NumSS → numeroService, NumSS
R3: numeroProjet, NumSS → volumeH