Une fois le schéma conceptuel EA établi, plusieurs types de vérification
doivent être effectuées:
- vérification "syntaxique": il s'agit de vérifier que les règles du modèle
entité association soient respectées (concepts du modèle + règles de
vérification d'un schéma)
- par jeu d'essai: le concepteur vérifie grâce à une mini base de données
que le schéma permet effectivement de stocker les informations nécessaires à
l’application
- complétude par rapport aux traitements: le concepteur vérifie que le
schéma contient tous les types d'information nécessaires à l'exécution des
traitements prévus
- retour auprès des utilisateurs: le concepteur présente le schéma
accompagné des définitions aux personnes qui utiliseront la base de données
et vérifie que les informations contenues correspondent bien aux besoins
- par les règles de validation des schémas: quelques règles formelles
permettent de valider le schéma : validation des attributs, élimination des
TA redondants, etc.
Chaque oubli, erreur, modification, ...., détecté lors des vérifications
entraîne une mise à jour du schéma et relance les différentes phases de
vérification. Cette unité présente les règles de validation de schéma après avoir
introduit la notion de dépendance à partir de laquelle ces règles sont énoncées.
Temps estimatif: 45 minutes