L'héritage du modèle entité-association
Comme dans le cas de l'orienté-objet, le modèle enitié-association nous permet d'utiliser des entités qui peuvent appartenir à plusieurs types. L'héritage se présente ici sous la forme de relations d'inclusions.
Une entité sous-type hérite d'une entité surtype (ou super-type).
Dans les exemples suivants, nous retrouverons généralement ce cas : A comme surtype, B et C comme sous-types de A.
Nous représentons la relation hiérarchique de l'héritage par un triangle, avec le surtype au dessus (lié au sommet du triangle par un trait), et les sous-types en dessous (liés à la base du triangle par un trait chacun).
L'entité sous-type est une spécialisation de l'entité surtype.
L'entité surtype est une généralisation de l'entité sous-type.
Une entité peut être un sous-type direct ou un surtype direct d'une autre entité si elle est directement liée à cette dernière.
Une entité peut être un sous-type indirect ou un surtype indirect d'une autre entité si elle est est liée à cette dernière, mais pas directement. C'est le concept de transitivité1.
La relation d'un sous-type vers son surtype est une relation is-a (l'entité sous-type est une entité surtype).
Contraintes de sous-type
Les différentes contraintes de sous-type dans le modèle enitié-association s'expriment au moyen de la combinaison de deux notions :
- Disjonction : la notion porte sur le sous-type.
Si chaque entité de la population d'un sous-type n'appartient pas aux autres sous-types, nous avons une disjonction. - Totalité : la notion porte sur le surtype.
Si chaque entité du surtype fait partie d'un des sous-types, nous avons une totalité. Total est opposé à partiel.
Selon les combinaisons possibles, nous avons le tableau suivant.
partiel | Non | Non | Aucun symbole dans le triangle d'héritage. Des entités du surtype peuvent n'appartenir à aucun sous-type, et des entités peuvent appartenir à plusieurs sous-types. |
total | Oui | Non |
x ∈A : x ∉ B ∧ x ∉ C[?]Nous n'avons aucune entité de A qui ne soit ni une entité de B ni une entité de C, donc toutes les entités de A appartiennent à un des sous-types de A. |
(+partiel) | Non | Oui |
x ∈A : x ∈ B ∧ x ∈ C[?]Nous n'avons aucune entité de A qui ne soit à la fois une entité de B et une entité de C, mais certaines entités de A peuvent n'appartenir à aucun des sous-types de A. |
x ∈A : (x ∉ B ∧ x ∉ C) ∨ (x ∈ B ∧ x ∈ C)[?]Nous n'avons aucune entité de A qui ne soit ni une entité de B ni une entité de C, et une entité ne peut être que de B ou de C.
Toutes les entités de A appartiennent à un des sous-types de A. |
English translation
You have asked to visit this site in English. For now, only the interface is translated, but not all the content yet.If you want to help me in translations, your contribution is welcome. All you need to do is register on the site, and send me a message asking me to add you to the group of translators, which will give you the opportunity to translate the pages you want. A link at the bottom of each translated page indicates that you are the translator, and has a link to your profile.
Thank you in advance.
Document created the 10/01/2010, last modified the 26/10/2018
Source of the printed document:https://www.gaudry.be/en/sgbdr-heritage.html
The infobrol is a personal site whose content is my sole responsibility. The text is available under CreativeCommons license (BY-NC-SA). More info on the terms of use and the author.
- ↑ Transitivité : Si E est un sous-type de F, et que F est un sous-type de G, alors E est aussi un sous-type de G.
References
IHDCB334 - Ingénérie des bases de données : Jean-Luc HAINAUT, Anne-France BROGNEAUX, Cours d'Ingénérie des bases de données
(2003)
These references and links indicate documents consulted during the writing of this page, or which may provide additional information, but the authors of these sources can not be held responsible for the content of this page.
The author This site is solely responsible for the way in which the various concepts, and the freedoms that are taken with the reference works, are presented here. Remember that you must cross multiple source information to reduce the risk of errors.
