Division
Définition : Division
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 :
Pratique (#Homme, #Métier, Salaire)
Métier (#Metier)
Soit les tuples suivants pour ces deux relations respectivement :
Dupont | Ingénieur | 35 |
Durand | Professeur | 40 |
Dupont | Ingénieur | 45 |
Martin | Ingénieur | 50 |
Ingénieur |
Professeur |
Soit l'opération suivante :
R = Division (Homme, Métier)
On obtient alors la relation R composée des tuples suivants :
Dupont | 35 |
Méthode : Ré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".
Remarque : Opé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.