Division

DéfinitionDivision

La division est une opération binaire (c'est à dire portant sur deux relations). La division de R1 par R2, sachant que R1 et R2 ont au moins un attribut commun (c'est à dire de même nom et de même domaine), produit une relation R3 qui comporte les attributs appartenant à R1 mais n'appartenant pas à R2 et l'ensemble des tuples qui concaténés à ceux de R2 donnent toujours un tuple de R1.

Exemple

Soit les deux relations suivantes :

1
Pratique (#Homme, #Métier, Salaire)
2
Métier (#Metier)

Soit les tuples suivants pour ces deux relations respectivement :

Pratique

Dupont

Ingénieur

35

Durand

Professeur

40

Dupont

Ingénieur

45

Martin

Ingénieur

50

Métier

Ingénieur

Professeur

Soit l'opération suivante :

1
R = Division (Homme, Métier)

On obtient alors la relation R composée des tuples suivants :

R

Dupont

35

MéthodeRéponse aux questions : Pour tous les ...

La division permet de répondre aux questions du type : "Donnez toutes les personnes qui pratiquent tous les métiers de la relation métier".

RemarqueOpération additionnelle

La division n'est pas une opération de base, elle peut être réécrite en combinant le produit, la restriction et la différence.