Tripod: A Comprehensive System for the Management ... - Mike Worboys

1 downloads 0 Views 1MB Size Report
the Tripod architecture: a Persi stent Store that is responsi- ble for loading and saving ...... Q ueries about the position of spatial data can then be inferred by the ...
Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects    !!#"$% &'$%)(* +,&-.0/12* 3547698:62E;ç·Ú>¢*èʤ%¬uÅ%©®*«I¤ ß ãã á ¾&¤@³­ ¥7±©Ÿ¥7©ªQ£{§@«I¤%¬&¥Mº&£{©¯1¤@«7©·§³©·­&¦ªQ©‚³¯°¦u§³¤%¬²2©«7¯°¦§%³¯B§%´ ¥7±©5¥­&¦uªQ©³¯°¦u§³¤%¬ç·Ú>¢*è¤%¬uÅ%©®*«I¤ƒ¥ÎvÛÝ¥Mº&£{©¯¾B¦u³µ‚¬¶­*¦u³Åv¥7±*©,¯°£¤@¥7¦¤%¬·¤%³­

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Copyright 2001 ACM X-XXXXX-XX-X/XX/XX ... ì 5.00.

Extended OQL Spatio−Temporal Calculus Spatio−Temporal Algebra Histories Temporal Types

Spatial Types

ODMG Model Native Language Bindings

í·î–ï{ðZñò¹óôwõ}ñ@îiöˆ÷0øæù÷#úœöˆ÷{ûZò&û#ü ýþ ¥7©‚ªQ£{§%«I¤%¬B¥Mº&£{©¯¾ˆµ ¤@³¹®{©¸«7©‚µ§%«I­&© ­¿¶¯°¦u³Å±*¦¯p¥7§@«7¦u©¯»¿â¦uÅ%¶*«7©ã ´–«7§ª ÿ     ¦u³9ÀŸ¤«I­*¯·«7©£*«7©¯°©‚³¥7¯ƒ¤Q¯°£¤¥7¦§@¨d±¦u¯p¥7§%«7¦uµ ¤@¬B§%®&ÄM©µ‚¥ ªQ§­&©¬O» ÚV¶*¥7¯°¦­*©†ÿ     ¦u³¸â¦uŶ*«7©ã¾¥7±©·¶£*£{©‚«}±¤%¬´)§%´0¥7± © Ŷ&«7© «7©‚£*«7©¯°©³9¥7¯¥7±©,­*©µ¬¤«I¤@¥7¦u²2©Ø9¶*©‚«°º¿¦u³9¥7©‚«°´O¤@µ©¾1Àñ¦u¬u©,¥7±©¸¬u§ À}©‚« ±¤%¬´#§%´#¥7±* © Ŷ&«7©}«7©£*«7©‚¯°©³9¥7¯B¥7±*©·¦uªQ£{©‚«I¤¥7¦u²2©Ÿ£*«7§%Å%«I¤%ªQªQ¦u³*ņ¦u³*¨ ¥7©«°´O¤%µ‚©»·¼}±©’Ø9¶©‚«°º¸¦u³9¥7©‚«°´O¤@µ©’¦u¯ƒ®¤%¯°©­§³Â Ú B¾¤%³­¦¯·Å¦u²2©‚³ ¤Â¯°©ªÆ¤%³9¥7¦uµ¯Æ¤@³­¤@³§%£*¥7¦uªQ¦u¯7¤@¥7¦u§³“¦³&´i«I¤@¯p¥°«7¶µ‚¥7¶&«7©¥7±*«7§¶*ű¤ ªÆ¤@££*¦³*Ŝ§%³9¥7§¹¤%³“©‚É¥7©³¯°¦u§³§%´†¥7±*©vªQ§³§%¦­“µ§%ªQ£*«7©±*©³¯°¦u§³ µ¤%¬uµ¶¬u¶*¯ƒ§@´ ß  á ¾{¤%¯†­&©¯°µ‚«7¦u®{© ­¦u³ ß @á »Ã¼}±*©’£&«7§Å%«I¤@ªQªQ¦u³Å!¦u³9¥7©‚«°¨ ´o¤%µ©ƒ´o§¬u¬u§ Àï·¥7±*©>ÚVÌwÎvÛϤ%££&«7§2¤@µ±,®º!ªÆ¤%££*¦u³Åw§®Äp©µ¥ÃªQ§­*©¬ µ‚§³¯p¥°«7¶*µ‚¥7¯ˆ¦u³¥7§V£*«7§Å@«I¤%ªQªQ¦u³Ѭ¤%³Å%¶¤@ũç®Äp©µ¥7¯BÀæ¥7±¦u³Q¤@³!©‚ɨ ¦u¯p¥7¦u³Å §®Äp©µ‚¥°¨d§@«7¦©‚³¥7©­£*«7§%Å%«I¤%ªQªQ¦u³*Å ¬¤%³*Ŷ¤@Å©» ¼}±¦u¯œ£¤%£{©‚«Â£&«7§@²¦­*©‚¯œ¤@³Ü§²2©‚«7²¦u©‚À §%´Q¥7±©¹§%®&ÄM©µ‚¥œªQ§­*©¬O¾ Ø9¶*©‚«°ºÆ¬¤%³Å%¶¤@Å©¤%³­£*«7§%Å%«I¤%ªQªQ¦u³*Å ¬¤%³*Ŷ¤@Å©>´O¤@µ¦u¬u¦u¥7¦u©¯ƒ§%´B¼)«7¦¨ £{§­¿¦u³“¢&©‚µ‚¥7¦u§³ ¯ *¾  ¤%³­  ¾1«7©‚¯°£{©µ‚¥7¦u²2©¬º9 » M³¹© ¤@µ±y§@´ƒ¥7±*©¯°© ¯°©‚µ‚¥7¦u§³¯¾¥7±©>´O¤@µ¦u¬¦¥7¦u©¯†§@´1¼)«7¦u£{§­v¤@«7©¦¬u¬u¶¯p¥°«I¤¥7© ­¶¯°¦u³*ÅQ©‚É*¤%ª!¨ £*¬u©¯Z´i«7§%ªÜ¤ƒ¬¤@³­w¶¯°©}µ ¤@¯°©}¯p¥7¶­º9¾ Àñ¦uµI±’¦u¯ˆ­*©‚¯°µ‚«7¦u®{© ­’¦u³ ¢&©µ‚¥7¦u§%³ à »‹¼}±*¦¯‹µ¤%¯°©}¯p¥7¶­&ºw¦u¯Z«7©£&«7©¯°©³9¥I¤@¥7¦u²2©}§@´ªÆ¤@³ºV¦u³Àñ*¦µI±’¥7±*©5¤@£*¨ £*¬u¦µ¤@¥7¦u§³¥°«I¤%µIÁ&¯ˆ­&¦u¯°µ‚«7©‚¥7©}µI±¤@³Å©‚¯¥7§ƒ®{§@¥7± ¯°£¤¥7¦¤%¬&¤%³­’¤@¯°£¤@¥7¦¤@¬ ­*¤@¥I¤ §²2©«Ÿ¥7¦ªQ©%¾¤@¯ƒ¯°¶*££{§@«°¥7© ­,®9º¸¼)«7¦u£{§­0»

2. ARCHITECTURE ¼}±¦u¯>¯°©µ‚¥7¦u§³œ­*©‚¯°µ‚«7¦u®{©¯†¦u³œªQ§@«7© ­&©‚¥I¤%¦u¬¥7±*©’²%¤@«7¦u§¶*¯†µ§%ªQ£{§%¨ ³*©³9¥7¯ƒ§@´1¥7±*© ¼0«7¦£{§­Â¤@«7µI±¦¥7©µ¥7¶*«7© ¯°±*§ Àó¦u³œâ¦uŶ*«7©¸ã¾0¤@³­v¦u³ £¤@«°¥7¦uµ¶*¬–¤«wՊ¤%¯}¯°±*§ Àó¦u³â¦uÅ%¶*«7 © %Ö5±§ ÀÈ¥7±*©¯°©Vµ§%ªQ£{§³*©³9¥7¯}¦u³*¨ ¥7©«I¤%µ‚¥)Àæu¥7±© ¤@µ±w§%¥7±*©‚«¦u³w¥7±©ˆ¯°£{©µ¦ µ ¤@¥7¦u§³’§%´*¯°£¤¥7¦§@¨d±¦u¯p¥7§%«7¦uµ ¤@¬ ­*¤@¥I¤@®¤%¯°©V¤%£*£¬u¦uµ ¤@¥7¦u§³*¯»}¼}±*©‚«7©†¤«7©V¥7±*«7©‚©VªÆ¤%¦u³Æµ§%ªQ£{§³©‚³¥7¯1¦u³ ¥7±*©w¼)«7¦u£{§­¤@«7µI±¦¥7©µ‚¥7¶&«7©Ôà ¤  !#" %$& '($*)+$-,.!†¥7±¤¥V¦u¯ƒ«7©‚¯°£{§³¯°¦¨ ®*¬u©}´o§%«B¬u§2¤%­*¦u³Å¤@³­’¯7¤ ²¦u³Å>£{©‚«7¯°¦u¯p¥7©³9¥B§®Äp©‚µ‚¥7¯B¥7§†¤%³­´i«7§ªÐ¥7±*© ­*¤@¥I¤@®¤%¯°©ƒ¤%³­Æ¤%¬u¯°§’´i§%«ŸªÆ¤@¦³9¥I¤@¦³*¦u³ÅwªQ©‚¥I¤­*¤@¥I¤>¤@®{§¶*¥Ÿ¤w£¤@«°¥7¦uµ‚¨

¶¬¤@«ƒ­*¤@¥I¤%®¤%¯°©>¯°µI±©ªÆ¤×* ¤     !,  --,.‹¥7±¤¥Ã¦u¯Ã«7©‚¯°£{§³¯°¦u®*¬© ´o§@« §%£*¥7¦uªQ¦ ¦u³Å¤%³­½©‚É&©µ¶&¥7¦u³Åv­*¤@¥I¤%®¤%¯°©¸Ø9¶©‚«7¦u©¯×1¤@³­¿¤   ,

 " '  .'   " ' +" ' ¥7±¤@¥1¦u¯B«7©‚¯°£{§³¯°¦u®*¬©Ÿ´i§%«1£*«7§²¦–­&¦u³Å £*«7§%Å%«I¤%ªQªQ¦u³*Å ¬¤%³*Ŷ¤@Å©¤%µ‚µ©¯°¯Ã¥7§ ¥7±©>­*¤@¥I¤@®¤%¯°©%»

íÃîiï{ð)ñ@ò0ô,òüîiò&øÈõ}ñ@îiöˆ÷)øÆñ@ù Z îiüò&ùü ðZñò{þ ¼}±©V­*© ³¦¥7¦u§³Æ§%´¤’¼)«7¦u£{§­,­¤@¥I¤@®¤@¯°©Vµ§%³¯°¦u¯p¥7¯Ã§%´0¥MÀ}§’£¤«°¥7¯Ô ¤ ¯°µ±*©ªÆ¤Պ­*© ³©­¶¯°¦u³ÅƤƭ&©µ¬¤@«I¤¥7¦²©’§%®&ÄM©µ‚¥>­&© ³*¦¥7¦§%³¬¤%³&¨ ! Ŷ¤%Å©>ÕdÚVÌÖ°Ö)¯°£{©µ‚¦u´–º&¦³*ņ¥7±©}¯p¥°«7¶*µ‚¥7¶*«7©5§%´¥7±*©Ÿ­¤¥I¤%®¤@¯°©}¥Mº&£{©¯ ¤%³­¥7±©‚¦u«B®{©±¤ ²&¦u§%¶*« ¾9¤@³­!¤@³!¦uªQ£¬u©ªQ©³9¥I¤¥7¦§%³ §@´{© ¤%µI±!§@´{¥7±©¯°© ®{©±¤ ²¦u§¶&«7¯5¯°£{©µ¦ © ­Q¶¯°¦u³Œ¤£&«7§Å@«I¤%ªQªQ¦u³Å>¬¤%³*Ŷ¤%Å©V®¦u³­&¦³*Å !­*© ¦u ³¸³§%©w¶*¤@«1³vµ ¤%§¯°®©ÃÄp¥7©±µ‚¥V¦u¯1ªÆ¦#¯ ¤%"%³*¦$£*¶$’¬»B¤@¥7¢&¦u§%¦u³*³vµ©Ÿ¬–¤@¥7³±Å%©ƒ¶ÚV¤%Å%Ìw©ÎvÕdÚ>ÛÒÎ ªQZ§Ö­&¾{©­*¬*©‚­*²2§9©©¬u§¯1£{³©‚§%«7¥¯ ª ¶*¯p¥‹¶¯°©Ã¤V£&«7§Å@«I¤%ªQªQ¦u³Å·¬¤%³Å%¶¤@ũî¦u³­&¦u³Ń¥7§Vµ‚«7© ¤@¥7©%¾9¶£#­*¤@¥7© ¤%³­’­&©¬u©‚¥7©}§®Äp©‚µ‚¥7¯»ˆ¼}±©}¼)«7¦u£{§­!ÚV Ì Æ£*«7©£&«7§9µ©¯°¯°§@«ˆ¬¦u©¯B¤¥‹¥7±© µ§%«7©ƒ§%´)¥7±©·£*«7§9µ©¯°¯Ÿ§@´£&«7§­*¶µ‚¦³*Å ¤­¤¥I¤%®¤%¯°©†¯°£{©µ‚¦ µ ¤@¥7¦u§%³)»    2 0202 A 2=1 0 902A ;1C 0 )@ >   . "90 @BA 1<  0 #  ;1 0 A $ 1 < %9&)("* +,! ! 0202 A 2=1 0 902A ;1 C  0=1 A 0 3  . "90 @BA 1<  0 #  ;1 0 A $ 1 < %9: ; + #   ;1 0 A $ 1 < 8%,> "9)0 .B> 102A ;1C/8% : ; 03  ! . "90 @BA .B> + #  ;1 0 A $ 1 < 8%,> =) C B@9;  % &)("* +,)/ C 20  ! . "90 @BA .B> + #  ;1 0 A $ 1 < 8% ! > = 1<  0 .B0 @93 @  0=1 A % >>



 ` ` ` `

íÃîiï{ð)ñ@ò7Q0ô^D0ö  üî ?EBüò*úœöˆ÷ñ1 #ûø Z îoýü÷ñ@îoù

S T

IYWZWZX`_bO

N -]^ O

IYWZW R

_

R

IYWZW R a ] IYWZWZW a ] I

M

I

M

I

N

VZSZX&Idc

W IYX IZI IYM IYN I7O I R IYS IYT IYV IYW MZX MZM

)ðZòñ@îiò&ý

IYWZWZX`_

]

V

M&I



Za ]

I -]^ I

M -]^ I

P

R





> + #  ;10 A$ 1< 0  6 =2;10 9< .B;1C > F > + #  ;1 0 A $ 1 < 0  6 6 F > + #  ;1 0 A $ 1 < 0  6 6 F >  0  0 .B> = C 9@9;  %,> + 0  ;10 A $ 1  0  0 .B> = C 9@9;  %,> + 0  ;10 A $ 1 = .2 + #  Y: )  @BA  ; @9!8  @9=17 0 .. $ 1 £*«7¦uªQ¦¥7¦u²2©w¥Mº&£{©¯V¦u³¥7±©’§®*¨ Äp©µ¥VªQ§­&©¬O¾{¤%³­¥7±¶¯Ÿ¥7±©w©‚É¥7©³*¯°¦§%³¥7§Q¥7±©ÚVÌwÎvÛܪQ§­*©‚¬)¦u³ ¼)«7¦u£{§­,µ ¤@³®{©†¯°©‚©³¤@¯Ã¤%³¤@¬u§Å§%¶¯Ã¥7§’¥7±*©V©‚É¥7©³*¯°¦§%³§@´‹§®Äp©µ¥°¨ «7©¬¤@¥7¦u§³¤%¬£&«7§­*¶*µ‚¥7¯ŸÀæu¥7±v¯°£¤@¥7¦¤%¬ZÌ>¤@¥I¤QÍ5¬¤%­*©¯·§%+ « "}¤@«°¥°«7¦­*Å%©¯» 僯w ¤ ¥7§ ß  á ±¤ ²2©>®{©‚©³¥7§Æ¤­*­&«7©¯°¯ £*«7§%Å%«I¤%ªQªQ¦u³*Å,¤@³­ÂØ9¶©‚«°º&¦u³Ÿ§%´1¥7±©’¥7©‚ªQ£{§%«I¤%¬BÚVÌ>ÎvÛÞ©‚É¥7©³*¨ ¯°¦u§³)»Ÿåƒ³§@¥7±©‚«Ãµ‚¬§%¯°©¬º«7©¬¤@¥7©­£*«7§£{§%¯7¤%¬¦u¯Ã¥7±¤¥ƒ§@´1¼Ã Ú  ß  á » ¼)«7¦u£{§­¹±¤%¯’¥I¤%Á2©³y¤¯°¦uªQ¦u¬–¤«Q¤@££*«7§¤%µI±Ê¥7§Â¼Ã Ú æ¦u³¹¥7±©,¤­&¨ ­*¦¥7¦u§³¿§@´Ÿ±¦u¯p¥7§@«7¦©‚¯’¦u³9¥7§,¥7±*©ÆÚVÌwÎvÛ §®Äp©µ¥’ªQ§­&©¬O¾‹¤@¬u¥7±*§¶*ű ¥7±©¼)«7¦u£{§­¥7©ªQ£{§%«I¤@¬Z¥Mº&£{©¯ƒ¤@«7©w«7¦uµ±*©‚«V¥7±¤%³¥7±*§¯°©¦³Â¼Ã Ú ˆ¾ ¤%³­!¤VÀæ­*©‚«1«I¤%³Å%©Ã§%´0Ø9¶©‚«°º ¤%³­ ªÆ¤%³*¦u£¶¬¤¥7¦§%³Q§£{©‚«I¤¥7¦u§³¯5¤@«7© ¯°¶£*£{§%«°¥7© ­Æ´o§%«·±*¦¯p¥7§@«7¦u©¯»

q

PM

J

t v

8. CONCLUSIONS ¼}±¦u¯0£¤%£{©«Z±¤%¯Z£&«7§²&¦­&© ­†¤%³>§²2©«7²&¦u©‚À½§%´¥7±©ˆ¼0«7¦£{§­>£&«7§@ÄM©µ‚¥ ¾ Àñ¦uµI±Â¦u¯>­&©²2©¬u§%£¦u³Å,¤Q¯°£¤@¥7¦u§@¨d¥7©‚ªQ£{§%«I¤%¬‹§%®&ÄM©µ‚¥w­*¤@¥I¤@®¤%¯°© ¯pº*¯p¨ ¥7©ª»“Ó>©‚ºy´o© ¤¥7¶*«7©¯Æ§%´>¼)«7¦u£{§­¤@«7©%ÔyÕO¦iÖQΧ­&©¬u¦u³Å*¾·Ø9¶*©‚«°º&¦³*Å ¤%³­¸£&«7§Å%«I¤@ªQªQ¦u³Åw´O¤%µ‚¦¬u¦¥7¦u©¯ƒ¤@«7©V©É&¥7©‚³¯°¦u§³*¯Ÿ§%´Z¥7±*§¯°©†£&«7§²&¦­&© ­

®9ºœ¥7±©ÚVÌwÎvÛ ¯p¥I¤%³­¤«I­0»y¼}±*©©‚É¥7©³*¯°¦§%³¯ ¥7§¥7±©¸¯p¥I¤%³­¤«I­ ¦u³Â¼)«7¦u£{§­¤@«7©’§%«°¥7±§%ŧ%³¤%¬O¾0¦u³v¥7±¤@¥ƒ¥7±©w¯°£¤¥7¦¤%¬B¤%³­±¦u¯p¥7§%«7¦uµ ¤@¬ ´o¤%µ¦u¬u¦¥7¦u©¯Ÿµ ¤%³Æ®{©·¶¯°© ­ ¥7§%Å©‚¥7±*©‚«Ÿ§@«}¯°©£¤@«I¤@¥7©‚¬uº9»ÃÕO¦u¦–Ö1¼}±*©ƒ¯°£¤@¥7¦¤%¬ ¤@³­¥7©ªQ£{§%«I¤@¬B¥ã &ã ! ã%ã &» Mè1èBè ë «7©¯°¯¾  ã» ß [á ¼V»{ۃ«7 ¦ I ¥7±¯¾å»â©‚«7³¤@³­&©¯Y¾ )’» ë ¤@¥7§³0¾Ó!»Î¤%¯°§%³)¾ ̓» $ƒ¶¤%³*Å*¾¤@³­¸Îœ»Ç¿§@«7®{§º&¯»¼0«7¦£{§­#ÔBå "5§ªQ£*«7©‚±©³*¯°¦²© Χ­&©¬)´i§%«†¢&£¤¥7¦¤%¬)¤%³­,僯°£¤@¥7¦¤%¬ $V¦u¯p¥7§%«7¦uµ ¤@¬‹ÚV®Äp©µ‚¥7¯» M³  & ! ) »¢&£&«7¦³*Å©‚«°+¨ *B©‚«7¬¤%Å&¾  &ã%» ß á ے» Z¤%³*Å%«I¤@³), »   G /Z  &73  XQW N  X U # ZV   G X    Z  P # G  »#¼Z¤ º&¬u§%«ƒ¤@³­â&«I¤%³µ‚¦¯¾)ã » ß @á "ƒ» ë ¤@«7©³9¥ ¾¢#»¢&£¤%µµ ¤@£¦u©‚¥°«I¤¾{¤%³­èŸ.» -{¦uªÆ¤%³9º&¦Š» ¢£¤@¥7¦u§@¨M¼)©ªQ£{§%«I¤@¬ "5§%³µ©£&¥7¶¤@¬Î§­&©¬u¯Ô5Ì>¤¥I¤Q¢¥°«7¶*µ‚¥7¶*«7©‚¯ $Ù¢&£¤%µ© $Ù¼}¦uªQ©» M³  - !  /,#0*¾£¤%Å%©¯   ! àà ¾ ã » ß ã á Ì » ë ©¶Ø¶*©‚¥·¤%³­ ˆ» V¦¤%³0»å·³ ¤¥I¤%®¤@¯°© ̆©‚¯°¦Å%³´o§@«V¼}©‚ªQ£{§%«I¤%¬ZÛ °¢{»   N1+VÿV¾*£¤%Å%©¯ 9ã ! à ã%Û »{¼¶*2 ¥7¤¦uº&³¬uÅƧ%«ƒ¤@¤%³³­­Îâ*¤@«I«7¤@Á³¶µ¯ƒ¦u¯¢&¾)µIã ±³*©[ ¦» ­*©‚« »*ç·© ¤%¬uª!¨¤¥I¤!¼Bº&£{©¯ÔB¼}±*©>ç·Ú>¢*èÊ僬uÅ©®&«I¤&»54.6+7 8  QZLX U ¾ Õ %ÖÔ   à !   ¾ˆã  » ß (ã  á çw» $’»3 Û ¶*2 ¥7¦u³ÅQ©¥·¤%¬O»{åÏ⧶*³­¤¥7¦u§³,´i§%«ƒçƒ©‚£*«7©¯°©³9¥7¦u³Å ¤%³­ V¶*©‚«°º&¦³*ÅÆΧ²¦³*ÅÆÚV®Äp©µ‚¥7¯»  &  X Z9X    Z  Z + X  X" X   P # G  ¾   ÕpãÖÔuã .9¾‹ã & » !

Jq

q q

v

xJ

v

JJ q

PM PM

v

,MM

v

J

NM

,MMM

xMxMM

,MM

q

JJ q

v

JJJ

v

xw

xq JxJ

xJ vJ

JJ v

PMxMM

v