Discussion: Axiomes d' Armstrong

  1. #1
    Candidat au Club
    Profil pro
    Inscrit en
    novembre 2012
    Messages
    4
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : novembre 2012
    Messages : 4
    Points : 4
    Points
    4

    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
    Ingénieur développement logiciels, Concepteur et développeur de JMerise
    Inscrit en
    mars 2011
    Messages
    80
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    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 : 80
    Points : 186
    Points
    186

    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

Discussions similaires

  1. [Modèle Relationnel] Axiome d'Armstrong et les attributs
    Par feuilledotone dans le forum Schéma
    Réponses: 5
    Dernier message: 26/09/2011, 17h35
  2. [DF] Axiome d'Armstrong
    Par SimPlop dans le forum Schéma
    Réponses: 3
    Dernier message: 31/10/2009, 20h15
  3. informations sur l'api Axiom
    Par ferrero dans le forum XML
    Réponses: 2
    Dernier message: 02/05/2007, 18h39
  4. Débutant: Aide avec nombre Armstrong
    Par D3V1L J4M dans le forum C++
    Réponses: 5
    Dernier message: 31/10/2005, 12h35
  5. Nombres d'Armstrong et Assembleur
    Par Antacid dans le forum Assembleur
    Réponses: 14
    Dernier message: 08/01/2003, 12h56

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo