Modele du temps
2.5 Representation externe des valeurs temporelles
Les formes externes des valeurs temporelles sont multiples. Elles sont liees aux unites utilisees pour exprimer les valeurs temporelles. Le modele du temps propose o rant un ensemble extensible d'unites d'observation du temps, il est necessaire de rendre egalement extensible le systeme de formes externes.
Dans cette section, nous presentons un travail relatif au traitement des formes ex-ternes des instants [Dum96, CD97]. Il doit ^etre complete pour traiter des formes exex-ternes d'ensembles d'instants et egalement des durees.
2.5.1 Diversite des formes externes
Les modes d'expression des instants sont nombreux et varies comme le temoigne le corpus suivant dans lequel toutes les expressions designent le m^eme instant:
{ \5/8/1996" (dans le format europeen) { \8/5/1996" (dans le format americain)
{ \1996-08-05" (selon le standard ISO-8601:1988 [ISO88]) { \5 Ao^ut 1996" (en Francais)
{ \August 5, 1996" (en Anglais) { \5/8/96" (sous-entendu 20eme siecle)
{ \lundi semaine 33 annee 1996" (dans le systeme d'unites [annee, semaine, jour]) Cette variete est due a divers facteurs: calendriers utilises, contraintes typographiques, contexte linguistique et culturel, habitudes personnelles, implicites, etc. Ces facteurs peuvent ^etre classi es en deux grandes categories: ceux qui dependent du calendrier utilise et ceux qui concernent le contexte linguistique et culturel dans lequel on se place.
Le calendrier determine l'ensemble d'unites et de systemes d'unites dans lequels sont exprimees les valeurs temporelles. Le calendrier gregorien, par exemple, fait intervenir les unites jour, mois, annee et siecle, et les systemes d'unites [annee, mois, jour] (AMJ) et [annee,mois] entre autres.
Le contexte linguistique de son c^ote determine la correspondance entre les valeurs temporelles et leurs representations externes ainsi que la structure lexicale et syntaxique de ces representations. Dans la section suivante, nous introduisons la notion de format
2.5.2 Formats
Nous regroupons toutes les proprietes des representations externes des valeurs tempo-relles dependant du contexte linguistique et culturel sous la notion deformat.
Considerons par exemple le format europeen des dates. Les formes externes de ce for-mat sont les cha^nes de caracteres de la forme \13/6/1997" ou \16/6/1997". L'interpreta-tion de la forme externe \13/6/1997" de ce format est l'instant de forme multigranulaire [1996, 5, 12] dans le systeme d'unites AMJ. Par ailleurs, les formes externes de ce format denotent des instants observes a la granularite du jour.
Le domaine d'un format est un langage regulier sur l'alphabet constitue des caracteres alphanumeriques, des signes de ponctuation, des noms des unites et des noms des grains des unites. Il est donc entierement caracterise par la donnee d'une expression reguliere sur cet alphabet. Par exemple, l'expression reguliere decrivant le domaine du format europeen des dates est (1j2:::j31)/(1j2 :::j12)/(0j1 :::j9)
+.
A tout format est associe un systeme d'unites qui permet d'accepter et d'interpreter une forme externe dans ce format. Par exemple, le systeme d'unites associe au format europeen est le systeme AMJ, associe aussi au format americain.
En parcourant une forme externe de gauche a droite on peut construire une liste d'en-tiers correspondant aux grains d'unites rencontres. Cette liste contient tous les elements de la forme multigranulaire de l'interpretation de cette forme externe, mais ce n'est pas toujours sa forme multigranulaireparce qu'ellen'est pas forcementordonnee correctement. Par exemple,en e ectuant ce parcours sur la forme externe \13/6/1997" on obtient la liste [12, 5, 1996] alors que la forme multigranulaire dans le systeme AMJ de son interpretation est [1996, 5, 12] dans le format europeen ou [1996, 12, 5] dans le format americain.
Pour resoudre ce probleme, nous associons a chaque format une permutation sur [1; n] (oun est le nombre d'unites du systeme associe a ce format) qui de nit la correspondance entre les elements de la liste de grains d'unites extraite d'une forme externe et la forme multigranulaire de son interpretation. Ainsi, si l'image de 1 par cette permutation est 3, l'element d'indice 1 dans la liste extraite de la forme externe, sera l'element d'indice 3 dans la forme multigranulaire recherchee.
Par exemple, la liste de grains extraite de la forme externe \13/6/1997" etant [12, 5, 1996], et la permutation associee au format europeen des dates etant [3, 2, 1], on deduit que la forme multigranulaire de l'instant denote par \13/6/1997" dans le systeme d'unites AMJ est [1996, 5, 12].
Une fois que nous disposons de la forme multigranulaire d'une valeur temporelle dans un systeme d'unites, nous pouvons obtenir cette valeur temporelle gr^ace aux constructeurs associes aux types temporels (Cf. gure 2.25).
(1|2...|31)/(1|2...|12)/(0|1...|9)+
Reconnaissance à l’aide d’une expression régulière:
[1, 2, 3] [3, 2, 1] Permutation :
Création de l’instant dans le système d’unité: [Année, Mois, Jour]
"13/6/1997"
[1996, 5, 12]
Instant [12, 5, 1996]
Fig. 2.25 {Reconnaissance d'une forme externe d'un instant
Nous sommes donc en mesure de calculer l'interpretation d'une forme externe connais-sant le systeme d'unites et la permutation associee a son format (fonction Rec, Cf. -gure 2.26). Inversement, nous pouvons aussi produire la forme externe d'une valeur tem-porelle dans un format donne a partir de sa forme multigranulairedans le systeme d'unites de ce format (fonction FE, Cf. gure 2.26). Ces considerations nous permettent de dire qu'un format est entierement caracterise par la donnee d'une expression reguliere, d'un systeme d'unites et d'une permutation (Cf. gure 2.26).
Format:< expression reguliere, systeme d'unites, permutation>
Fonctions associees aux formats:
Rec: format, cha^ne ,!instant
f Rec(f, c) est l'instant construit a partir de c analysee suivant le format f. g
FE: format, instant ,!cha^ne
f FE(f, i) est la cha^ne de caracteres correspondant a la forme externe de i dans le
format f. g
Fig. 2.26 { Format
Une forme externe peut appartenir au domaine de plusieurs formats a la fois. La forme externe \5/8/1996" peut correspondre a une date exprimee dans le format europeen et a une autre date dans le format americain.Pour traiter ce type d'ambigute,nous regroupons les formats au sein de systemes de formats. Un systeme de formats est un ensemble de formats de domaines deux-a-deux disjoints. Ainsi, au sein d'un systeme de formats, les formes externes ont une interpretation unique.
La forme externe d'instant \5/8/96" presentee dans le corpus ci-dessus fait reference a l'instant de forme multigranulaire [1996, 8, 5] dans le systeme d'unites AMJ et non pas
a celui de forme multigranulaire [96, 8, 5] qu'on obtiendrait normalement. Ceci est d^u a l'usage courant qui est de reperer un instant non pas par rapport a l'origine (imposee par le modele ou par le systeme), mais par rapport a un autre instant de reference qu'on appelera origine translatee du temps. En l'occurrence, il s'agit dans cet exemple du 1er
janvier 1900.
Un seuil de changement d'origine est egalement de ni. Si l'instant obtenu a partir de l'origine translatee est posterieur au seuil de changement d'origine, alors c'est l'origine standard qui est utilisee. Ainsi, dans l'exemple, si la valeur reconnue est \5/8/1996", et que l'instant correspondant est calcule a partir du 1er janvier 1900, l'instant resultant est le 5/8/3896. Il faut donc xer le seuil, par exemple, au 31/12/1999.
Chapitre 3
Tempos:
Historiques
Nous l'avons vu au chapitre 1, les SGBD temporels associent les historiques au niveau des attributs ou au niveau des n-uplets (ou des objets selon le modele de donnees). L'asso-ciation au niveau des n-uplets permet d'avoir une vision globale d'une entite a un instant donne. Mais dans ce cas, la nature de l'evolution propre a chaque attribut est perdue: ceux-ci peuvent evoluer ou non de maniere synchrone, eventuellement a des granularites di erentes.
Au niveau des applications, on peut vouloir observer l'evolution au niveau des attributs ou au niveau des n-uplets. Dans le modele relationnel, le respect de la premiere forme normale impose le choix n-uplet. Dans les modeles a objets, la structuration o erte permet les deux options. Nous choisissons comme base du modele l'etude de l'historisation des attributs, sachant que l'historisation des objets pourra ^etre traitee a partir de la.
Nous traitons dans ce chapitre des attributs historiques. Nous decrivons les caracteris-tiques temporelles des attributs, nous classi ons les historiques en fonction des modalites de leur mise a jour et nous etudions leurs representations. Nous presentons en n les ope-rations d'interrogation et de mises a jour des historiques.