Glossaire commençant par D

Définition des différents termes utilisés dans les contenus du site
Cliquez sur une des lettre ci-dessus pour accéder aux différentes définitions des termes commençant par cette lettre.

D

deuxième forme normale

Une relation est dite en deuxième forme normale (2FN) si tous les attributs n'appartenant à aucune clé sont en dépendance fonctionnelle élémentaire avec toute clé minimale.

différence de deux ensembles

La différence de deux ensembles, notée -, est une opération qui détermine les éléments appartenant à un ensemble et pas à l'autre ; cette opération peut être définie comme suit : A - B = { x | (x ∈ A) ∧ (x ∉ B)}.

différence de deux relations

La différence de deux relations R et S de même schéma, notée R - S, est l’ensemble des tuples de R qui n’appartiennent pas à S : R - S = {x / x ∈ R ∧ x ∉ S}.

différence symétrique de deux ensembles

La différence symétrique de deux ensembles, notée Δ, est un opérateur qui détermine les éléments qui ne sont pas comuns aux deux ensembles ; cette opération peut être définie comme suit : A Δ B = { x | ((x ∈ A) ∧ (x ∉ B)) ∨ ((x ∉ A) ∧ (x ∈ B))}.

domaine (modèle relationnel, modèle entité-association)

Un domaine est un ensemble qui définit les valeurs possibles pour d'un attribut.

donnée

Une donnée est une image de la réalité dans un code convenu qui est définie selon un besoin et qui permet ainsi de conserver une trace de la réalité pour l'exploiter dans les travaux d'aujourd'hui ou de demain.

dépendance fonctionnelle

Il existe une dépendance fonctionnelle entre X et Y, notée X → Y, si et seulement si lorsque deux tuples ont la même projection sur X, ils ont la même projection sur Y.

dépendance fonctionnelle canonique

Une dépendance fonctionnelle X → Y est dite canonique si Y est un ensemble d'attributs contenant un seul élément.

dépendance fonctionnelle directe

Une dépendance fonctionnelle X→ Y est directe ∄ Z ∈ A | X → Z ∧ Z → Y.

dépendance fonctionnelle élémentaire

Une dépendance fonctionnelle X → Y est élémentaire si ∄ Z ⊂ X | Z → Y.