Publicité
+ Répondre à la discussion
Affichage des résultats 1 à 2 sur 2

Discussion: Axiomes d' Armstrong

  1. #1
    Invité de passage
    Inscrit en
    novembre 2012
    Messages
    4
    Détails du profil
    Informations forums :
    Inscription : novembre 2012
    Messages : 4
    Points : 1
    Points
    1

    Par défaut Axiomes d' Armstrong

    Bonjour

    J'ai un petit problème sur un exercice :

    Eliminer les DF redondantes :

    A -> B
    B -> C
    A,D -> C

    J'imagine que A,D -> C est redondante, mais je n'arrive pas à le prouver avec les axiomes d'Armstrong. Je commence par l'augmentation

    A,D -> B,D
    A,D -> C,D

    mais je n'arrive pas à finir.


    Merci !

  2. #2
    Membre habitué Avatar de rabDev
    Homme Profil pro rab Mess
    Ingénieur développement logiciels, Concepteur et développeur de JMerise
    Inscrit en
    mars 2011
    Messages
    67
    Détails du profil
    Informations personnelles :
    Nom : Homme rab Mess
    Localisation : France, Bouches du Rhône (Provence Alpes Côte d'Azur)

    Informations professionnelles :
    Activité : Ingénieur développement logiciels, Concepteur et développeur de JMerise

    Informations forums :
    Inscription : mars 2011
    Messages : 67
    Points : 128
    Points
    128

    Par défaut

    Bonjour,

    je vais essayer

    1.A -> B [donné]
    2.B -> C [donné]
    3.A -> C [transitivité 1,2]
    4.A,D -> C,D [augmentation, D]
    5.A,D -> C [ décomposition 4]

    A,D -> C redondante

    Bonne journée

Liens sociaux

Règles de messages

  • Vous ne pouvez pas créer de nouvelles discussions
  • Vous ne pouvez pas envoyer des réponses
  • Vous ne pouvez pas envoyer des pièces jointes
  • Vous ne pouvez pas modifier vos messages
  •