Les dépendances fonctionnelles
La dépendance fonctionnelle X → Y, ce que des données peuvent réfuter, les axiomes d'Armstrong, la fermeture d'un ensemble d'attributs, les super-clés et clés candidates qu'on en tire, et la couverture minimale.
- 25 cartes
- 4 thèmes
- Gratuit
Le programme, thème par thème
Le poids de chaque thème suit celui que lui donne l'examen.
- Notions
- Questions
- Ranger et relier
- Comprendre
Quelques cartes du deck
Dépendance fonctionnelle : de quoi s'agit-il ?
Voir la réponse
Contrainte X → Y sur une relation : deux lignes qui ont la même valeur de X ont forcément la même valeur de Y.
C'est une règle du domaine, pas un fait observé dans les données :
id_client → villeest vraie si un client n'a qu'une ville, quelles que soient les lignes présentes aujourd'hui.Soit R(A, B, C, D, E) avec les dépendances A → B, B → C et CD → E. Quelle est la fermeture de {A, D} ?
{A, B, C, D, E}{A, B, D}{A, D, E}{A, B, C, D}
Voir la réponse
{A, B, C, D, E}A → B ajoute B, puis B → C ajoute C, et comme C et D sont présents, CD → E ajoute E. Oublier le dernier tour donne
{A, B, C, D}.Une dépendance X → Y est … quand Y est inclus dans X ; elle est alors toujours vraie, d'après l'axiome de ….
Voir la réponse
Une dépendance X → Y est triviale quand Y est inclus dans X ; elle est alors toujours vraie, d'après l'axiome de réflexivité.
{A, B} → Ane dit rien : deux lignes qui ont les mêmes A et B ont forcément le même A.Axiomes d'Armstrong : de quoi s'agit-il ?
Voir la réponse
Trois règles d'inférence (réflexivité, augmentation, transitivité) qui permettent de déduire toutes les dépendances impliquées par un ensemble donné.
Ils sont corrects (ils ne produisent que des dépendances vraies) et complets (ils les produisent toutes) : toute autre règle, comme l'union, s'en déduit.
Pourquoi suffit-il de calculer la fermeture de X pour savoir si X est une super-clé ?
- Si X⁺ contient tous les attributs, X détermine toute la ligne, donc deux lignes qui s'accordent sur X sont la même
- La fermeture compte les lignes de la table et vérifie que X n'a aucun doublon
- La fermeture est la liste de toutes les clés candidates qui contiennent X
- Une fermeture plus grande que X prouve que X est minimal
Voir la réponse
Si X⁺ contient tous les attributs, X détermine toute la ligne, donc deux lignes qui s'accordent sur X sont la même
La fermeture ne regarde que les dépendances, jamais les lignes. Elle dit ce que X détermine ; la minimalité se teste à part, en retirant un attribut à la fois.