Méthodologie de Validation des Bases de Données

Méthodologie du projet

Méthodologie de Validation des Bases de Données

Le schéma ci-dessous explicite les étapes de validation des règles qui sont utilisées pour les choix de l'exécutable lors des ouvertures OU pour valider toutes les autres B.D de pour chaque séquence qui fait l'objet d'une BD particulière.

Le document initial explicite les règles utilisées sous les  formes littérales et  de "functors composés" du langage PROLOG.

Exemple : Modélisation des Enchères de Bridge_v1_DiffusionExterne_2013.docx