Académique Documents
Professionnel Documents
Culture Documents
modle entit-relation
Rafik Bouaziz* Mohamed Mkaouar* Mohamed Moalla**
* Facult des Sciences conomiques et de Gestion,
Route de larodrome, BP 1088, 3018 Sfax Tunisie.
{Raf.Bouaziz, Mohamed.Mkaouar}@fsegs.rnu.tn
** Facult des Sciences de Tunis,
Campus Universitaire, 2092 Manar II, Tunis Tunisie.
Mohamed.Moalla@fst.rnu.tn
Lintgration mthodologique de la dimension temporelle dans les bases de donnes
exige que lon dispose des primitives qui permettent une spcification rigoureuse et
progressive de cette dimension ds les niveaux conceptuel et organisationnel. Dans ce but,
nous proposons un ensemble de concepts et de formalismes graphiques, conformes aux
abstractions fixes pour les deux niveaux du modle entit-relation. Ces concepts permettent
dexprimer des besoins en historiques atomiques, locaux et globaux, travers des
composants-types (proprit-type, entit-type, etc.) temporels de validit, des composantstypes temporels de transaction ou des composants-types bitemporels. Lapplication de ces
concepts la variante MERISE/2 a donn lieu une extension intitule MERISE/TEMPO.
Des exemples illustratifs des constructions-types proposes, tirs dune exprimentation sur
une application concrte, sont donns.
RSUM.
MOTS-CLS :
KEYWORDS: Temporal
1. Introduction
Lintgration de la dimension temporelle dans les bases de donnes (BD) a fait
lobjet de plusieurs travaux qui ont port principalement sur le niveau logique et le
niveau physique (Wu et al., 1998) : dfinition de concepts dhistorisation pour le
modle relationnel (Adiba et al., 1985, Snodgrass et al., 1985, Jensen et al., 1998,
Jensen, 2000), modle orient objet des BD temporelles (BDT) (Dumas et al., 2004,
Galante et al., 2005), langages de dfinition et de manipulation des BDT (Chomicki,
1994, Snodgrass, 1995, Fauvet et al., 1999), gestion et cohrence des BDT (Bouaziz
et al., 1992, Doucet et al., 1997, Snodgrass, 2000, Makni et al., 2006), implantation
des BDT (Mkaouar et al., 2005, Steiner, 2005), etc.
Toutefois, les diverses propositions nont pas encore men la dfinition dune
dmarche de conception standard qui intgre cette dimension temporelle dune
manire mthodique et simple. En point de dpart dune telle dmarche, il sagit de
dfinir des concepts appropris pour lexpression de la dimension temporelle au
niveau conceptuel, travers un formalisme qui facilite et prcise la communication
entre concepteurs et utilisateurs.
Le prsent travail traite prcisment de lexpression de la dimension temporelle
aux niveaux conceptuel et organisationnel. Il sagit de caractriser les besoins en
spcifications temporelles chacun de ces niveaux dabstraction et de dfinir les
nouveaux concepts et les reprsentations graphiques ncessaires une modlisation
efficace de telles spcifications dans le cadre du formalisme entit-relation (E-R)
(Chen, 1976), avec application la mthode MERISE/2 (Rochfeld, 1992, Panet et
al., 1994). Une nouvelle version de MERISE, baptise MERISE/TEMPO, est alors
propose.
Nous commenons, la section 2, par une prsentation succincte du domaine
dtude et une synthse critique des extensions temporelles proposes dans la
littrature pour diffrentes variantes du modle E-R et pour UML. Nous proposons
ensuite, dans la section 3, un ensemble de concepts de base pour la modlisation des
faits temporels aux niveaux conceptuel et organisationnel sous le formalisme E-R,
avec deux illustrations tires dune application concrte. Des concepts temporels
complmentaires spcifiques la variante MERISE/2 sont prsents dans la
section 4. Le positionnement de MERISE/TEMPO par rapport aux travaux existants
est comment la section 5.
un schma REERM qui spcifie les vnements et modlise lesdits besoins par
lannonce des attributs destampillage.
Pour ce qui concerne les mthodes orientes objet, TUML (Temporal Unified
Modeling Language) (Svinterikou et al., 1999) et UML-TF (an UML profile for
Temporal Facts) (Mkaouar et al., 2006) sont, notre connaissance, les seules
extensions temporelles dUML qui permettent la modlisation des faits temporels.
TUML propose des strotypes pour la reprsentation des classes, des attributs et
des associations temporels. Le profil UML-TF dfinit un strotype abstrait qui
permet une spcification globale des caractristiques structurelles et
comportementales relatives aux faits temporels. partir de ce strotype abstrait
sont drivs des strotypes spcifiques aux classes, attributs, associations et rles
temporels.
Remarquons ici que, aussi bien dans le cas du modle E-R que dans celui des
mthodes orientes objet, les extensions temporelles sont gnralement annonces
pour le niveau conceptuel. Cependant, certaines dentre elles concernent plus
directement :
le niveau organisationnel, comme par exemple la spcification des temps de
transaction, puisquil sagit des instants de prise en charge des faits par le SGBD.
Les extensions TEER, TIMEER et TUML proposent de dclarer cette spcification
au niveau conceptuel, alors que dans les extensions MOTAR et REERM, cette
spcification est diffre au niveau logique ;
le niveau logique, comme par exemple ladjonction par STEER, TEER et ERT
dun attribut-systme, appel SURROGATE, pour lidentification des entits
historises.
Cela est critiquable vis--vis du principe fondamental de la dmarche par
niveaux dabstraction des mthodes systmiques, qui consiste ne prendre en
considration, au niveau conceptuel, que des spcifications indpendantes de tout
choix dordre organisationnel ou logique.
Le respect strict du principe de la dmarche par niveaux dabstraction est
observ dans les extensions que nous proposons pour la modlisation des faits
temporels sous le modle E-R. Ce modle se base sur les concepts de proprit-type,
dentit-type (ou dobjet-type), de relation-type (ou dassociation-type), de rletype, didentifiant et de cardinalit. Par abus de langage, ces concepts sont voqus
plus simplement par les termes respectifs de proprit, entit ou objet, relation ou
association et rle. La variante MERISE/2 enrichit ce modle par le concept de
Gnralisation/Spcialisation, qui est emprunt de lorient objet, et le concept de
relation de relations. Elle enrichit aussi lexpression des contraintes dintgrit par
de nouvelles primitives.
Par la dfinition de MERISE/TEMPO, nous visons tendre MERISE/2 pour la
prise en compte des spcifications temporelles, tant au niveau conceptuel (pour ce
qui concerne les faits temporels de validit) quau niveau organisationnel (pour ce
qui concerne les faits temporels de transaction). Nous retenons donc tous les
concepts et formalismes graphiques de MERISE/2 pour les spcifications classiques
et nous proposons un certain nombre denrichissements en vue de supporter les
dimensions temporelles et dtendre linterprtation smantique ces dimensions.
3. Expression des spcifications temporelles de base
Cette section traite des lments qui peuvent sappliquer aussi bien pour le
niveau conceptuel que pour le niveau organisationnel. Les cinq premires soussections prsentent des dfinitions et propositions de base. La sixime sous-section
prsente la dmarche. Les exemples illustratifs des notations sont regroups dans la
septime sous-section. La dernire sous-section traite la normalisation.
3.1. Principe de spcification des historiques
Dfinition 1 : Un historique atomique est un historique dclar pour :
une seule proprit afin de mmoriser lensemble des valeurs quelle prend
dans le temps , ou
un seul rle afin de mmoriser lensemble des liens quil reprsente dans le
temps .
Exemples : Un historique atomique dclar pour la proprit Capital dune
entreprise serait une suite ordonne de tuples <proprit - CAPITAL><Estampille>.
De mme, un historique atomique dclar pour un rle Activit dune entreprise
serait une suite ordonne de tuples <rle - ACTIV><Estampille>.
Pour toute entit-type ou relation-type, nous donnons la possibilit de spcifier
un historique local ou un historique global.
Dfinition 2 : Un historique local est un historique dclar pour un sousensemble (au sens strict du terme) des proprits dune entit ou dune relation, ou
pour un sous-ensemble des rles dune relation. Il est dclar travers un ensemble
dhistoriques atomiques.
Dfinition 3 : Un historique global est un historique dclar pour :
une entit entire, englobant toutes ses proprits, ou
une relation entire, englobant tous ses rles ainsi que ses proprits
ventuelles.
Exemple : Pour une entreprise spcifie par les proprits Identifiant,
Capital, n tlphone et forme juridique, on peut dclarer un historique
atomique pour la proprit Capital et un autre pour la proprit forme juridique.
Si les deux historiques ont les mmes estampilles, on peut les dclarer travers un
mme historique local. Dans la pratique, il est plutt rare de trouver des entits pour
lesquelles on peut dclarer un historique global impliquant toutes les proprits.
Notons quun historique global peut tre dclar partir dhistoriques atomiques.
Cela est dailleurs lapproche adopte dans TERM. Cependant, le passage oblig par
la spcification explicite de tous les historiques atomiques constitue une lourdeur
que lon peut viter.
T: 1,n
1,1
T: 1,n
1,n
CHEF
T ACTIONNAIRE V
s
NB_ACTIONS
T: 0,n
0,n
INDIVIDU
ID_IND
T: 0,n NOM
0,n NAISSANCE
2002/7/2:
H
10 6 25
2003/12/31:
H
23 59 59
: ACTIONNAIRE
NB_ACTIONS = 1
: ORGANISME
ID_ORG = SNA
CAPITAL = 50 000
VAL_ACTION = 10
2003/12/10:
H
15 3 17
[2004/1/1 - 2005/10/15]
2005/10/15:
H
23 59 59
: ACTIONNAIRE
[2004/1/1 - 2005/10/15]
NB_ACTIONS = 500
: ORGANISME
ID_ORG = SNA
CAPITAL = 50 000
VAL_ACTION = 20
[2005/10/16 - ! ]
2005/9/5:
H
17 25 55
: ACTIONNAIRE
[2005/10/16 - ! ]
NB_ACTIONS = 1 500
: ORGANISME
ID_ORG = SNA
CAPITAL = 100 000
VAL_ACTION = 20
[2005/1/1 2005/10/15]
: CHEF
[2004/1/1 2004/31/12]
: CHEF
[2001/11/16 2003/12/31]
: CHEF
[2002/6/16 - 2003/12/31]
000
: INDIVIDU
ID_IND = 4545220
NOM = EYA
NAISSANCE = 3 juin
1979
: INDIVIDU
ID_IND = 3225777
NOM = EDAM
NAISSANCE = 5 mai
1975
N.B. : Conformment aux conventions de reprsentation des modles, les intervalles de validit et
les intervalles de transaction sont prsents respectivement droite et gauche de chaque instance concerne.
T: 1,n
1,n
ACTIV
SPECIALITE
ACTIVITE
ID_ACT
1,n
LIBELLE_ACT
qui ne se chevauchent pas, alors que celle relative SNCPA, ACT50 nen comporte
quune seule.
: ORGANISME
ID_ORG = SNCPA
[2002/11 2005/11]
CAPITAL = 45
000
000
TELEPH = 216 74 250 250
FORM_JURIDIQ = SARL
FORM_JURIDIQ = SA
[2005/12 2007/3]
CAPITAL = 60
[2002/11
: SPECIALITE
[2002/12 2006/9]
[2006/10
! ]
]
[2004/10
[2002/11 2003/12]
: ACTIVITE
ID_ACT = ACT50
LIBELLE_ACT = Fabrication
Pneus Auto
: ACTIVITE
ID_ACT = ACT53
LIBELLE_ACT = Fabrication
Pneus Cycle
: SPECIALITE
: SPECIALITE
ORGANISME_COTE_EN_BOURSE
NOMINAL_ACTIONS
INSTITUTION_FINANCIERE
ID_INST
NUM_AUTORIS
DOMAINE_ACTIVITE
Vj
ORGANISME_BANCAIRE
NB_AGENCES
T ACTIONNAIRE V
0,n
NB_ACTIONS
0,n
EXERCICE
T: 0,n
CHIF_AFF
ANNEE
AN
T: 1,n
1,n
BENEFICE
0,n
GAIN
T: 1,n 1,n
INDIVIDU
T: 0,n
0,n ID_IND
NOM
NAISSANCE
MONTANT_G
TYP_G
6. Conclusion
Lextension du modle entit-relation que nous venons de prsenter propose de
nouveaux concepts et outils pour rendre lexpression des spcifications temporelles
aise et efficace. Elle se distingue par sa conformit au principe de la dmarche par
niveau dabstraction des mthodes systmiques. Les spcifications temporelles sont
places ct des autres spcifications smantiques, dune manire conforme
lobjet et ltendue de chaque niveau dabstraction. Au niveau conceptuel, elles
permettent au concepteur de marquer les donnes historiser conformment
lvolution du monde rel par une montre de validit . Au niveau organisationnel,
elles permettent de marquer les donnes historiser conformment leur volution
dans la BDT par une montre de transaction . Ce marquage est souple ; il peut tre
effectu dune manire locale ou dune manire globale. La dfinition dune
nouvelle paire de cardinalits, note (T: min,max), permet de spcifier les conditions
dexistence de plusieurs instances pour une mme occurrence dune relation
historise.
La mise en uvre de cette extension est concrtise travers MERISE/TEMPO
qui tend la mthode MERISE/2 lenvironnement temporel tout en prservant ses
atouts de puissance et de rigueur. Il est ais de remarquer, travers la prsentation
que nous venons de donner, que la plupart des enrichissements temporels proposs
peuvent tre mis en uvre dans le cadre de toute autre variante du modle E-R. Les
notions dhistorique global, dhistorique local, doccurrence, dinstance et de
normalisation temporelle dune entit ou dune relation sont dfinies dans un cadre
gnral et ne dpendent daucune variante. Les montres de validit et de transaction
peuvent tre utilises pour toutes les variantes ; seuls les endroits caractrisant les
spcifications temporelles varieront en fonction du formalisme graphique propre
7. Bibliographie
Adiba M., Quang N. B., de Oliveira Jos Palazzo M., Notion de temps dans les bases de
donnes gnralises , Actes des 1res Journes Bases de Donnes Avances, 1985.
Bouaziz R., Moalla M., Rolland C., Approche globale pour la gestion de lhistorisation dans
les bases de donnes temporelles , Actes des 10mes journes INFORSID, 1992.
Chen P., The Entity-Relationship Model Toward a Unified View of Data , ACM
Transactions on Database Systems, vol. 1, n 1, 1976, p. 9-36.
Chomicki J., A Temporal Query Languages: A Survey , Proceedings of the First
International Conference on Temporal Logic, Bonn, Germany, 1994, p. 506-534.
Doucet A., Ganarski S., Jomier G., Monties S., Maintien de la Cohrence dans une Base de
Donnes Multiversion , Ingnierie des Systmes dInformation, vol. 5 n 1, 1997.
Dumas M., Fauvet M. C., Scholl, P. C., TEMPOS: A Platform for Developing Temporal
Applications on top of Object DBMS , IEEE Transactions on Knowledge and Data
Engineering, vol. 16, n 3, mars 2004, p. 354-374.
Fauvet M. C., Canavaggio J. F., Scholl, P. C., A representation-independent temporal
extension of ODMGs Object Query Language , Actes des 15mes Journes Bases de
Donnes Avances, Bordeaux, France, octobre 1999.
Galante R. M., dos Santos C. S., Edelweiss N., Moreira . F., Temporal and versioning
model for schema evolution in object-oriented databases , Data & Knowledge
Engineering, vol. 53, n 2, mai 2005, p. 99-128.
Gregersen H., Jensen C. S., Conceptual Modelling of Time-Varying Information, Technical
Report TR-35, TIMECENTER, septembre, 1998.
Gregersen H., Jensen C. S., Temporal Entity-Relationship Models A Survey , IEEE
Transactions on Knowledge and Data Engineering, vol. 11, n 3, 1999, p. 464-497.
Jensen C. S., Dyreson C.E., The Consensus Glossary of Temporal Database Concepts , in
Etzion O., Jajodia S., Sripada S. M., Temporal Databases: Research and Practice, LNCS
1399, Spring-Verlag, 1998.