Propriété définie sur le schéma

cas particulier de contrainte d'intégrité

définie sur l'intension (donc valide qq soit
l'extension)
Définition
B dépend fonctionnellement de A si, étant donné
une valeur de A, il lui correspond une unique
valeur de B (quel que soit l'extension)
A et B sont des ensembles d'attributs
Notation A → B

BUVEURS(nb, nom, prénom, ville) NB → NOM NOM → VILLE ?

COMMANDES(nc, datec, nv, qtéc, nb) NB → PRENOM NB → NV ?
NB → VILLE QTEC → QTEEXP ?
EXPEDITIONS(nc, dateexp, qtéexp)
NC → DATEC
NC → NB
NC → NV
NC → QTEC
NC, DATEEXP →
QTEEXP

Bases de Données Conception - 1

 ! "

Réflexivité Union
Y⊂X X→Y X → Y et X → Z X → YZ
Augmentation Pseudo-transitivité
X→Y XZ → YZ X → Y et YW → Z XW → Z
Transitivité Décomposition
X → Y et Y → Z X→Z X → Y et Z ⊂ Y X→Z

" $ & '

Fermeture transitive d'un ensemble F de DF Noeuds = attributs

est notée F+ Arcs = DF
F+ = F U DF obtenues via les axiomes
Par exemple
nc nb
NC → NB et NB → NOM donc NC → NOM
datec nv qtéc nom prénom ville dateexp
NB → NOM donc NB, NV → NOM, NV
essentiellement transitivité et pseudo-transitivité
qtéexp

# %

Bases de Données Conception - 2

 & ' " $
Une dépendance fonctionnelle X → A est
dite élémentaire si
A n’est pas inclus dans X
il n’existe pas X’ inclus dans X tel que X’→ A
nc nb
datec nv qtéc nom prénom ville dateexp Permet de simplifier la fermeture transitive
(sinon on peut toujours créer de nouvelles
qtéexp DF par augmentation)
Exemple :
NB → NOM
NB, NV→ NOM non DFE
( )

* "$ " * "

Définition Définition
sous ensemble minimum de DF élémentaires ensemble minimum d’attributs permettant de
permettant de générer toutes les autres déterminer tous les autres
Exemple Soit R(A1, A2, ..., An) un schéma de
(nb → nom; nb → prénom; nb → ville;
relation. Soit F+ l’ensemble des DF
nc → datec; nc → nb; nc → nv; nc → qtéc;
nc, dateexp → qtéexp) associées à R. X (sous-ensemble
Théorème d'attributs de R) est une clé de R ssi :
Tout ensemble de DF admet une couverture X → A1, A2, ..., An
minimale, en général non unique il n’existe pas de sous-ensemble Y de X tel
que Y → A1, A2, ..., An

Bases de Données Conception - 3

 * "

Exemple
nc, dateexp est une clé du schéma coopérative
Remarques
une même relation peut avoir plusieurs clés
il existe toujours au moins une clé (au pire on
prend tout le schéma)

Bases de Données Conception - 4