Vous êtes sur la page 1sur 16

Intgration de la dimension temporelle au

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.

ABSTRACT. The methodological integration of the temporal dimension in databases requires


primitives that allow rigorous and progressive specification of this dimension since the
conceptual and organizational levels. For this goal, we propose concepts and graphic
formalisms, in accordance with the abstractions of the tow levels of the entity-relationship
model. These concepts allow the expression of requirements of atomic, local and global
histories, through valid-time, transaction-time or bitemporal component-types (property-type,
entity-type, etc.). The application of these concepts to the MERISE/2 method gave the
MERISE/TEMPO extension. Illustrative examples of the proposed component-types, drawn of
an experimentation of a concrete application, are given.

Bases de Donnes Temporelles, Extension Temporelle, Modle Entit-Relation,


Modlisation.

MOTS-CLS :

KEYWORDS: Temporal

Databases, Temporal Extension, Entity-Relationship Model, Modeling.

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.

2. Domaine dtude et tat de lart


Lhistorisation des donnes consiste raliser les oprations de mise jour dune
manire non destructive. Les tats concernant le pass sont conservs dans la base ;
on ne fait quajouter les nouveaux tats. cet effet, les faits temporels du monde
rel sont estampills par le temps . Deux types de temps sont utiliss (Jensen et
al., 1998) :

Le temps logique ou temps de validit : associ un fait, il correspond au


temps durant lequel ce fait est considr valide dans le monde rel. Ce type de temps
est gr par lutilisateur et peut subir des modifications de valeurs.
le temps physique ou temps de transaction : associ un fait, il correspond
au temps durant lequel ce fait est ou tait considr courant dans la BDT. Ce
type de temps est arrt par la montre du systme. Il est gnr automatiquement par
le SGBD et nest jamais modifi par lutilisateur.
Aussi bien les temps de validit que les temps de transaction peuvent tre
spcifis comme des instants, des intervalles temporels ou des ensembles
dintervalles temporels. Nous adoptons, ici, la spcification sous forme dintervalles
temporels. Ainsi, toute estampille est dcrite par un temps de dbut et un temps de
fin spcifiant, respectivement, sa borne infrieure et sa borne suprieure. Ces temps
permettent de dfinir trois types de faits temporels :
Un fait temporel de validit, reprsentant un fait estampill par un temps de
validit. Il permet de conserver la suite des valeurs valides prises successivement par
un fait, conformment ce qui est appliqu dans le monde rel.
Un fait temporel de transaction, reprsentant un fait estampill par un temps
de transaction. Il permet de conserver la suite des valeurs (valides et errones) dun
fait, saisies successivement dans la BDT.
Un fait bitemporel, reprsentant un fait estampill la fois par un temps de
validit et par un temps de transaction. Il permet de conserver lensemble des
valeurs saisies pour un fait, en distinguant celles qui sont valides et celles qui sont
errones. Par ailleurs, il devient possible de connatre lcart entre le temps de
validit de chaque valeur dun fait dans le monde rel et le temps de sa prise en
charge par le systme informatique.
Lhistorisation selon laxe de validit permet aussi la prise en charge des faits
provenant en retard (avec effet rtroactif) et des faits futurs (avec effet postactif).
Lexpression des faits temporels au niveau conceptuel a t tudie pour
diffrentes variantes du modle E-R. Certaines de ces propositions sont rappeles
dans (Gregersen et al., 1999) : il sagit de TERM: Temporal Entity-Relationship
Model, RAKE: Relationships, Attributes, Keys, and Entities Model, MOTAR:
Model for Objects with Temporal Attributes and Relationships, STEER: Semantic
Temporal EER Model, ERT: Entity-Relation-Time model, TER: Temporal EER
model, TEER: Temporal EER Model et le modle de Kraft. (Gregersen et al.,
1998) ont aussi propos une extension, baptise TIMEER: Temporally Extended ER
Model, qui a limin certaines limites des propositions antrieures.
Rcemment, (Jimnez, 2006) a propos une extension au modle E-R, baptis
REERM: Reenhancing the Entity-Relationship Model, qui intgre le concept
dvnement au modle de donnes pour mieux modliser les faits temporels.
Lauteur propose de commencer par la dfinition dun schma E-R qui spcifie
textuellement les besoins dhistorisation selon les temps de validit, puis de dfinir

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.

3.2. Dfinition des composants-types temporels


La spcification dun historique global une entit-type ou une relation-type,
ou dun historique atomique une proprit-type ou un rle-type, permet ces
composants-types de supporter la dimension temporelle, amenant ainsi de
nouvelles constructions. Nous dfinissons ces constructions comme suit :
Dfinition 4 : Un composant-type temporel de validit (entit-type temporelle
de validit, relation-type temporelle de validit, proprit-type temporelle de
validit, ou rle-type temporel de validit) est un composant-type que lon
spcifie, au niveau conceptuel, par un historique selon les temps de validit. Il
permet de modliser des faits temporels de validit.
Dfinition 5 : Un composant-type temporel de transaction (entit-type
temporelle de transaction, relation-type temporelle de transaction, proprittype temporelle de transaction, ou rle-type temporel de transaction) est un
composant-type que lon spcifie, au niveau organisationnel, par un historique selon
les temps de transaction. Il permet de modliser des faits temporels de transaction.
Dfinition 6 : Un composant-type bitemporel (entit-type bitemporelle,
relation-type bitemporelle, proprit-type bitemporelle, ou rle-type
bitemporel) est un composant-type que lon spcifie, au niveau conceptuel, par un
historique selon les temps de validit et, au niveau organisationnel, par un historique
selon les temps de transaction. Il permet de modliser des faits bitemporels.

3.3. Formalisme graphique pour la spcification temporelle


Diffrentes reprsentations graphiques sont proposes dans la littrature pour la
spcification temporelle. RAKE propose de relier les entits historiser des entits
temporelles (Time_period). ERT utilise des botes temporelles que lon peut placer,
au besoin, au niveau des branches reliant les proprits leur entit (quand il sagit
dhistoriser des proprits) et au niveau des branches des relations (quand il sagit
dhistoriser des rles). Dans MOTAR, il est adopt de reprsenter en traits doubles
les contours des losanges et carrs schmatisant respectivement les relations et les
attributs historiser. Le modle de Kraft marque par un double slash (//) les
entits historiser, les branches dattachement des proprits historiser et les
branches reprsentant les relations historiser. Cest TIMEER qui propose la
reprsentation graphique la plus claire. Il utilise les symboles LS , V , T et
BT pour exprimer respectivement un besoin de spcification de dure de vie

(lifespan), de temps de validit, de temps de transaction et de ces deux temps


ensemble. Nanmoins, cette reprsentation gagne tre plus expressive.
Proposition 1 : Un besoin dhistorisation selon laxe de validit est reprsent
graphiquement par le symbole dune montre accompagne de la lettre V indice
par a , m , j , h , n ou s pour prciser le niveau de granularit,
respectivement anne, mois, jour, heure, minute ou seconde (Exemple : la
reprsentation Vm dclare le besoin dune historisation avec la granularit
mois). Le niveau jour constitue loption par dfaut. Le concepteur peut modifier
localement ce niveau, si ncessaire.
Proposition 2 : Un besoin dhistorisation selon laxe de transaction est
reprsent graphiquement par le symbole dune montre intgre dans un cran et
accompagne de la lettre T indice par le symbole de granularit (Exemple :
Tm ). tant donn que les intervalles de transaction sont allous
automatiquement par le SGBD, le niveau de granularit gnralement utilis est la
seconde . Cest donc loption par dfaut. Cependant, ladministrateur du systme
peut le raffiner davantage.

Proposition 3 : Dans un schma MERISE/TEMPO, une montre de validit


(respectivement une montre de transaction) est placer droite (respectivement
gauche) du nom dune proprit (quand il sagit dune historisation atomique dune
proprit) ou du nom dune entit ou dune relation (quand il sagit dune
historisation globale) ou, enfin, ct dune branche (quand il sagit dune
historisation atomique dun rle).
Les reprsentations ainsi constitues allient la simplicit dutilisation une
expressivit visuelle directe (symboles des montres et prcision des types de temps
et du niveau dabstraction). Leur intgration par une icne dans un AGL est trs
aise. Il sagit de mme pour la manipulation des niveaux de granularit.

3.4. Notions doccurrence et dinstance


La validation des modles passe souvent par la construction de schmas
doccurrences et il est courant, dans cet usage, de considrer les termes occurrence
et instance comme tant synonymes. Dans le contexte particulier des modles
historisants, nous proposons de donner chacun de ces termes une signification
distincte.
Dfinition 7 : Une occurrence dun composant-type temporel est lensemble des
donnes de ce composant-type se rapportant toute ltendue historique
considre et relatives une mme valeur de son identifiant.
Dfinition 8 : Une instance dun composant-type temporel est un sous-ensemble
des donnes de lune de ses occurrences, caractris par une priode de validit
et/ou de transaction spcifique(s).

Lon peut ainsi parler de composition dune occurrence partir de lunion de


toutes les instances ayant la mme valeur didentifiant, ou distinguer, dans une
mme occurrence, des instances ayant chacune une priode de temps
particulire.
Les figures 2 et 5 dcrivent quelques occurrences avec leurs instances.

3.5. Spcifications temporelles des cardinalits


Nous proposons de gnraliser aux relations n-aires les dfinitions de TER
(Tauzovich, 1991) concernant deux types de cardinalits pour les relations binaires.
Ainsi, nous associerons tout rle temporel une paire de cardinalits ordinaires
note (min,max) et une paire de cardinalits temporelles note (T: min,max). Etant
donn un rle dfini entre une entit E et une relation temporelle R et deux
occurrences O1 de E et O2 de R :
(min,max) indiquent respectivement les nombres minimum et maximum de
liens possibles qui peuvent exister chaque instant entre O1 et O2 ;
(T: min,max) indiquent respectivement les nombres minimum et maximum de
liens possibles qui peuvent exister dans toute ltendue historique entre O1 et O2.
Dans lexemple de la figure 1, les cardinalits du rle qui part de ORGANISME
vers CHEF sont interprtes comme suit : Les chefs dun organisme se succdent
dans le temps mais, un instant donn, lorganisme nest dirig que par un seul chef.
Ainsi, la paire de cardinalits ordinaires (1,1) correspond la paire de cardinalits
temporelles (T: 1,n).
La dfinition des deux types de paires de cardinalits doit respecter les
contraintes suivantes : (C1) Si T: min = 0 alors min = 0 (optionalit de
participation) ; (C2) Si min = 1 alors T: min = 1 (obligation de participation) ; (C3)
Si max = n alors T: max = n (multiplicit des participations).

3.6. Dmarche de la modlisation


Le niveau conceptuel se restreint aux spcifications relevant de la smantique
conformment au monde rel. Le concepteur ne doit retenir, ce niveau, que les
aspects relatifs au Quoi du systme dinformation (SI). Seul laxe temporel de
validit est donc prendre en compte ce niveau. Alors que laxe temporel de
transaction nest utile que pour marquer lvolution des donnes dans le systme
informatique. Il permet de cadrer les priodes de prise en charge des informations
dans la base de donnes et constitue, de ce fait, un aspect du niveau organisationnel
qui englobe le Qui fait, Quand et O .
La conception de MERISE/TEMPO, partant de MERISE/2, entant coller cette
logique. Ainsi, llaboration dun modle de donnes MERISE/TEMPO commence

par la dfinition dun modle conceptuel de donnes (MCD) et se limite, ce


niveau, lexpression des historiques selon laxe temporel de validit (avec les
montres de validit).
En passant au niveau organisationnel, le MCD est complt par lajout des
spcifications dordre organisationnel : types et formats des proprits, droits
daccs aux donnes pour chaque type de site et pour chaque type de poste de
travail, mode de gestion des donnes (informatis ou manuel), donnes dorigine
organisationnelle et critres classiques darchivage. Cest alors que lon spcifie les
besoins en historiques selon laxe temporel de transaction (avec les montres de
transaction).
Le modle organisationnel des donnes (MOrD) ainsi obtenu cumule la
dclaration de tous les besoins dhistorisation. Il comporte des constructions-types
temporelles de validit, des constructions-types temporelles de transaction et des
constructions-types bitemporelles, conformment aux exigences du SI.
Par ailleurs, de nouveaux types et formats temporels permettent au concepteur de
dclarer des proprits TDU (temps dfini par lutilisateur) : date, point temporel,
intervalle temporel, dure et priode. Le format dune dure (par exemple, pour
dcrire la dure dun emprunt obligataire) peut tre sous la forme AA ans, MM
mois, JJ jours permettant de maintenir toute valeur exprimant un nombre dannes,
un nombre de mois et un nombre de jours.

3.7. Illustration de lexpression des spcifications temporelles


Nous allons illustrer la spcification dhistoriques sous MERISE/TEMPO par
des exemples tirs dune application Centrale des renseignements ralise au
sein dun organisme financier. Ladite application a pour objectif de suivre lactivit
conomique en Tunisie et de rpondre aux besoins dautres institutions financires
en informations utiles pour la prise de dcision. Elle sintresse aussi bien aux
donnes courantes quaux donnes historiques des organismes (socits,
coopratives, associations, etc.) exerant dans le pays.
Exemple 1 : La figure 1 illustre des spcifications dhistoriques globaux relatives
lentit temporelle de validit ORGANISME, la relation temporelle de validit
CHEF et la relation bitemporelle ACTIONNAIRE.
ORGANISME
ID_ORG
CAPITAL
VAL_ACTION

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

Figure 1. Exemples de spcifications dhistoriques globaux sous MERISE/TEMPO

La figure 2 montre un schma doccurrences relatives lorganisme SNA et


aux individus EYA et EDAM . Les trois instances de loccurrence SNA
montrent lvolution des donnes relatives son capital et la valeur de son action.
Notons que le symbole ! reprsente la valeur non connu a priori pour les
temps de validit ou la valeur now (Jensen et al., 1998) pour les temps de
transaction. Les deux premires instances de la relation CHEF rattachent
lorganisme SNA lindividu EDAM , alors que la troisime rattache cet
organisme lindividu EYA . Finalement, les trois instances relatives
loccurrence SNA, EYA de ACTIONNAIRE montrent lvolution du nombre
dactions de EYA dans SNA .
[2001/11/16 - 2003/12/31]

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.

Figure 2. Exemple dun schma dinstances relatives des historiques globaux


Exemple 2 : Le modle de la figure 3 spcifie un historique local pour lentit
ORGANISME, travers les historiques atomiques de ses deux attributs CAPITAL
et FORM_JURIDIQ , et un historique local pour la relation SPECIALITE, travers
un historique atomique de son rle ACTIV .
ORGANISME
ID_ORG
CAPITAL
Vm
TELEPH
FORM_JURIDIQ

T: 1,n
1,n
ACTIV

SPECIALITE

ACTIVITE
ID_ACT
1,n
LIBELLE_ACT

Figure 3. Exemples de spcifications dhistoriques locaux sous MERISE/TEMPO


La figure 4 montre un schma doccurrences relatives lorganisme SNCPA et
aux activits ACT50 et ACT53 . Le capital et la forme juridique de SNCPA
comportent chacun deux instances. Loccurrence relative SNCPA, ACT53 de
SPECIALITE comporte galement deux instances avec deux intervalles de validit

qui ne se chevauchent pas, alors que celle relative SNCPA, ACT50 nen comporte
quune seule.
: ORGANISME
ID_ORG = SNCPA

N.B. : SARL signifie


une socit responsabilit
limit ; SA signifie une
socit anonyme.

[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

Figure 4. Exemple dun schma dinstances relatives des historiques locaux

3.8. Normalisation temporelle


Comme le montre la figure 2 pour lexemple des instances de loccurrence
SNA , lhistorique global dune entit peut provoquer une redondance
dinformation ; deux instances sont utilises pour une mme valeur du capital
(50 000 Dinars). La normalisation temporelle, du type dfini dans (Navathe et al.,
1987) pour le paradigme relationnel, permet dviter de telles redondances. Elle peut
tre dfinie dans le cadre du modle E-R comme suit :
Dfinition 9 : Une entit-type (ou une relation-type) spcifie avec un historique
global est temporellement normalise si et seulement si toutes ses proprits-types
ont le mme comportement temporel, cest--dire qu chaque fois quune proprit
change de valeur, les autres le font. Un modle est dit temporellement normalis si
toutes ses entits et toutes ses relations spcifies avec des historiques globaux sont
temporellement normalises.
Ainsi, pour viter les redondances, il y a lieu de ne spcifier des dclarations
dhistoriques globaux que pour des entits ou relations temporellement normalises.
Quand ce nest pas le cas, on se limitera des dclarations dhistoriques locaux. La
mme remarque peut tre faite concernant les historiques locaux.

4. Spcifications temporelles complmentaires au niveau conceptuel


Les spcifications temporelles complmentaires proposes ci-dessous concernent
les concepts de Gnralisation/Spcialisation et de relation-de-relation, rencontrs,
entre autres, dans MERISE/2.

4.1. Historisation relative une Gnralisation/Spcialisation


Proposition 4 : La dclaration dune spcification temporelle dune relation de
Gnralisation/Spcialisation ne seffectue pas dune manire explicite, mais plutt
dune manire implicite travers une spcification temporelle globale de la superclasse ou travers les spcifications temporelles des sous-classes, quelles soient
globales ou locales.
Proposition 5 : Lexpression dun historique global ou dun historique local pour
une entit gnrique ou une entit spcialise se ralise de la mme manire que
pour nimporte quelle entit-type. Cependant, lhritage stend aux spcifications
dhistorisation conformment aux principes suivants :
Les proprits et les rles historiss dune manire atomique au sein dune
entit gnrique sont hrits en tant que tels par toutes les entits spcialises.
Un historique global dune entit gnrique se rpercute globalement sur
toutes ses entits spcialises.
Un historique global dune entit spcialise se limite cette entit et ne se
rpercute ni sur son entit gnrique, ni sur les autres entits spcialises issues de
cette dernire.
Dans le cas dun hritage compos, une entit spcialise hrite les
spcifications dhistorisation de toutes ses entits gnriques.
Exemple : Le schma de la figure 5 spcifie un historique global de lentit
gnrique ORGANISME. Les entits spcialises de cette dernire hritent aussi
bien les proprits et les rles de ORGANISME que la spcification de lhistorique
global. Cet historique intgre alors la trace des changements des caractristiques
spcialises de chaque organisme. Lentit spcialise ORGANISME_BANCAIRE
hrite, en sus, une historisation atomique de la proprit DOMAIN_ACT (domaine
dactivit) de lentit INSTITUTION_FINANCIERE.
ORGANISME
ID_ORG
CAPITAL
VAL_ACTION

ORGANISME_COTE_EN_BOURSE
NOMINAL_ACTIONS

INSTITUTION_FINANCIERE
ID_INST
NUM_AUTORIS
DOMAINE_ACTIVITE
Vj

ORGANISME_BANCAIRE
NB_AGENCES

Figure 5. Exemple dhritage de spcifications dhistorisation

4.2. Historisation relative une relation de relations


Proposition 6 : Lhistorisation dune relation de relations se traite de la mme
manire que celle dune relation-type ordinaire, quelle soit locale (pour certains de
ses proprits et/ou rles) ou globale.
Exemple : Le schma de la figure 6 spcifie un historique global pour la relation
de relations GAIN. Une occurrence de GAIN concerne un actionnaire donn pour un
exercice donn. Une telle occurrence peut avoir plusieurs instances, chacune
correspondant un intervalle de validit spcifique, exprim avec la granularit
anne .
ORGANISME
ID_ORG
CAPITAL
Vj
VAL_ACTION


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

Figure 6. Exemple de spcification dun historique pour une relation de relations

4.3. A propos de lhistorisation des entit relatives


Les extensions RAKE et TIMEER traitent part le cas des entits relatives,
appeles aussi entits faibles, sagissant dentits qui nont pas dexistence propre.
Par exemple, un avenant (instance de lentit AVENANT) ne peut exister que par
rapport un contrat (instance de lentit CONTRAT). Cependant, formellement, ce
cas ne se distingue que par la particularit de son identifiant. Nous considrons alors
que son historisation ne ncessite aucune extension particulire. Dailleurs, une telle
information gagne tre modlise travers le concept de relation.

5. Positionnement par rapport ltat de lart


MERISE/TEMPO supporte, comme STEER, TEER, TIMEER, TUML, REERM
et UML-TF, les trois dimensions temporelles (temps de validit, temps de
transaction et temps dfini par lutilisateur). Par contre, TERM, RAKE, MOTAR,
ERT, TER et le modle de Kraft ne supportent que les temps de validit et les temps
dfinis par lutilisateur. Du point de vue application, ce sont MERISE/TEMPO et
UML-TF qui respectent le plus le principe dabstraction ; ils permettent une
spcification progressive des spcifications temporelles, dabord celles relevant du
niveau conceptuel, puis celles relevant du niveau organisationnel.
Dun autre ct, MERISE/TEMPO adopte, comme toutes les autres extensions,
sauf STEER et TEER, une vision standard de lhistorisation. Elle introduit, pour les

aspects temporels, des concepts et des reprsentations graphiques trs avancs,


comparativement ceux proposs par les extensions antrieures. Elle supporte,
comme MOTAR, STEER, TEER, TIMEER et REERM, des relations n-aires
tendues. Elle gnralise aux relations n-aires la proposition de TER concernant
lexpression des cardinalits temporelles pour les relations binaires.
Contrairement TERM, STEER, TER et TEER, qui modifient les interprtations
smantiques des constructions de base, MERISE/TEMPO, comme RAKE, MOTAR,
ERT, le modle de Kraft, TIMEER, TUML, REERM et UM-TF, assure la
compatibilit ascendante avec les concepts et les reprsentations de la mthode objet
de lextension.
Par rapport UML-TF, qui propose des estampilles non figes travers la
dfinition dun strotype abstrait permettant la modification des caractristiques
structurelles et comportementales des estampilles, MERISE/TEMPO ne permet de
modifier que les nivaux de granularit. Rappelons que les deux mthodes relvent de
paradigmes diffrents.

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

chacune delles. Les diffrentes interprtations smantiques des spcifications


temporelles peuvent tre adoptes par les autres variantes, sous rserve quelles
supportent les concepts considrs tels que ceux de relation n-aire, de
gnralisation/spcialisation et de relation de relations. Mais, la dfinition de la paire
de cardinalits temporelles peut ne pas convenir certaines variantes, sachant que le
concept de cardinalit ordinaire est lui mme dfini de diffrentes manires.
Nous envisageons maintenant daffiner ltude de certains concepts
dhistorisation, tels que ceux relatifs aux rles et aux relations de
Gnralisation/Spcialisation, et dtudier les contraintes dintgrit et les impacts
temporels sur les modles de traitement. La mta-modlisation et la validation
formelle de ces concepts constituent une autre perspective de nos travaux.

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.

Jensen C. S., Temporal Database Management , dr.techn. thesis by C. S. Jensen, defended


April 2000, disponible en ligne www.cs.auc.dk/~csj/Thesis.
Jimnez L. G., REERM: Reenhancing the entity-relationship model , disponible en ligne
www.sciencedirect.com, paratre Data & Knowledge Engineering, 2006.
Makni A., Bouaziz R., Gargouri F., Formal verification of an optimistic concurrency control
algorithm using SPIN , International Symposium on Temporal Representation and
Reasoning, TIME 2006, Budapest, Hungary, juin, 2006.
Mkaouar M., Bouaziz R., Ldification de framework pour laide au dveloppement
dapplications temporelles , revue ISDM (Information Science for Decision Making),
http://isdm.univ-tln.fr/, vol. 21, 2005.
Mkaouar M., Bouaziz R., UML-TF : Un profil UML pour la reprsentation des faits
temporels , Technique et Science Informatiques, paratre, 2006.
Navathe S. B., Ahmed R., TSQL: A Language Interface for History Database ,
Proceedings of the Conference on Temporal Aspects in Information Systems, AFCET,
France, mai 1987, p. 113-128.
Panet G., Letouche R., MERISE/2 : Modles et techniques MERISE avancs, ditions
dorganisation, 1994.
Rochfeld A., Prsentation des volutions de MERISE , Journes Internationales des
Sciences de lInformatique (JISI), Tunis, 1992.
Snodgrass R. T., Ahn I., A taxonomy of time in databases , ACM Transactions on
Database Systems, 1985.
Snodgrass R. T., The TSQL2 Temporal Query Language, Kluwer Academic Publishers, 1995.
Snodgrass R. T., Developing time-oriented database applications in SQL, Morgan Kaufmann
Publishers, 2000.
Steiner A., TimeDB 2.2 , A TimeConsult Product, 2005, www.TimeConsult.com.
Svinterikou M., Theodoulidis C. I., The Temporal Unified Modeling Language ,
Proceedings of the 11th International Conference on Advanced Systems Engineering,
CAiSE99, Heidelberg, juin 1999, Germany.
Tauzovich B., Toward Temporal Extensions to the EntityRelationship Model ,
Proceedings of the International Conference on the Entity Relationship Approach, 1991.
Wu Y., Jajodia S., Wang X. S., Temporal Database Bibliography Update , in Etzion O.,
Jajodia S., Sripada S. M., Temporal Databases: Research and Practice, LNCS 1399,
Spring-Verlag, 1998.