Formes normales Flashcards Preview

NF92 > Formes normales > Flashcards

Flashcards in Formes normales Deck (12)
Loading flashcards...
1

Objectifs (4)

1 : définir la décomposition des schémas relationnels
2 : préserver les df, ne pas perdre d'information
3 : éviter les anomalies de données
4 : éliminer les redondances

2

Conséquence normalisation

Moins redondant mais coût algorithmique plus élevé

3

1NF

Possède au moins une clé, tous ses attributs sont atomiques

4

2NF

1NF + pas d'attribut non clé qui soit en DF avec une partie de la clé

5

3NF

2NF + aucun attribut non clé ne détermine fonctionnellement un autre attribut non clé

6

BNCF Boyce-Codd

Toutes les parties gauches des DF sont clés candidates pour la relation

7

Clef candidate

- Unicité de la clef
- Minimalité de la clef

8

Axiomes d'Amstrong (6)

réflexivité Y inclu dans X alors X>Y
augmentation
transitivité
pseudo transitivité X>Y, YW>Z alors XW>Z
union
décomposition

9

DF élémentaire X>Y

Y n'est pas inclue dans X
Y est atomique
Il n'existe pas X' dans X tq X'>Y (pas d'attribut accessoire en partie gauche)

10

DF directe

élémentaire
non déduite par transitivité

11

CIM

Couverture irredondante minimale = famille génératrice
Sous-ensemble minimum de DF élémentaires permettant de générer toutes les autres sans redondance.
Tout ensemble DF admet au moins 1 CIM.

12

UML Méthodes

Fonction associée à une classe qui permet d'agir sur les objets de la classe ou qui permet à ces objets de renvoyer des valeurs.
Utilisées pour :
- représenter données calculées
- mettre en exergue les fcts importantes du système
- vérifier les CI