Special Issue Temporal Databases

8/8/2019 Special Issue Temporal Databases

1/68

D E C E M B E R 1 9 8 8 V O L . 1 1 N O . 4

a q u a r t e r l y b u l l e t i n o f t h eI E E E C o m p u t e r S o c i e t yt e c h n i c a l c o m m i t t e e o n

D a t ar i

C O N T E N T SL e t t e r f r o m t h e C h i e f E d i t o r 1

W . K i mL e t t e r f r o m t h e I s s u e E d i t o r 2

A . S n o d g r a s sH i s t o r i e s a n d V e r s i o n s f o r M u l t i m e d i a C o m p l e x O b j e c t s 3M . A d / b aO b j e c t s i n T i m e 1 1

J . C l i f f o r d , an d A . C r o c k e rT h e R o l e o f T e m p o r a l E l e m e n t s i n T e m p o r a l D a t a b a s e s 1 9S . G a d / aR e q u i r e m e n t s S p e c i f i c a t i o n f o r a T e m p o r a l E x t e n s i o n t o t h e R e l a t i o n a l M o d e l 26

N . L o r e n t z o s , an d R . J o h n s o nT e m p o r a l A s p e c t s o f V e r s i o n M a n a g e m e n t 34

S . N a v e t h e , an d R . A h m e dF u n c t i o n a l i t y o f T e m p o r a l D a t a M o d e l s an d P h y s i c a l D e s i g n I m p l i c a t i o n s 38

A . S e g e v , an d A . S h o s h a n iN o n F i r s t N o r m a l F o r m T e m p o r a l R e l a t i o n a l M o d e l 46

A . T e n s e !A B i b l i o g r a p h y o n T e r n p o r a l D a t a b a s e s 5 3

A . S t e m , an d R . S n o d g r a s sC a l l f o r P a p e r s 6 2

S P E C I A L I S S U E O N T E M P O R A L D A T A B A S E S

+ - T h E P I S T f l I J T E ~ E L E C T R ~ A LE I X C T ~ S E ~ ~ U ~ E E R S , P C .I E E E

I E E E C o m p u t e r S o c i e t y


2/68

E d i t o r - i n - C h i e f , D at a E n g i n e e r i n gD r . W o n K i mM C C3 5 0 0 W e s t B a l c o n e s C e n t e r D r i v eA u s t i n , T X 7 8 7 5 9( 5 1 2 ) 3 3 8 3 43 9

A s s o c i a t e E d i t o r sP r o f . D m a B i t t o n tD e p t . o f E l e c t r i c a l E n g i n e e r i n gan d C o m p u t e r S c i e n c eU n i v e r s i t y o f I l l i n o i sC h i c a g o , I L 6 0 6 8 0( 3 1 2 ) 4 1 3 2 2 9 6

P r o f . M i c h a e l C a r e yC o m p u t e r S c i e n c e s D e p a r t m e n tU n i v e r s i t y o f W i s c o n s i nM a d i s o n , W I 5 3 7 0 6( 6 0 8 ) 2 6 2 2 2 5 2

P r o f . R o g e r K i n gD e p a r t m e n t o f C o m p u t e r S c i e n c ec a m p u s b o x 43 0U n i v e r s i t y o f C o l o r a d oB o u l d e r , C O 8 0 3 0 9( 3 0 3 ) 4 9 2 7 3 9 8P r o f . Z . M e r a i O z s o y o g l uD e p a r t m e n t o f C o m p u t e r E n g i n e e r i n g an d S c i e n c eC a s e W e s t e r n R e s e r v e U n i v e r s i t yC l e v e l a n d , O h I o 4 4 1 0 6( 2 1 6 ) 3 6 8 2 8 1 8

D r . S u n i l S a r i nX e r o x A d v a n c e d I n f o r m a t i o n T e c h n o l o g y4 C a m b r I d g e C e n t e rC a m b r i d g e , M A 0 2 1 4 2( 6 1 7 ) 4 9 2 8 8 6 0

C h a i r p e r s o n , T CP r o f . L a r r y K e r s c h b e r gD e p t . o f i n f o r m a t i o n S y s t e m s an d S y s t e m s E n g i n e e r i n gG e o r g e M a s o n U n i v e r s i t y4 4 0 0 U n i v e r s i t y D r i v eF a i r f a x , V A 2 2 0 3 0( 7 0 3 ) 3 2 3 43 5 4

V i c e C h a i r p e r s o n , T CP r o f . S t e f a n o C e r iP o l i t e c n l c o d l M i l a n oD i p a r t i m e n t o d i E i e t t r o n l c a

V i a P o n z i o , 34/ 52 0 1 33 M i l a n o , I t a l y

P a s t C h a i r p e r s o n , T CP r o f . S u s h i l J a j o d i aD e p t . o f I n f o r m a t i o n S y s t e m s an d S y s t e m s E n g I n e e r i n gG e o r g e M a s o n U n i v e r s i t y4 4 0 0 U n i v e r s i t y D r i v eF a i r f a x , V A 2 2 0 3 0( 7 0 3 ) 7 6 4 6 1 9 2

D i s t r i b u t i o nM r . D a v i d B a r b e rI E E E C o m p u t e r S o c i e t y1 7 3 0 M a s s a c h u s e t t s A v e .

W a s h i n g t o n , D . C . 2 0 0 3 6 1 9 0 3( 2 0 2 ) 3 7 1 1 0 1 2

T h e L O T U S C o r p o r a t i o n h a s m a d e a g e n e r o u s d o n a t i o n t o p a r t i a l l y o f f s e t t h e c o s t o fp r i n t i n g a n d d i s t r i b u t i n g f o u r i s s u e s o f t h e D a t a E n g i n e e r i n g b u l l e t i n .

D a t a b a s e E n g i n e e r i n g B u l l e t i n i s a q u a r t e r l y p u b l i c a t i o n o ft h e I E E E C o m p u t e r S o c i e t y T e c h n i c a l C o m m i t t e e o n D a t a b a s eE n g i n e e r i n g . I t s s c o p e o f i n t e r e s t i n c l u d e s : d a t a s t r u c t u r e san d m o d e l s , a c c e s s s t r a t e g i e s , a c c e s s c o n t r o l t e c h n i q u e s ,d a t a b a s e a r c h i t e c t u r e , d at ab as e m a c h i n e s , I n t e l l i g e n t f r o n te n d s , m a s s s t o r a g e f o r v e r y l a r g e d a t a b a s e s , d i s t r i b u t e dd a t a b a s e s y s t e m s an d t e c h n i q u e s , d at ab as e s o f t w a r e d e s i g nan d I m p l e m e n t a t i o n , d at ab as e u t i l i t i e s , d a t a b a s e s e c u r i t ya n d r e l a t e d a r e a s .

C o n t r i b u t i o n t o t h e B u l l e t i n i s h e r e b y s o l i c i t e d . N e w s i t e m s ,l e t t e r s , t e c h n i c a l p a p e r s , b o o k r e v i e w s , m e e t i n g p r e v i e w s ,s u m m a r i e s , c as e s t u d i e s , e t c . , s h o u l d b e s e n t t o t h e E d i t o r .A l l l e t t e r s t o t h e E d i t o r w i l l b e c o n s i d e r e d f o r p u b l i c a t i o nu n l e s s a c c o m p a n i e d b y a r e q u e s t t o t h e c o n t r a r y . T e c h n i c a lp a p e r s ar e u n r e f e r e e d .

O p i n i o n s e x p r e s s e d I n c o n t r i b u t i o n s ar e t h o s e o f t h e I n d iv i d u a l a u t h o r r a t h e r t h a n t h e o f f i c i a l p o s i t i o n o f t h e T C o nD a t a b a s e E n g i n e e r i n g , t h e I E E E C o m p u t e r S o c i e t y , o r o r g an i z a t i o n s w i t h w h i c h t h e a u t h o r m ay b e a f f i l i a t e d .

M e m b e r s h i p i n t h e D at ab as e E n g i n e e r i n g T e c h n i c a l C o mm i t t e e I s o p e n t o i n d i v i d u a l s w h o d e m o n s t r a t e w i l l i n g n e s s t oa c t i v e l y p a r t i c i p a t e I n t h e v a r i o u s a c t i v i t i e s o f t h e T C . Am e m b e r o f t h e I E E E C o m p u t e r S o c i e t y m a y J o I n t h e T C a s af u l l m e m b e r . A n o n m e m b e r o f t h e C o m p u t e r S o c i e t y m a yJ o i n as a p a r t i c i p a t i n g m e m b e r , w i t h a p p r o v a l f r o m a t l e a s to n e o f f i c e r o f t h e T C . B o t h f u l l m e m b e r s an d p a r t i c i p a t i n gm e m b e r s o f t h e T C ar e e n t i t l e d t o r e c e i v e t h e q u a r t e r l yb u i l e t i n o f t h e T C f r e e o f c h a r g e , u n t i l f u r t h e r n o t i c e .


3/68

L e t t e r f r o m t h e E d i t o r i n C h i e fT h i s i s s u e , g u e s t e d i t e d b y R i c k S n o d g r a s s , c l o s e s o u t 1 9 8 8 f o r u s . L a r r y K e r s c h b e r g h a sc o m e a b o a r d as t h e n e w c h a i r o f o u r T C , a n d h a s a p p o i n t e d S t e f a n o C e r i as v i c e c h a i r .L a r r y i s a l s o p u s h i n g t h e i d e a o f m e m b e r s h i p d u e s f o r o u r T O , a s a m e a n s o f f u n d i n g o u ra c t i v i t i e s a n d o f s o l v i n g t h e p r o b l e m o f e r r a t i c d i s t r i b u t i o n o f o u r b u l l e t i n . H e w i l l r e p o r t o nt h e p r o g r e s s o f t h i s e f f o r t a f t e r t h e I E E E T A B m e e t i n g .O u r 1 9 8 9 p u b l i c a t i o n p l a n s ar e a s f o l l o w s . S u s h i l J a j o d i a a n d I w i l l e d i t an i s s u e o n D a t ab a s e s f o r P a r a l l e l a n d D i s t r i b u t e d S y s t e m s f o r M a r c h . T h e i s s u e w i l l c o n s i s t l a r g e l y o fs e l e c t e d p a p e r s f r o m t h e I n t e r n a t i o n a l S y m p o s i u m o n D a t a b a s e s f o r P a r a l l e l a n d D i s t r i bu t e d S y s t e m s t o b e h e l d i n A u s t i n o n D e c e m b e r 5 7 , t h i s y e a r . T h e J u n e i s s u e w i l l b eg u e s t e d i t e d b y A m i M o t r o o f U S C ; i t w i l l b e o n f u z z y q u e r i e s a n d i n c o m p l e t e d a t a b a s e s .M i c h a e l C a r e y w i l l p u t t o g e t h e r t h e S e p t e m b e r i s s u e , i n c o o p e r a t i o n w i t h t h e o r g a n i z e r s o ft h e p o s t S I G M O D 8 9 W o r k s h o p o n P e r s i s t e n t P r o g r a m m i n g L a n g u a g e s t o b e h e l d i n O r eg o n . T h e i s s u e w i l l c o n s i s t o f s e l e c t e d p a p e r s f r o m t h e w o r k s h o p . R o g e r K i n g w i l l c l o s eo u t 1 9 8 9 w i t h a n i s s u e o n g r a p h i c a l i n t e r f a c e s t o d a t a b a s e s y s t e m s f o r D e c e m b e r .

D u r i n g t h e p a s t s e v e r a l y e a r s , w e h a v e e x p e r i e n c e d p r o b l e m s w i t h t h e d i s t r i b u t i o n o f o u rb u l l e t i n t o m e m b e r s o f o u r T O : S o m e r e c e i v e d n o t h i n g ; w h i l e s o m e r e c e i v e d o n l y s o m e o ft h e i s s u e s . D a v i d B a r b e r o f t h e C o m p u t e r S o c i e t y h a s a g r e e d t o h a n d l e a l l e n q u i r e sc o n c e r n i n g d i s t r i b u t i o n o f t h e b u l l e t i n : p l e a s e d i r e c t a n y c o m p l a i n t s a b o u t d i s t r i b u t i o n o rr e q u e s t s f o r b a c k i s s u e s t o h i m . I n m y i n t e r a c t i o n s w i t h h i m , I h a v e f o u n d h i m v e r y r e l ia b l e .

W o n K i mA u s t i n . T e x a sN o v e m b e r , 1 9 8 8

1


4/68

L e t t e r f r o m t h e E d i t o rT h i s s p e c i a l i s s u e c o n c e r n s d a t a b a s e s t h a t c a p t u r e t h e e v o l u t i o n o v e r t i m e o f t h e

e n t e r p r i s e b e i n g m o d e l l e d . I n a v e r y r e a l s e n s e , t h e f i r s t d a t a b a s e s , t h o s e h i e r o g l y p h i c sd e s c r i b i n g t h e p h a r o a l i s i n v e n t o r y o f g r a i n s c r a w l e d w i t h g r e a t e f f o r t o n p y r a m i d w a i l s ,a l r e a d y i n t e g r a t e d t i m e . I n c u r r e n t t e r m i n o l o g y , t h e s e w e r e t u p l e - t i m e s t a m p e d , r o l l b a c kd a t a b a s e s ( a c o m m o n p h r a s e d e s c r i b i n g t h e t r a n s a c t i o n t i m e o f r o l l b a c k d a t a b a s e s , t h ep a s t i n f o r m a t i o n i s u n a l t e r a b l e , as i f w r i t t e n i n s t o n e , c e r t a i n l y a p p l i e s h e r e ) . T h e f i r s th i s t o r i c a l d a t a b a s e , H o m e r s O d y s s e y , w a s i n f i n i t e l y m o r e m a l l e a b l e , c h a n g i n g i n s u b t l ew a y s w i t h e a c h r e t e l l i n g . W h i l e t h e t h r e e - d i m e n s i o n a l v i e w o f a n h i s t o r i c a l r e l a t i o n w a si n t r o d u c e d s o m e w h a t m o r e r e c e n t l y ( b y F r e d B r o o k s i n h i s H a r v a r d d o c t o r a l d i s s e r t a t i o n ,1 9 5 6 ) , t e m p o r a l d a t a b a s e s w e r e n o t s t u d i e d u n t i l t h e e a r l y 1 9 7 0 s , w h e n W i e d e r h o l d a n d

o t h e r s i n c l u d e d t i m e s u p p o r t i n t h e i r m e d i c a l i n f o r m a t i o n s y s t e m s . B y t h e e n d o f t h a td e c a d e , b o t h t h e r e s e a r c h a n d b u s i n e s s c o m m u n i t i e s w e r e b e c o m i n g c o m f o r t a b l e w i t hd a t a b a s e t h e o r y a n d p r a c t i c e , r e s p e c t i v e l y ( ! ) , a n d a p l e t h o r a o f e x t e n s i o n s s o o n e m e r g e d :e n g i n e e r i n g D B s ( C A D / C A M / C A S E / C A E ) , g e o g r a p h i c D B s , i m a g e D B s , k n o w l e d g eD B s , o b j e c t - o r i e n t e d D B s , r a d i o l o g y a n d h o s p i t a l D B s , s p a t i a l D B s , s t a t i s t i c a l D B s ,a n d , as p o p u l a r i z e d i n t h e s c i e n t i f i c p r e s s b y t h e s i g n i f i c a n t C l i f f o r d a n d W a r r e n 1 9 8 3T O D S p a p e r , h i s t o r i c a l D B s ( t o b e f a i r , o t h e r , e a r l i e r a r t i c l e s s e t t h e s t a g e f o r t h ee n s u i n g s u r g e o f i n t e r e s t i n t i m e i n d a t a b a s e s ) . M i n d f u l o f t h e p r e c e d e n t s e t b y t h ed e f i n i t i o n , f o r m a l i z a t i o n , t h e n i m p l e m e n t a t i o n o f t h e r e l a t i o n a l m o d e l i n t h e e a r l y 7 0 s ,a n d c o g n i z a n t o f t h e d a u n t i n g p h i l o s o p h i c a l , l i n g u i s t i c , a n d e v e n p h y s i c a l d i f f i c u l t i e s w i t hd e f i n i n g t i m e , r e s e a r c h e r s f o c u s s e d o n f o r m a l i z i n g , as c a r e f u l l y as p o s s i b l e , e x t e n s i o n s o rr e p l a c e m e n t s f o r t h e r e l a t i o n a l m o d e l , a l g e b r a , a n d c a l c u l u s .

H e a l t h y c o n t r o v e r s y d e v e l o p e d a l m o s t i m m e d i a t e l y . S h o u l d t h e m o d e l i n c o r p o r a t eo b j e c t s ? T h e s t a n d a r d r e l a t i o n a l m o d e l d o e s n o t , b u t a n a r g u m e n t c a n b e m ad e t h a to b j e c t i d e n t i t y i s c r u c i a l w h e n t i m e i s m o d e l l e d . S h o u l d t h e a l g e b r a b e e n t i r e l y s y nt a c t i c , o r s h o u l d i t r e q u i r e v a r i o u s i n t e g r i t y a n d n o r m a l f o r m c o n s t r a i n t s , a n d h e n c e b ec o n s i d e r e d s e m a n t i c ? W h at a s p e c t ( s ) o f t i m e s h o u l d b e m o d e l l e d ? l l s o o A h n a n d Ih a v e a r g u e d t h a t b o t h v a l i d a n d t r a n s a c t i o n t i m e s h o u l d b e s u p p o r t e d b y a n y d a t a b a s ec a l l i n g i t s e l f t e m p o r a l . S h o u l d f i r s t n o r m a l f o r m b e c o n s i d e r e d a p r e r e q u i s i t e , a s i n t h es t a n d a r d m o d e l , o r a r e n o n - f i r s t - n o r m a l - f o r m p r o p o s e s s u p e r i o r ? B o t h a p p r o a c h e s a r ee v i d e n t i n t h e p a p e r s i n t h i s s p e c i a l i s s u e . S h o u l d t u p l e s o r a t t r i b u t e s b e t i m e - s t a m p e d ?T h e s e d i f f i c u l t , f u n d a m e n t a l q u e s t i o n s a r e d e b a t e d i n t h e l i t e r a t u r e , i n t h e h a l l w a y s a tc o n f e r e n c e s , a n d e v e n i n r e f e r e e r e p o r t s . A t t e m p t s t o a d d r e s s t h e s e q u e s t i o n s h a v e r es u l t e d i n , a t l a s t c o u n t , 1 1 a l g e b r a s , 8 c a l c u l u s - b a s e d q u e r y l a n g u a g e s , a n d m a n y d a t am o d e l s .

O v e r t h e l a s t s e v e r a l y e a r s , t h e f o c u s h a s s t a r t e d s h i f t i n g t o w a r d s i m p l e m e n t a t i o n ,w i t h s e v e r a l p r o t o t y p e D B M S s i n p l a c e , a n d m o v e m e n t , b u t n o t y e t p r o d u c t s , b y s e v e r a lc o m p u t e r c o m p a n i e s . T h i s s h i f t s i g n a l s a m a t u r i n g o f t h e d i s c i p l i n e ; t h e b i b l i o g r a p h y i nt h i s i s s u e p r o v i d e s a n o t h e r d a t a p o i n t .

T h e s e v e n a r t i c l e s g a t h e r e d i n t h i s s p e c i a l i s s u e r e p r e s e n t t h e c u r r e n t t h i n k i n g o fs o m e o f t h e m o s t a c t i v e p a r t i c i p a n t s i n t h e ar e a . M a n y o f t h e s e p a p e r s r e f l e c t i d e a s i ne v o l u t i o n . C o n s u l t t h e c o n f e r e n c e p r o c e e d i n g s i n 1 9 8 9 a n d t h e j o u r n a l s i n 1 9 9 0 ( a n d1 9 9 1 a n d . . . ) t o s e e t h e a p p r o a c h e s a n d c o n c e p t s t h e s e p a p e r s e n g e n d e r . I e x p e c t t h a t

t h e d e b a t e w i l l r e m a i n l i v e l y f o r q u i t e s o m e t i m e , - w i t h c o n t r o v e r s y y i e l d i n g t o c o n s e n s u s ,a n d t h e n r e p l a c e d b y n a s c e n t c o n t r o v e r s y c o n c e r n i n g d i f f e r e n t i s s u e s . A l l t h a t w e k n o wa b o u t c o n v e n t i o n a l d a t a b a s e s , w h i c h i s s u b s t a n t i a l , m u s t b e r e e x a m i n e d w h e n t i m e i si n t r o d u c e d . T h e l e a r n i n g c u r v e i s s t e e p e r t h i s s e c o n d g o - a r o u n d , b u t t h e r e i s s t i l l m u c ht o d o b e f o r e w e c a t c h u p .

I w o u l d l i k e t o t h a n k e a c h o f t h e a u t h o r s f o r t h e i r c o n t r i b u t i o n , a n d f o r m e e t i n g t i g h tt i m e a n d s p a c e c o n s t r a i n t s .

R i c h a r d S n o d g r a s sO c t o b e r , 1 9 8 8

2


5/68


6/68

f o u r d a y s a n d t w e l v e h o u r s c a n b e r e p r e s e n t e d b y ( 0 , 0 , 4 , 12 , 0 , 0 ) . ( 2 ) t i m e i n t e r v a l , f o ri n s t a n c e t i , t 2 ] w h e r e t i a n d t 2 ar e r e s p e c t i v e l y t h e b e g i n n i n g a n d t h e e n d o f t h e i n t e r v a l . ( 3 )p e r i o d i c e l e m e n t s t o m o d e l i z e p e r i o d i c a l a c t i v i t i e s . A l l t h e s e e x t e n s i o n s ar e a v a i l a b l e t h r o u g hs p e c i f i c c o m m an d s o f t h e d a t a d e f m i t i o n a n d m a n i p u l a t i o n l a n g u a g e c a l l e d L A M B D A V e l e z8 5 ] . T h e t i m e t y p e s c o n s i d e r e d h e r e a l l o w s t h e u s e r t o m o d e l a n d t o h a n d l e v a l i d t i m eS n o d g r a s s 8 5 ] .

I n o r d e r t o i n t r o d u c e d i f f e r e n t k i n d s o f h i s t o r i e s i n t h e T I G E R d a t a m o d e l w e c o n s i d e r ad a t a b a s e o b j e c t V w h i c h t a k e s , o v e r t i m e , s u c c e s s i v e v a l u e s . U p t o n o w , w e ar e n o t d e f i n i n gm o r e p r e c i s e l y w h a t w e m e a n b y o b j e c t . L e t u s d e n o t e b y ( v i , t i ) t h e p a i r ( v a l u e , t i m e ) f o rV : a t t i m e t i V h a s v a l u e v i . H e n c e , a s e q u e n c e ( v l , t l ) , . . . ( v i , t i ) ] f o r t i < n o w i s t h e h i s t o r yo f V a n d ( v c , n o w ) d e n o t e s t h e c u r r e n t v a l u e . W e p r o p o s e d t h r e e n o t i o n s i n o r d e r t oc h a r a c t e r i z e d i f f e r e n t k i n d s o f h i s t o r i e s :

1) P e r i o d i c i t y o f t h e t i , i . e . t h e s e q u e n c e o f t i m e s w e w a n t t o c o n s i d e r f o r t h e v iv a l u e s . N o t e t h a t t h i s p e r i o d i c i t y m ay n o t b e r e l a t e d t o a c h a n g e o f v a l u e .2 ) M o d i f i c a t i o n : w h e n v a l u e v i s c h a n g e d t o v a l u e v , t h i s m o d i f i c a t i o n m a y o r m a y n o tg i v e , i n a g i v e n h i s t o r y , a n e w v e r s i o n f o r V . I t i s t h e d a t a b a s e u s e r s r e s p o n s i b i l i t y t o d e f i n ep r e c i s e l y w h e n a c h a n g e m u s t b e i n c o r p o r a t e d i n t o t h e h i s t o r y .

3 ) P e r s i s t e n c y o f v a l u e s i n t h e d a t a b a s e . T h e o r e t i c a l l y w e c a n c o n s i d e r t h a t s u c c e s s i v ev e r s i o n s ar e s t o r e d i n an i n f i n i t e s p a c e . H o w e v e r , t h e u s e r m ay w a n t s o m e t i m e s t o k e e p o n l yt h e l a s t n v a l u e s . I n t h i s c a s e n i s t h e p e r s i s t e n c y .

A f i r s t a p p r o a c h f o r b u i l d i n g h i s t o r i e s i s t o l e t t h e u s e r d e c i d e w h e n h e / s h e w a n t s t o k e e pa n e w v e r s i o n a f t e r o n e o r s e v e r a l m o d i f i c a t i o n s t o o k p l a c e o n a g i v e n o b j e c t . I n t h i s c a s e , w es p e a k a b o u t M an u al V e r s i o n H i s t o r y ( M V H ) . A s p e c i a l D M L s t a t e m e n t : G E N E R A T EV E R S I O N c a n b e a p p l i e d t o s u c h a n o b j e c t i n o r d e r t o k e e p s e v e r a l v e r s i o n s .

S e c o n d , i f w e w a n t a n a u t o m a t i c t r e a t m e n t f o r h i s t o r i e s , w e u s e a n e a c h c l a u s e i n t h eo b j e c t s c h e m a t o d e f i n e t h e p e r i o d i c i t y a n d i n t h i s c a s e , w e s p e a k a b o u t a P e r i o d i c a lV e r s i o n H i s t o r y ( P V H ) . I n a P V H , i f a n o b j e c t i s m o d i f i e d w i t h i n t h e p e r i o d , t h i sm o d i f i c a t i o n a f f e c t s t h e c u r r e n t v e r s i o n . N e w v e r s i o n s ar e o n l y g e n e r a t e d a t t h e e n d o f e a c hp e r i o d b y p u t t i n g i n t h e h i s t o r y a c o p y o f t h e c u r r e n t v e r s i o n . T h i r d , w h e n t h e r e i s n o m a n u a ln o r e a c h c l a u s e s , t h i s m e a n s t h a t w e w a n t t o s t o r e s u c c e s s i v e v e r s i o n s a n d t h e n w e s p e a ka b o u t S u c c e s s i v e V e r s i o n H i s t o r y ( S V H ) .

T h e d a t a b a s e a d m i n i s t r a t o r i s p r o v i d e d w i t h s p e c i a l D D L c o m m a n d s i n . o r d e r t o d e c l a r e ,i n t h e s c h e m a , t h e a p p r o p r i a t e k i n d o f h i s t o r y f o r a p a r t i c u l a r o b j e c t t y p e . T h i s c a n b e d o n e a tt h e a t t r i b u t e l e v e l o r a t t h e e n t i t y o r r e l a t i o n s h i p l e v e l A d i b a 8 6 ] . I n t h i s c a s e , w e s a i d t h a t ad y n a m i c o b j e c t t y p e i s d e f i n e d b y o p p o s i t i o n t o s t a t i c o b j e c t s w h e r e o n l y t h e l a t e s t v a l u e i s k e p ti n t h e d a t a b a s e . T h e D B M S h a n d l e s h i s t o r i e s a c c o r d i n g t o t h e i r s p e c i f i c s e m a n t i c s b u t t h e t i sw h i c h ar e r e c o r d e d c o r r e s p o n d s t o p h y s i c a l t i m e , i . e . t h e t i m e w h e r e t h e m o d i f i c a t i o n t o o kp l a c e o n t h e o b j e c t .

T h e D M L p r o v i d e s a l s o s p e c i a l s t a t e m e n t s f o r h i s t o r y m a n a g e m e n t i . e . q u e r i e s . B u i 8 6 ]W e c o n s i d e r t w o d i f f e r e n t c l a s s e s o f q u e r i e s o n h i s t o r i e s c o r r e s p o n d i n g t o a b s o l u t e o r r e l a t i v et i m e s . T h e k e y - w o r d v e r s i o n i s u s e d i n o r d e r t o r e f e r t o s p e c i f i c v e r s i o n s :* A b s o / u t e t i m e ( i ) V e r s i o n o f V a t t i m e < t > ? ; ( i i ) V e r s i o n o f V i n t h e i n t e r v a l t l , t 2 ] ? ;( i i i ) V e r s i o n o f V a f t e r ( b e f o r e ) t i m e < t > ? .

* R e l a t i v e t i m e ( i ) L a s t ( c u r r e n t ) v e r s i o n o f V ? ; ( i i ) N l a s t ( f i r s t ) v e r s i o n s o f V ? ; ( i i i )A l l v e r s i o n s o f V ? .

T h e s e f u n c t i o n a l i t i e s l e a d t o s p e c i f i c s t a t e m e n t s i n t h e q u e r y l a n g u a g e A d i b a 8 6 ] o r t ot e m p o r a l q u e r y l a n g u a g e s G a d i a 8 5 , S n o d g r a s s 8 7 , N a v a t h e 8 7 ] . I n g e n e r a l , h i s t o r i e s ar e n o tu p d a t a b l e b u t s o m e t i m e s i t i s n e c e s s a r y t o m a k e c o r r e c t i o n s i n o r d e r t o r e c o r d c o n s i s t e n t d a t a .

4


7/68

F o r t h a t w e p r o v i d e d a s p e c i a l o p e r a t i o n .I I - S N A P S H O T S , A L B U M S a n d M O V I E ST h e c o n c e p t o f s n a p s h o t a l l o w s t o c a p t u r e s o m e d a t a b a s e s t a t e s b y s t o r i n g t h e r e s u l t o f aq u e r y o n s o m e s o u r c e o b j e c t s , as a n e w d a t a b a s e o b j e c t A d i b a 8 0 , A d i b a 8 1 ] . T h i s o b j e c t i sr e a d - o n l y a n d t h e r e f r e s h o p e r a t i o n p e r m i t s t o r e f l e c t o n t h e s n a p s h o t c h a n g e s m ad e o n t h e

s o u r c e o b j e c t s . I n t h e f r a m e w o r k o f g e n e r a l i z e d d a t a b a s e s , w e c o n s i d e r s n a p s h o t s as a n e wo b j e c t t y p e , a t t h e s a m e l e v e l a s e n t i t i e s a n d r e l a t i o n s h i p s . W e d e f i n e t h e s n a p s h o t o p e r a t o rw h i c h a l l o w s t o d e r i v e i n f o r m a t i o n f r o m e x i s t i n g d a t a b a s e o b j e c t s . M o r e g e n e r a l l y , l e t u sd e n o t e b y Q U E R Y ( T 1 , T 2 , . . . , T n ) a q u e r y w h e r e t h e T i , 1 n d e n o t e s d a t a b a s e o b j e c t s . T h es n a p s h o t d e f i n i t i o n m ay b e f o r m a l l y d e f i n e d a s :

t y p e < s n a p s h o t - n a m e > : s n a p s h o t ( < a t t r i b u t e - l i s t > ) A S Q U E R Y ( T 1 , T 2 , . . . , T n )W e c an c r e a t e , d e l e t e , q u e r y a s n a p s h o t , b u t a l s o r e f r e s h i t : t h i s i s t h e o n l y o p e r a t i o nw h i c h c a n m o d i f y a s n a p s h o t . W e c o n s i d e r t w o p o s s i b i l i t i e s :1/ R E F R E S H < s n a p s h o t - n a m e >2 / R E F R E S H < s n a p s h o t - n a m e > A T < t i m e - v a l u e >T h e f i r s t o n e i s an i m m e d i a t e r e f r e s h i . e . t h e D B M S r e p l a c e s t h e s n a p s h o t c o n t e n t b y t h ee v a l u a t i o n o f t h e s n a p s h o t d e f i n i t i o n q u e r y . T h e s e c o n d c o m m a n d d e p e n d s o n t h e v a l u e o f< t i m e - v a l u e > , s a y t :* t i s i n t h e p a s t , a n d w e w a n t t o s e e t h e s n a p s h o t a s o f t . F o r d o i n g t h i s , t h e D B M S

m u s t i n s u r e t h a t a l l t h e T i i n v o l v e d i n t h e q u e r y ar e h i s t o r i c a l a n d c o r r e s p o n d t o i n f o r m a t i o nk n o w n a t t i m e t . I f i t i s t h e c a s e , t h e n t h e s n a p s h o t c a n e f f e c t i v e l y b e b u i l t a n d s t o r e d .O t h e r w i s e , t h e D B M S r e j e c t s t h e o p e r a t i o n .

* t i s i n t h e f u t u r e a n d w e h a v e a d e f e r r e d r e f r e s h . A t t i m e t t h e D B M S w i l l e v a l u a t e t h ed e f i n i t i o n q u e r y a n d r e p l a c e t h e s n a p s h o t c o n t e n t .

L e t u s n o w c o n s i d e r d y n a m i c a s p e c t o f s n a p s h o t s : as f o r a n y d a t a b a s e o b j e c t , i t m i g h t b ei n t e r e s t i n g t o c o n s i d e r s u c c e s s i v e v e r s i o n s o f a g i v e n s n a p s h o t , i . e . t o m ak e s n a p s h o th i s t o r i e s . T h e r e f r e s h o p e r a t i o n i s t h e o n l y o n e w h i c h c a n a f f e c t t h e s n a p s h o t c o n t e n t . R e f r e s ha l l o w s t o r e f l e c t t h e d a t a b a s e s t a t e a t a g i v e n t i m e . B e t w e e n t w o r e f r e s h o p e r a t i o n s , t h es n a p s h o t c o n t e n t d o e s n o t c h a n g e d e s p i t e o f c h a n g e s m ad e o n t h e o t h e r d a t a b a s e o b j e c t s f r o mw h i c h t h e s n a p s h o t w a s b u i l t . M a n y a p p l i c a t i o n s r e q u i r e p e r i o d i c r e f r e s h o f s n a p s h o t s : e a c hd a y o r e a c h m o n t h ( e . g . t a k e t h e v a l u e s o f b a n k i n g a c c o u n t s e a c h m o n t h ) .

A s a c o n s e q u e n c e , w e a p p l y o u r h i s t o r y c o n c e p t t o s n a p s h o t s , d e f i n i n g d i f f e r e n t k i n d s o fd y n a m i c s n a p s h o t s ( o r D S ) . T h e s e d i f f e r e n t k i n d s w i l l d i f f e r b y t h e p e r i o d i c i t y o f r e f r e s ht i m e , t h e t y p e o f v e r s i o n ( M a n u a l , P e r i o d i c a l o r S u c c e s s i v e ) , b y t h e p e r s i s t e n c y o f v a l u e s a n df i n a l l y b y t h e a s s o c i a t e d t i m e f o r m a t . M o r e g e n e r a l l y , t h e s y n t a x f o r d y n a m i c s n a p s h o td e f i n i t i o n i s t h e f o l l o w i n g : t y p e < s n a p s h o t - n a m e > : d y n a m i c s n a p s h o t ( < a t t r i b u t e - l i s t > )< h i s t o r i c a l - s t r u c t u r e > A S Q U E R Y ( T 1 , T 2 , . . , T n )

H e r e , t y p e s T 1 , T 2 , . . , T n m ay b e s t a t i c o r h i s t o r i c a l . I n o t h e r w o r d s a D S m ay b e d e f i n e do n t h e b a s e o f o t h e r h i s t o r i e s . T h e h i s t o r i c a l s t r u c t u r e w a s e x p l a i n e d i n s e c t i o n I a n d i n A d i b a8 6 ] . B e c a u s e w e d e f i n e d t h r e e d i f f e r e n t k i n d s o f h i s t o n e s w e h a v e h e r e t o c o n s i d e r :

- M a n u a l V e r s i o n D y n a m i c S n a p s h o t ( M V D S )- P e r i o d i c a l V e r s i o n D y n a m i c S n a p s h o t ( P V D S )- S u c c e s s i v e V e r s i o n D y n a m i c S n a p s h o t ( S V D S )F o r a M V D S , a n e w v e r s i o n i s g e n e r a t e d b y t h e G E N E R A T E - V E R S I O N c o m m a n d

w h i c h m a k e s a c o p y o f t h e s n a p s h o t v a l u e a n d s t o r e s i t i n t o t h e h i s t o r y a r e a . T h e R E F R E S Hc o m m a n d c a n m o d i f y t h e s n a p s h o t c o n t e n t s b u t d o e s n o t g e n e r a t e a n e w v e r s i o n .

F o r a P V D S , t h e p e r i o d i c i t y o f r e f r e s h i s i n d i c a t e d b y t h e e a c h c l a u s e ( a y e a r , a5


8/68

m o n t h , . . . ) . I f t h e r e i s n o m a n u a l n o r e a c h c l a u s e , w e h a v e a S V D S . F o r t h i s k i n d o fh i s t o r y , r e f r e s h h a s t o b e m a d e a f t e r e a c h m o d i f i c a t i o n o n T I , T 2 , . . , T n .

T h e l a s t c l a u s e i n d i c a t e s p e r s i s t e n c y o f t h e D S . F o r h i s t o r i e s w h i c h a r e n o t s n a p s h o t s ap e r s i s t e n c y o f z e r o c o r r e s p o n d s t o a s t a t i c t y p e a n d a l l m o d i f i c a t i o n s ar e m a d e o n t h e c u r r e n tv e r s i o n w i t h o u t k e e p i n g v e r s i o n s i n t h e h i s t o r y a r e a . H o w e v e r , t h e s n a p s h o t s e m a n t i c m a yt a k e i n t o a c c o u n t t h e p e r s i s t e n c y o f z e r o f o r S V D S o r P V D S . F o r i n s t a n c e , w e m ay w a n t t h es y s t e m t o r e f r e s h a s n a p s h o t e a c h m o n t h ( t h e r e f r e s h o p e r a t i o n i s m a d e o n t h e c u r r e n t v e r s i o n ) ,i n t h i s c a s e t h e s n a p s h o t i s d y n a m i c b u t h a s a p e r s i s t e n c y o f z e r o . W e u s e t h e k e y - w o r d l a s to n l y f o r d e f i n i n g a d y n a m i c s n a p s h o t w i t h p e r s i s t e n c y o f z e r o .

R o u g h l y s p e a k i n g , a P V D S i s a c o l l e c t i o n o f s n a p s h o t s t a k e n a t d i f f e r e n t m o m e n t s . I tg i v e s a n a u t o m a t i c a l b u m o f d a t a b a s e p o r t i o n s . I n t h e s a m e w a y , a M V D S i s a m a n u a l a l b u m .A S V D S r e f l e c t s a l l t h e d a t a b a s e c h a n g e s o n t h e s o u r c e t y p e s T i , T 2 , . . , T n a n d s o i tc o r r e s p o n d s t o o n e m o v i e o n t h e d a t a b a s e . T h e f o l l o w i n g f i g u r e i l l u s t r a t e s t h e e v o l u t i o n o fc o n c e p t s : v i e w , s n a p s h o t , a l b u m a n d m o v i e s .

A n i n f o r m a t i o n M a t e r i a l i z a t i o np i e c e a t a g i v e n t i m e D y n a m i c i t y m a n u a l

a l b u m ( M Y D S )D a t a b a s e > V I E W > S N A P S H O T > D Y N A M I C > a u t o m a t i c

S N A P S H O T a l b u m ( P V D S )( D S )

m o v i e s ( S V D S )T h e e v o l u t i o n o f c o n c e p t s : v i e w , s n a p s h o t , al b u m a n d m o v i e s

T h e h i s t o r y m a n a g e m e n t m e c h a n i s m s u g g e s t e d i n A d i b a 8 6 ] r e m a i n s t h e s a m e f o rd y n a m i c s n a p s h o t . M o r e p r e c i s e l y , s t o r a g e s p a c e s f o r c u r r e n t a n d o l d v e r s i o n s ar e s e p a r a t e d .F o r e a c h d y n a m i c s n a p s h o t r e f r e s h , i n s t e a d o f d e s t r o y i n g t h e o l d v e r s i o n , w e m ak e a c o p ya n d s t o r e i t i n t o t h e h i s t o r y a r e a . Q u e r i e s o n d y n a m i c s n a p s h o t s a l l o w t o s e e s o m e d a t a b a s ep o r t i o n s as t h e y w e r e i n t h e p a s t .

R e f r e s h i n g m o v i e s ( i . e . S V D S ) c a n b e a c o s t l y o p e r a t i o n . A s t r a i g h t f o r w a r d , b u t b r u t ef o r c e m e t h o d c o n s i s t s i n r e p l a c i n g t h e o l d c o n t e n t b y t h e r e - e v a l u a t i o n o f t h e d e f i n i t i o n q u e r y .H o w e v e r , i f f e w o b j e c t s h a v e b e e n c h a n g e d i n t h e s o u r c e e l e m e n t s , t h i s m e t h o d i s n o ta d e q u a t e . I n o t h e r w o r d s , a n e f f i c i e n t r e f r e s h m e c h a n i s m f o r a s n a p s h o t S s h o u l d d e t e c tm o d i f i c a t i o n s o n s o u r c e t y p e s w h i c h d o n o t a f f e c t S . S e v e r a l m e t h o d s h a v e b e e n p r o p o s e df o r t h i s p r o b l e m A d i b a 8 7 a , K o e n i g 8 1 , L i n d s a y 8 6 ] .H I - H I S T O R I E S a n d V E R S I O N S O F O B J E C T ST h e n o t i o n o f o b j e c t i s r e l a t e d t o t h e d a t a m o d e l w e c o n s i d e r . I n t h e n - a r y r e l a t i o n a lm o d e l , t h e h i s t o r y n o t i o n c a n o n l y b e a p p l i e d t o t h e r e l a t i o n l e v e l . T h i s m e a n s t h a t o n e m u s t

b e a b l e t o ( r e ) b u i l d a l l i n s t a n c e s r i t h a t a g i v e n r e l a t i o n R h a d ac c r o s s t i m e L u m 8 4 , D a d am8 4 ] . I n t h e E - R a p p r o a c h , w e h a v e s h o w n t h a t t h e h i s t o r y n o t i o n c an b e s e e n d i f f e r e n t l y .E a c h e n t i t y i n s t a n c e h a s a n i n t e r n a l s u r r o g a t e a n d e v e n t u a l l y s e v e r a l a t t r i b u t e s . B y d e f m i n gs o m e a t t r i b u t e s as d y n a m i c t y p e s i t i s p o s s i b l e t o m a i n t a i n a h i s t o r y o f a l l t h e s u c c e s s i v ev a l u e s t a k e n b y t h e s e a t t r i b u t e s , f o r a g i v e n e n t i t y i n s t a n c e . H o w e v e r , w e d i d n o t a l l o wh i s t o r i e s o f h i s t o r i e s A d i b a 8 6 ] .

F o r m u l t i m e d i a , t r e e - s t r u c t u r e d d o c u m e n t s i t i s n o t a l w a y s n e c e s s a r y t o s t o r e a l ls u c c e s s i v e v e r s i o n s o f a c o m p l e t e d o c u m e n t b u t o n l y o f s o m e o f i t s s u b p a r t s . O u r a p p r o a c h6


9/68

a l l o w s u s t o d e f i n e d y n a m i c p o r t i o n s o f m u l t i m e d i a c o m p l e x o b j e c t s w i t h t h e i r s p e c i f i ch i s t o r i c i t y .F o r t h e d a t a b a s e a d m i n i s t r a t o r t h e c h o i c e o f w h e t h e r t o p u t t h e d y n a m i c i t y a t t h e a t t r i b u t e

o r e n t i t y l e v e l s o f w h e t h e r a t t h e l e v e l o f s u b - o b j e c t s o r a t t h e l e v e l o f s n a p s h o t s i s a d e s i g np r o b l e m w h i c h i s a p p l i c a t i o n - d e p e n d e n t . F u t u r e D B M S s , h o w e v e r , m u s t p r o v i d e t h e i r u s e r sw i t h d e f i n i t i o n a n d m a n i p u l a t i o n f a c i l i t i e s f o r o b j e c t v e r s i o n s B a n c i l h o n 8 8 , B a n e r j e e 8 7 a ,D i t t r i c h 8 5 ] .

A n o t h e r i m p o r t a n t p r o b l e m i s r e l a t e d t o d y n a m i c c h a n g e s o f t h e d a t a b a s e s c h e m a . O fc o u r s e w e c a n c o n s i d e r t h a t s c h e m a i n f o r m a t i o n c o r r e s p o n d s t o s p e c i a l k i n d s o f o b j e c t s a n dp r o v i d e h i s t o r y f o r t h e m b u t t h i s l e a d s t o n o n t r i v i a l p r o b l e m s o f o b j e c t c o m p a t i b i l i t yB a n e r j e e 8 7 b ] . W e r e t u r n t o t h i s i s s u e b e l o w .

L e t u s n o w c o n s i d e r c o m p l e x o b j e c t s as t h e y ar e d e f i n e d b y B a n c i l h o n 8 5 ] o r o t h e r sA b i t e b o u l 8 6 , A b i t e b o u l 8 7 , A d i b a 8 8 , S c h e k 8 6 , S t o n e b t a k e r 8 6 , V a l d u r i e z 8 5 ] . O b j e c t sar e r e c u r s i v e l y d e f i n e d as f o l l o w s : ( 1) E l e m e n t a r y d o m a i n s , i n t e g e r , r e a l , s t r i n g a r e a t o m i co b j e c t s ; ( 2 ) I f 0 1 , 0 2 , . . . O n ar e o b j e c t s , a n d A l , A 2 , . . . . A n ar e d i s t i n c t a t t r i b u t e n a m e s , t h e nA l : 0 1 , A 2 : 0 2 , . . . A n : O n ] i s a t u p l e o b j e c t ; a n d ( 3 ) I f 0 1 , 0 2 , . . . O n ar e o b j e c t s , t h e n ( 0 1 ,0 2 , . . . O n ) i s a s e t o b j e c t .

I n t h e s e o b j e c t s w e h a v e a d i s t i n c t i o n b e t w e e n v a l u e s a n d t y p e s . F o r i n s t a n c e i f w ec o n s i d e r d a t a b a s e = s c i e n t i s t : n a m e , a g e , p i c t u r e , e d u c a t i o n : d e g r e e , y e a r , u n i v e r s i t y ] ) ,m e m b e r : ( o r g a n i z a t i o n ) ] ) , t h i s d e f i n e s t h e t y p e o f M C O s c i e n t i s t w h i c h c o n s t i t u t e s t h ed a t a b a s e . M C O s c i e n t i s t g i v e s f o r e a c h o c c u r r e n c e n a m e , a g e , p i c t u r e , e d u c a t i o n as a s e t o fd e g r e e s a n d m e m b e r s h i p a s a s e t o f p r o f e s s i o n a l o r g a n i z a t i o n s .A p p l y i n g h i s t o r i c a l c o n c e p t s t o t h i s a p p r o a c h i s n o t s t r a i t g h f o r w a r d . F o r i n s t a n c e a n

a t o m i c o b j e c t c an n o t b e h i s t o r i c a l b e c a u s e i t i s e f f e c t i v e l y a c o n s t a n t . A n a t t r i b u t e v a l u e i n at u p l e o b j e c t c an b e u p d a t e d a n d a l s o i t i s p o s s i b l e t o c h a n g e t h e c o n t e n t o f a s e t o b j e c t , h e n c eg i v i n g d i f f e r e n t v e r s i o n s o f c o m p l e x o b j e c t s . H e r e , w e h a v e c o n s i d e r e d t h a t t y p e ( o r s c h e m a )i s i n v a r i a n t . , s o w e c a n a p p l y h i s t o r i c a l n o t i o n s t o t h e c o m p o n e n t o b j e c t s h u t a l s o t o t h e r o o to b j e c t . H o w e v e r t h e s e m a n t i c s o f l i n k i n g o b j e c t s a n d h i s t o r i e s i s n o t c l e a r a n d r e q u i r e s m o r ed e v e l o p m e n t s .

I n a n o b j e c t - o r i e n t e d a p p r o a c h , w e h a v e f i r s t t o c o n s i d e r t h a t a n o b j e c t h a s a u n i q u ei d e n t i f i e r b u t a l s o t o c o n s i d e r t y p e s a n d m e t h o d s L e c l u s e 8 7 , B a n e r j e e 8 7 a ] . H e r e a g a i n , w eh a v e t o c h a r a c t e r i z e h o w t o a p p l y h i s t o r i c a l n o t i o n s t o a l l t h e s e e l e m e n t s . A r a t h e r n a t u r a ls t a r t i n g p o i n t i s t o c o n s i d e r t h a t o n c e c r e a t e d , a n o b j e c t h a s a n i n v a r i a n t i d e n t i f i e r . V a l u e i sg o i n g t o c h a n g e a n d h e r e a g a i n w e h a v e t o d i f f e r e n t i a t e b e t w e e n i n v a r i a n t t y p e s a n d n o ni n v a r i a n t t y p e s .

I n o r d e r t o s o l v e t h e p r o b l e m , w e ar e c u r r e n t l y d e f i n i n g a m o d e l f o r v e r s i o n s a n dh i s t o r i e s i n an o b j e c t o r i e n t e d a p p r o a c h . W e c o n s i d e r t h e f o l l o w i n g b a s i c n o t i o n s :

* E a c h o b j e c t i s a 4 - t u p l e ( i d , t y p e , v a l u e , m e t h o d ) w h e r e i d d e n o t e s t h e ( i n v a r i a n t )i d e n t i f i e r o f t h e o b j e c t , t y p e c o r r e s p o n d s t o t h e s c h e m a ( s i m i l a r t o t h e c o m p l e x o b j e c t m o d e l ) ,v a l u e i s t h e v a l u e o f t h e o b j e c t a n d m e t h o d i s t h e s e t o f p r o c e d u r e s a s s o c i a t e d t o t h e o b j e c t .W e d i d n o t u s e t h e c l a s s c o n c e p t y e t i n o r d e r n o t t o i n t r o d u c e c o n f u s i o n . H o w e v e r , w ec o n s i d e r t h a t a g i v e n o b j e c t i s a n i n s t a n c e o f a c l a s s w h i c h g a t h e r s a l l t h e o b j e c t s o f a g i v e nt y p e . C l a s s e s ar e o f c o u r s e o r g a n i z e d i n a h i e r a r c h y o r a l a t t i c e .

* H i s t o r i c a l o b j e c t s ar e c h a r a c t e r i z e d b y ( i d , H ( t y p e ) , H ( v a l u e ) , H ( m e t h o d ) ) w h e r e Hm e a n s t h a t w e c o n s i d e r d i f f e r e n t s t a t e s o f t h e c o r r e s p o n d i n g e l e m e n t . W e ar e g o i n g t od i s c u s s o n l y H ( v a l u e ) a n d c o n s i d e r t h a t H ( t y p e ) = t y p e w h i c h m e an s t h a t t y p e i s i n v a r i a n ta n d t h e s a m e f o r m e t h o d ( s e e K i m 8 8 ] f o r d i s c u s s i o n a b o u t s c h e m a e v o l u t i o n ) . D i s c u s s i o n

7


10/68

o f t h e p r o b l e m i n a l l i t s g e n e r a l i t y i s d e l a y e d t o a n o t h e r p a p e r . S o , w e c o n s i d e r ( i d , H ( v a l u e ) )f o r a n o b j e c t . W e h a v e H ( v a l u e ) = H V , C V ] w h e r e H V i s t h e h i s t o r i c a l v a l u e a n d C V t h ec u r r e n t v a l u e .

* W e m a k e t h e d i s t i n c t i o n b e t w e e n l i n e a r h i s t o r i e s a n d t r e e s t r u c t u r e d h i s t o r i e s . I n l i n e a rh i s t o r i e s , w e h a v e a s e q u e n c e o f ( t i , v i ) w h e r e t h e t i s r e f e r t o a s p e c i f i c c a l e n d a r ( o r c l o c k )w h e r e v a l u e s o f t h e o b j e c t s ar e c h a r a c t e r i z e d . : a t t i , t h e o b j e c t i d e n t i f i e d b y i d h a s v a l u e v i . I nt h i s c a s e C V i s s i m p l y t h e c u r r e n t v a l u e o f t h e o b j e c t .

I n t r e e s t r u c t u r e d h i s t o r i e s w e c o n s i d e r t h a t f r o m a g i v e n o b j e c t v e r s i o n v i w e c a n d e r i v es e v e r a l a l t e r n a t i v e v e r s i o n s v i i , v 1 2 , . . . y i n . I n t h i s c a s e , H V i s a t r e e . T h e r o o t i s t h ef i r s t v e r s i o n o f t h e o b j e c t , a n d l e a v e s r e p r e s e n t t h e c u r r e n t v e r s i o n s o f t h e o b j e c t . F o r e a c h o ft h e m , t h e p a t h f r o m t h e r o o t i s a l i n e a r h i s t o r y . C V i s t h e s e t o f a l l t h e c u r r e n t v e r s i o n s i . e .t h e s e t o f l e a v e s .

O n e i m p o r t a n t p r o b l e m i s t o c o n s i d e r t h a t a n o b j e c t t o g e t h e r w i t h i t s h i s t o r y r e m a i n s a no b j e c t as a w h o l e o r c a n b e v i e w e d as a c u r r e n t v e r s i o n a n d , s e p a r a t e l y , as a h i s t o r y .R e f e r e n c e s t o o b j e c t s o r t o p a r t s o f t h e m i n c r e a s e t h e c o m p l e x i t y . H e n c e t h e i d e n t i f i e r i s a ni n s u f f i c i e n t r e f e r e n c e t o t h e o b j e c t i f w e w a n t t o r e f e r t o a s p e c i f i c v e r s i o n .

T h i s m o d e l i s v e r y g e n e r a l a n d s h o u l d b e i m p r o v e d . W e u s e i t as a s t r a r t i n g p o i n t f o rd e f i n i n g h i s t o r i e s a n d v e r s i o n s i n a p p l i c a t i o n s s u c h as C A D o r C A S E a n d w e ar e c u r r e n t l yt r y i n g t o d e v e l o p i t i n c o l l a b o r a t i o n w i t h p e o p l e o f t h e 0 2 m o d e l L e c l u s e 8 7 , B a n d i l h o n 8 8 ] .

C O N C L U S I O N SS e v e r a l r e s e a r c h i s s u e s ar e o p e n ; m o r e w o r k i s n e e d e d f o r h i s t o r i e s a n d v e r s i o n s i n t h ef r a m e w o r k o f o b j e c t - o r i e n t e d d a t a b a s e s w h i c h s e e m s t o b e a v e r y p r o m i s i n g f i e l d . H i s t o r i e sf o r o b j e c t s s h o u l d r e f e r t o t h e e v o l u t i o n o f t y p e s ( o r c l a s s e s ) , a n d m e t h o d s . A l s o c o m p l e xo b j e c t s e m a n t i c s r e l a t e d t o h i s t o r i e s a n d v e r s i o n s s h o u l d b e s t u d i e d m o r e c a r e f u l l y a n d

e x p e r i m e n t s p e r f o r m e d i n o r d e r t o b u i l t v e r s i o n s e r v e r s o r s p e c i f i c m e c h a n i s m s t o h e l p t h eu s e r d e f i n i n g a n d m a n i p u l a t i n g h i s / h e r h i s t o r i e s .

A n i m p o r t a n t p r o b l e m i s t h a t i t i s n o t s u f f i c i e n t t o r e c o r d s u c c e s s i v e o r a l t e r n a t i v ev e r s i o n s o f o b j e c t s b u t a l s o : ( 1) t o b e a b l e t o d e c i d e i f s u c h an e v o l u t i o n i s v a l i d a c c o r d i n g t os p e c i f i c r u l e s w h i c h d e f i n e o b j e c t b e h a v i o u r a n d ( 2 ) t o r e c o r d t h e a c t i o n s w h i c h t r i g g e r s u c han e v o l u t i o n , c r e a t i n g s p e c i f i c l i n k b e t w e e n d i f f e r e n t v e r s i o n s .

R E F E R E N C E S

A b i t e b o u l 8 6 ] S . A B I T E B O U L , N . B I D O I T N o n f i r s t N o r m a l f o r m r e l a t i o n s : an a l g e b r a a l l o w i n g d a t a r e s t r u c t u r i n g J o u r n a l o f C o m p u t e r a n d S y s t e m S c i e n c e , D e c e m b e r 1 9 8 6

A b i t e b o u l 8 7 ] S . A B I T E B O U L , S . G R U M B A C H B a s e s d e d o n n e s e t o b j e t s s t r u c t u r e s T e c h n i q u e e t S c i e n c e I n f o r m a t i q u e , V o l 6 , N 5 , N o v . 1 9 8 7

A d i b a 8 0 ] M . A D I B A , B . L I N D S A Y D a t a b a s e s n a p s h o t s P r o c e e d i n g s o f 6 t h V L B D M o n t r e a l , C a n a d a , O c t 1 9 8 0

A d i b a 8 1] M . A D I B A D e r i v e d r e l a t i o n : A u n i f i e d m e c h a n i s m f o r v i e w s , s n a p s h o t s a n d d i s t r i b u t e d d a t a

P r o c e e d i n g s o f 7 t h V L B D C a n n e s , F r a n c e , S e p t 1 9 8 1A d i b a 8 5 ] M . A D I B A , N . B U I Q U A N G N G O C , J . P A L A Z Z O

T i m e c o n c e p t s f o r g e n e r a l i z e d d a t a b a s e s A C M A n n u a l C o n f e r e n c e , D e n v e r C o l o r a d o , U S A , O c t 1 9 8 5

8


11/68

A d i b a 8 6 ] M . A D I B A , B t J I Q U A N G N G O C H i s t o r i c a l m u l t i m e d i a d a t a b a s e s V L D B 1 9 8 6 , K y o t o ( J a p a n )

A d i b a 8 7 a ] M . A D I B A , B U I Q U A N G N G O C D y n a m i c d a t a b a s e s n a p s h o t s , a l b u m s a n d m o v i e s

T A I S : T e m p o r a l A s p e c t s i n I n f o r m a t i o n S y s t e m s , F r a n c e , M a y 1 9 8 7A d i b a 8 7 b ] M . A D I B A , B U I Q U A N G N G O C , C . C O L L E T

A s p e c t s t e m p o r e l s , h i s t o n q u e s e t d y n a m i q u e s d e s b a s e s d e d o n n e s T e c h n i q u e e t S c i e n c e I n f o r m a t i q u e , V o l 6 , N 5 , N o v 1 9 8 7

A d i b a 8 8 ] M . A D I B A , C . C O L L E T M a n a g e m e n t o f c o m p l e x o b j e c t s a s d y n a m i c f o r m s V L D B 1 9 8 8 , L o s A n g e l e s ( U S A )

A n d e r s o n 8 1] L . A N D E R S O N T h e D a t a b a s e s e m a n t i c s o f t i m e D o c t o r a l T h e s i s , U n i v e r s i t y o f W a s h i n g t o n , J a n 1 9 81

A n d e r s o n 8 2 ] L . A N D E R S O N M o d e l l i n g T i m e a t t h e c o n c e p t u a l l e v e l P r o c e e d i n g s o f I n t e r n a t i o n a l C o n f e r e n c e o n D 1 3 , A c a d e m i c P r e s s , I s r a e l 1 9 8 2

B a n c i l h o n 8 5 ] F . B A N C I L H O N , S . K H O S H A F I A N A c a l c u l u s f o r c o m p l e x o b j e c t s M C C T e c h n i c a l R e p o r t D B - 1 1 0 - 8 5 , O c t o b r e 1 9 8 5

B a n c i l h o n 8 8 ] F . B A N C I L H O N O b j e c t - O r i e n t e d D a t a b a s e S y s t e m s R a p p o r t T e c h n i q u e A l t a I r 1 6 - 8 8 , J a n v i e r 8 8

B a n e r j e e 8 7 a 1 J . B A N E R J E E , H . T . C H O U , J . G A R Z A , W . K I M D a t a m o d e l i s s u e s f o r O b j e c t O r i e n t e d a p p l i c a t i o n s A C M T O I S , V o l 5 N u m 1 , J a n u a r y 1 9 8 7

B a n e r j e e 8 T h ] J . B A N E R J E E , W . K I M , H . J . K I M , H . F . K O R T H S e m a n t i c s a n d i m p l e m e n t a t i o n o f s c h e m a e v o l u t i o n i n O b j e c t - O r i e n t e d d a t a b a s e s A C M S I G M O D , 1 9 8 7

B o l o u r 8 2 1 A . B O L O I J R , L . A N D E R S O N , J . D E K E Y S E R ; T . W O N G T h e r o l e o f T i m e i n I n f o r m a t i o n p r o c e s s i n g : A s u r v e y A C M S I G M O D R e c o r d 1 2 . 3 A p r i l 1 9 8 2

B u i 8 6 ] N . B U I Q U A N G D y n a m i c a s p e c t s a n d t i m e m a n a g e m e n t i n g e n e r a l i z e d d a t a b a s e s y s t e m s T h e s i s P h D , I N P G , G r e n o b l e F r a n c e , N o v 1 9 8 6 ( i n f r e n c h )

C l i f f o r d 8 3 ] J . C L I F F O R D , D . S . W A R R E N F o r m a l s e m a n t i c s f o r t i m e i n d a t a b a s e A C M T O D S J u n e 1 9 8 3 V o I 8 N 2

D a d a m 8 4 ] P . D A D A M , V . L U M , H . D . W E R N E R I n t e g r a t i o n o f T i m e v e r s i o n s i n t o a R e l a t i o n a l D a t a b a s e s S y s t e m P r o c e e d i n g s o f 1 0 t h V L D B , S i n g a p o u r , A u g 1 9 8 4

D i t t r i c h 8 5 ] K . R . D I 1 T R I C H , R . A . L O R I E V e r s i o n s u p p o r t f o r e n g i n e e r i n g d a t a b a s e s y s t e m s I B M R e s e a r c h R e p o r t R J 47 6 9 J u l y 1 9 8 5( G a d i a 8 5 1 S . K . G A D I A , J . H . V A I S H N A V A Q u e r y L a n g u a g e f o r A H o m o g e n e o u s T e m p o r a l D a t a b a s e P r o c e e d i n g s o f C o n f o n P r i n c i p l e s o f D a t a b a s e S y s t e m s , A p r 1 9 8 5

K a t z 8 3 ] R . H . K A T Z , T . J . L E H M A N D a t a b a s e s u p p o r t f o r v e r s i o n s a n d a l t e r n a t i v e s R e s e a r c h R e p o r t U n i v e r s i t y o f C a l i f o r n i a B e r k e l e y , 1 9 8 3

K a t z 8 6 ] R . K A T Z , E . C H A N G , R . B H A T E J A V e r s i o n m o d e l i n g c o n c e p t s f o r C A D d a t a b a s e s . A C M S I G M O D W a s h i n g t o n D C , j u n e 1 9 8 6

K e m p e r 8 7 ] A . K E M P E R , P . C . L O C K E M A N N , M . W A L L R A T H

9


12/68

A n O b j e c t - O r i e n t e d D a t a b a s e s y s t e m f o r e n g i n e e r i n g a p p l i c a t i o n s S I G M O D 1 9 8 7

K i m 8 8 1 W . K I M , H . T . C H O U V e r s i o n s o f s c h e m a f o r o b j e c t - o r i e n t e d d a t a b a s e s V L D B C o n f e r e n c e , L o s A n g e l e s , A u g u s t 1 9 8 8

K l o p p r o g e 8 1 1 M . R . K L O P P R O G E T E R M : A n a p p r o a c h t o i n c l u d e t h e T i m e d i m e n s i o n i n t h e E n t i t y - R e l a t i o n s h i p M o d e l P r o c e e d i n g 2n d I n t e r C o n f o n E - R A p p r o a c h W a s h i n g t o n 1 9 8 1

K o e n i g 8 1] S . K O E N I G , R . P A I G E A T r a n s f o r m a t i o n a l f r a m e w o r k f o r T h e A u t o m a t i c C o n t r o l o f D e r i v e d D a t a P r o c e e d i n g s o f 7 t h V L D B , C a n n e s F r a n c e , S e p t 1 9 8 1

L i n d s a y 8 6 ] B . L I N D S A Y , L . H A A S , C . M O H A N , H . P I R A H E S H , P . W I L M S A s n a p s h o t d i f f e r e n t i a l r e f r e s h a l g o r i t h m

P r o c e e d i n g s o f A C M - S I G M O D W a s h i n g t o n D C , M a y 1 9 8 6L a c l u s e 8 7 1 C . L E C L U S E , P . R I C H A R D , F . V E L E Z

0 2 , an O b j e c t O r i e n t e d D a t a M o d e l R a p p o r t T e c h n i q u e A l t a I r 1 0 - 8 7 , S e p t e m b r e 1 9 8 7

L u m 8 4 ] V . L U M e t a l l . D e s i g n i n g D B M S s u p p o r t f o r t h e T e m p o r a l d i m e n s i o n P r o c e e d i n g s o f A C M S I G M O D C o n f e r e n c e , J u n e 1 9 8 4

M c K e n z i e 8 6 ] E . M c K E N Z I E B i b l i o g r a p h y : T e m p o r a l D a t a b a s e s A C M S I G M O D R E C O R D V o l 1 5 N 4 D e c 1 9 8 6

N a v a t h e 8 7 ] S . B . N A V A T H E , R . A H M E D T S Q L : A l a n g u a g e I n t e r f a c e f o r H i s t o r y d a t a b a s e s T e m p o r a l A s p e c t s i n I n f o r m a t i o n S y s t e m s N o r t h H o l l a n d 1 9 8 7

S c h e k 8 6 ] H . J . S C H E K , M . H S C H O L L T h e r e l a t i o n a l m o d e l w i t h r e l a t i o n - v a l u e d a t t r i b u t e s I n f o r m a t i o n S y s t e m s V o l 11, N 2 , 1 9 8 6

S h o s h a n i 8 6 ] A . S H O S H A N I , K . K A W A G O E T e m p o r a l d a t a m a n a g e m e n t V L D B K y o t o ( J a p a n ) A u g u s t 1 9 8 6S n o d g r a s s 8 5 ] R . S N O D G R A S S , I . A B N A T a x o n o m y o f T i m e i n D a t a b a s e s

P r o c e e d i n g s o f A C M S I G M O D M a y 1 9 8 5S n o d g r a s s 8 6 ] R . S N O D G R A S S

R e s e a r c h c o n c e r n i n g t i m e i n D a t a b a s e s : p r o j e c t S u m m a r i e s A C M S I G M O D R E C O R D V o l 1 5 N 4 D e c e m b e r 1 9 8 6

S n o d g r a s s 8 7 ] R . S N O D G R A S S T h e T e m p o r a l Q u e r y L a n g u a g e T Q u e l

A C M T O D S , V o l 12 , N 2 , J u n e 1 9 8 7 , p . 2 4 7 - 2 9 8S t o n e b r a k e r 8 6 ] M . S T O N E B R A K E R , L . R O W E ( E d i t o r s )

T h e P O S T G R E S p a p e r s M e m o r an d u m N o . U C B I E R L M 8 6 / 8 5 , N o v e m b e r 1 9 8 6

T s i c h r i t z i s 8 7 1 D . T S I C H R I T Z I S e d . O b j e c t s a n d T h i n g s T e c h n i c a l R e p o r t o n O b j e c t O r i e n t e d S y s t e m ,C e n t r e U n i v e r s i t a i r e d I n f o r m a t i q u e , U n i v e r s i t d e G e n v e , 1 9 8 7

V a l d u r i e z 8 5 ] P . V A L D U R I E Z , S . K H O S H A F I A N , G . C O P E L A N D I m p l e m e n t a t i o n t e c h n i q u e s f o r c o m p l e x o b j e c t s M C C R e s e a r c h R e p o r t , 1 9 8 5

V e l e z 8 5 ] F . V E L E Z L A M B D A : A n e n t i t y - r e l a t i o n s h i p b a s e d l a n g u a g e f o r t h e r e t r i e v a l o f s t r u c t a r e d d o c u m e n t s E R c o n f e r e n c e , 1 9 8 6

1 0


13/68

O b j e c t s i n T i m eJ a m e s C l i f f o r d a n d A l b e r t C r o k e r

I n f o r m a t i o n S y s t e m s A r e aG r a d u a t e S c h o o l o f B u s i n e s s A d m i n i s t r a t i o n

N e w Y o r k U n i v e r s i t yN e w Y o r k , N e w Y o r k 1 0 0 0 6

A b s t r a c t

T w o r e c e n t l i n e s o f d a t a b a s e r e s e a r c h , p r o c e e d i n g i n d e p e n d e n t l y , h a v e b e e nc o n c e r n e d w i t h p r o v i d i n g a r i c h e r , m o r e i n t u i t i v e v i e w o f i n f o r m a t i o n a t t h e u s e rl e v e l . H i s t o r i c a l d a t a b a s e r e s e a r c h h a s f o c u s e d o n w a y s t o p r o v i d e u s e r s w i t h av i e w o f i n f o r m a t i o n a n c h o r e d a n d e v o l v i n g i n t h e t e m p o r a l d i m e n s i o n . O b j e c t -o r i e n t e d d a t a b a s e r e s e a r c h f o c u s e s o n e n c a p s u l a t i n g b o t h t h e s t r u c t u r e a n d t h eb e h a v i o r o f t h e o b j e c t s t h a t u s e r s i n t e n d t o m o d e l . I n t h i s p a p e r w e e x p l o r e h o wt h e s e t w o l i n e s o f r e s e a r c h m i g h t b e b r o u g h t t o g e t h e r , p r o v i d i n g t o t h e u s e r t h er e p r e s e n t a t i o n a n d m a n a g e m e n t o f o b j e c t s i n t i m e .

1 . I n t r o d u c t i o n

V a r i o u s p r o p o s a l s h a v e b e e n m a d e f o r i n c o r p o r a t i n g a t e m p o r a l c o m p o n e n t i n t o a d a t a b a s es y s t e m B A D W 8 2 , M c K 8 6 , T A 1 8 7 ] . U s u a l l y t h e s e p r o p o s a l s h a v e b e e n d e f i n e d as e x t e n s i o n st o t h e r e l a t i o n a l d a t a m o d e l . I n t h i s p a p e r w e d i s c u s s t h e m o d e l i n g o f h i s t o r i c a l d a t a i n t h ec o n t e x t o f a n o b j e c t - o r i e n t e d d a t a m o d e l .

M o s t o b j e c t - o r i e n t e d s y s t e m s ( s e e , f o r e x a m p l e , D i t 8 6 J a n d M S O P 8 6 J ) o w e t h e i r o r i g i n st o t h e p r o g r a m m i n g l a n g u a g e S m a l i t a l k { G R 8 3 ] . O b j e c t s , t h e b a s i c d a t a c o n s t r u c t s u s e d i nt h e s e s y s t e m s , h a v e p r o v e n t o b e b o t h a p o w e r f u l a n d f l e x i b l e m o d e l i n g c o n s t r u c t . T h e p o w e ro f o b j e c t s a r i s e i n p a r t f r o m t h e i r a b i l i t y t o e n c a p s u l a t e b o t h s t r u c t u r e a n d b e h a v i o r . T h ef l e x i b i l i t y w i t h w h i c h o b j e c t s c a n b e u s e d as m o d e l i n g c o n s t r u c t s i s d u e t o t h e s e t s o f d a t at y p e s t h a t c a n b e c o m b i n e d t o d e f i n e o b j e c t s , t h e a b i l i t y t o n e s t t h e s t r u c t u r e o f o b j e c t s , a n dt h e a b i l i t y t o e n c a p s u l a t e o p e r a t i o n s o r m e t h o d s o n t h e s e o b j e c t s i n t h e m a n n e r o f a b s t r a c td a t a t y p e s . O b j e c t s a r e d e f i n e d as c o n s i s t i n g o f v a l u e s t h a t a r e t h e m s e l v e s o b j e c t s ; t h i sn e s t i n g t e r m i n a t e s w i t h a s e t o f p r i m i t i v e o b j e c t s , s u c h as i n t e g e r s , r e a l s , a n d c h a r a c t e r s ,t h a t a r e b u i l t i n t o t h e s y s t e m . T h u s a n o b j e c t t h a t i s u s e d t o r e p r e s e n t a n e m p l o y e e e n t i t yc a n i n c l u d e a c o m p o n e n t , s a y s a l a r y , w h o s e v a l u e i s a n o b j e c t r e p r e s e n t i n g t h e s a l a r y o f t h a te m p l o y e e .

O b j e c t - o r i e n t e d d a t a b a s e s , l i k e o t h e r t y p e s o f d a t a b a s e s , a r e u s e d t o m o d e l s o m e a s p e c to f t h e w o r l d . E a c h r e l e v a n t e n t i t y a n d r e l a t i o n s h i p i n t h e m o d e l e d w o r l d i s r e p r e s e n t e das a n o b j e c t i n t h e d a t a b a s e . O v e r t i m e t h e v a r i o u s e n t i t i e s a n d r e l a t i o n s h i p s m o d e l e d b y

1~ 1


14/68

t h e s y s t e m m a y c h a n g e . F o r e x a m p l e , w h e n m o d e l l i n g e m p l o y ~ e n t i t i e s , i t i s l i k e l y t h a te m p l o y e e s m a y c h a n g e d e p a r t m e n t s , a n d t h a t t h e i r s a l a r i e s c a n b e e x p e c t e d t o c h a n g e f r o mt i m e t o t i m e .

T h e t r a d i t i o n a l v i e w o f a d a t a b a s e i s t h a t i t s s t a t e r e f l e c t s t h a t o f t h e w o r l d a t s o m es p e c i f i c , r e a l o r i m a g i n a r y , i n s t a n c e o f t i m e ; t h i s i n s t a n c e b e i n g d e t e r m i n e d b y t h e l a s tu p d a t e t o t h e d a t a b a s e . W i t h e a c h u p d a t e t h e p r e v i o u s s t a t e o f t h e d a t a b a s e i s l o s t . I nc o n t r a s t t o t h i s v i e w , t h e s t a t e o f a h i s t o r i c a l d a t a b a s e m o d e l s t h e w o r l d a s i t e x i s t s a n d h a se x i s t e d o v e r s o m e s p e c i f i e d p e r i o d o f t i m e C W 8 3 J . I f t h e e q u a t i n g o f d a t a b a s e o b j e c t s w i t he n t i t i e s a n d r e l a t i o n s h i p s i s t o b e r e t a i n e d i n t h e c o n t e x t o f a n o b j e c t - o r i e n t e d d a t a b a s e ,t h e n i t i s n e c e s s a r y f o r t h e s e o b j e c t s t o m o d e l t h e e v o l u t i o n o f t h e s e r e a l w o r l d o b j e c t s o v e rt i m e .

I n t h i s p a p e r w e s h o w h o w d a t a b a s e o b j e c t s c a n b e d e f i n e d i n s u c h a w a y t h a t t h e y c a nb e v i e w e d m e a n i n g f u l l y i n t h e c o n t e x t o f a h i s t o r i c a l d a t a b a s e . W e c a l l o b j e c t s t h a t a r ed e f i n e d i n t h i s w a y h i s t o r i c a l o b j e c t s . I n a d d i t i o n t o d e f i n i n g h i s t o r i c a l o b j e c t s w e a l s oa d d r e s s v a r i o u s i s s u e s r e l a t i n g t o t h e i r u s e i n r e p r e s e n t i n g h i s t o r i c a l d a t a . W e d o n o t p r e s e n ta f o r m a l m o d e l f o r i n t e g r a t i n g a t r e a t m e n t o f t i m e w i t h a t r e a t m e n t o f d a t a as o b j e c t s ; t o d os o w o u l d b e p r e m a t u r e . R a t h e r w e d i s c u s s , f r o m a n i n t u i t i v e p o i n t o f v i e w , t h o s e t e m p o r a la s p e c t s a n d p r o p e r t i e s w h i c h w e b e l i e v e o u g h t t o b e c a p t u r e d b y a n y s y s t e m i n t e n d e d t or e p r e s e n t o u r i n t u i t i v e n o t i o n s o f o b j e c t s a n d h o w t h e y e x i s t i n t i m e .

I n t h e r e m a i n d e r o f t h i s p a p e r w e d e f i n e w h a t w e m e a n b y a h i s t o r i c a l o b j e c t , a n d d i s c u s ss e v e r a l i s s u e s r e l a t e d b o t h t o t h e s t r u c t u r e a n d t o t h e m a n i p u l a t i o n o f s u c h h i s t o r i c a l o b j e c t s .

2 . H i s t o r i c a l O b j e c t s2. 1 . I n t r o d u c t i o n

L i k e t h e e n t i t i e s a n d r e l a t i o n s h i p s t h a t t h e y m o d e l , a n o b j e c t i s c h a r a c t e r i z e d b y s o m e s e to f p r o p e r t i e s . W e s h a l l r e f e r t o t h e s e p r o p e r t i e s as a t t r i b u t e s . 1 F o r e x a m p l e , i f a n o b j e c to c o r r e s p o n d s t o s o m e e m p l o y e e , s a y K a r e n , t h e n t h e a t t r i b u t e s o f 0 : N A M E , S A L A R Y ,D E P T , a n d M G R c o r r e s p o n d t o s i m i l a r l y n a m e d p r o p e r t i e s o f t h e e n t i t y t h a t i s K a r e n .

T h e n o t i o n o f a k e y i s n o t i n h e r e n t t o o b j e c t s . I t i s p o s s i b l e f o r t w o o b j e c t s o f t h e s a m et y p e t o d e n o t e t h e s a m e v a l u e s f o r t h e i r c o r r e s p o n d i n g a t t r i b u t e s . I n l i e u o f t h e s t a n d a r dn o t i o n o f a k e y , o b j e c t s a r e d i s t i n g u i s h e d b y a n e s s e n c e . ( W e d i s c u s s o b j e c t e s s e n c e s i n t h en e x t s e c t i o n . )

U n d e r t h e t r a d i t i o n a l v i e w o f a d a t a b a s e a n a t t r i b u t e o f a n o b j e c t d e n o t e s a s i n g l e v a l u e ,t h a t i s f o r c o n s i s t e n c y a l s o v i e w e d a s a n o b j e c t . T h e a t t r i b u t e S A L A R Y i n t h e o b j e c tr e p r e s e n t i n g t h e e m p l o y e e K a r e n d e n o t e s w h a t w e w i l l a s s u m e t o b e K a r e n s c u r r e n t s a l a r y .

1 T h e e q u i v a l e n t t e r m u s e d i n S m a l l i a l k i s i n s t a n c e v a r i a b l e .

1 2


15/68

T h e o t h e r a t t r i b u t e s i n t h i s o b j e c t a r e i n t e r p r e t e d s i m i l a r l y .H o w e v e r , i n t h e c o n t e x t o f a h i s t o r i c a l d a t a b a s e , i f , f o r e x a m p l e , K a r e n h a s b e e n e m p l o y e d

a n d t h e r e f o r e r e l e v a n t t o t h e w o r l d b e i n g m o d e l e d b y t h e d a t a b a s e s i n c e J a n u a r y 1 , 1 9 8 ( 7 ,t h e n i t b e c o m e s r e a s o n a b l e t o q u e r y t h e d a t a b a s e a b o u t h e r s a l a r y o n a n y d a y d u r i n g h e re m p l o y m e n t . T h u s , u n l e s s s o m e s p e c i f i c i n s t a n c e i n t i m e i s u n d e r s t o o d o r o t h e r w i s e i n f e r r e d ,t h e d e n o t a t i o n o f K a r e n s S a l a r y c a n b e v i e w e d a s b e i n g n o t a s i n g l e v a l u e , b u t a l l o f h e rs a l a r i e s d u r i n g t h e t i m e s h e w a s e m p l o y e d , t h a t i s , h e r s a l a r y h i s t o r y .

I n o r d e r t o a c c o m m o d a t e t h i s v i e w w e d e f i n e a h i s t o r i c a l o b j e c t as a n o b j e c t w h o s ea t t r i b u t e s d e n o t e f u n c t i o n a l v a l u e s . T h e s e f u n c t i o n s , w h i c h , a g a i n f o r c o n s i s t e n c y , ar e t h e ms e l v e s o b j e c t s , d e f i n e a c o r r e s p o n d e n c e b e t w e e n o b j e c t s o f t y p e t i m e t o o b j e c t s o f t h e ap p r op r i a t e t y p e , f o r e x a m p l e o b j e c t s o f t y p e s a l a r y , d e p a r t m e n t , o r n a m e .

O f t e n a n e n t i t y o r r e l a t i o n s h i p i s r e l e v a n t t o a d a t a b a s e f o r o n l y s o m e r e s t r i c t e d p e r i o do f t i m e . T h e p e r i o d o f t i m e f o r w h i c h a h i s t o r i c a l o b j e c t m o d e l s a n e n t i t y o r r e l a t i o n s h i p i sc a l l e d t h e l i f e s p a n o f t h a t o b j e c t . T h e d o m a i n o f t h e f u n c t i o n d e n o t e d b y a n a t t r i b u t e o fa n o b j e c t i s r e s t r i c t e d t o e x a c t l y t h o s e t i m e s i n t h e l i f e s p a n o f t h a t o b j e c t . ( I f m o d i f i c a t i o n st o a d a t a b a s e s c h e m e ar e t o b e a l l o w e d t h e n i t m a y b e d e s i r a b l e t o c h a n g e f o r i n s t a n c e , t oe x t e n d t h e d e f i n i t i o n o f a n o b j e c t l i f e s p a n . H o w e v e r , t h i s t o p i c i s b e y o n d t h e s c o p e o f t h i sp a p e r . C C 8 7 ] p r e s e n t s a n e x t e n d e d r e l a t i o n a l m o d e l w i t h t u p l e a n d s c h e m a l i f e s p a n s . )

2 . 2 . O b j e c t I d e n t i t yA m a j o r i s s u e w h e n d e a l i n g w i t h o b j e c t s i s t h e i s s u e o f o b j e c t i d e n t i t y h o w ar e w e t od i s t i n g u i s h d i f f e r e n t o b j e c t s . i n d e e d t h i s i s s u e i s n o t a n e w o n e . I n e a r l i e r d a t a m o d e l s t h en o t i o n o f a k e y w a s u s e d t o s o d i s t i n g u i s h d i f f e r e n t r e c o r d s o r t u p l e s . I n l o g i c t h e i s s u e o f t h e e s s e n c e o f s o m e t h i n g a d d r e s s e s t h e s a m e i d e a w h a t p r o p e r t y o f a n o b j e c t i s e s s e n t i a l t o i t sb e i n g i t s e l f , s o t h a t a n y t h i n g w i t h t h a t p r o p e r t y m u s t b e t h a t t h i n g , a n d a n y t h i n g w i t h o u tt h a t p r o p e r t y c a n n o t b e t h a t t h i n g . ( T h e i s s u e s o f o b j e c t i d e n t i t y , e x i s t e n c e , c r o s s - w o r l di d e n t i f i c a t i o n , a n d o b j e c t c o u n t e r p a r t s h a v e a l o n g h i s t o r y i n t h e p h i l o s o p h i c a l l i t e r a t u r e ,e . g . L e w 6 8 , M o n 7 4 b , K r i 8 O ] . )

C h e n a n d W a r r e n C W 8 8 1 a r e s p e c i f i c a l l y c o n c e r n e d w i t h t h i s i s s u e ; o u r a p p r o a c h d i f f e r sc o n s i d e r a b l y f r o m t h e i r s b y t h e i n t r o d u c t i o n o f t h e n o t i o n o f a n e s s e n c e . W e b e l i e v e t h a t e a c ho b j e c t m u s t h a v e a n e s s e n c e , w h i c h i s a t i m e - i n v a r i a n t i d e n t i f i e r s h a r e d b y n o o t h e r o b j e c t .O n e r e f e r s t o a n o b j e c t b y m e a n s o f i t s e s s e n c e . I f t w o e s s e n c e s a r e e q u a l t h e n b y d e f i n i t i o nt h e y r e f e r t o t h e s a m e o b j e c t . C o m p o n e n t p r o p e r t i e s o f o b j e c t s s u c h as a n a t t r i b u t eS A L A R Y h a v e a s t h e i r v a l u e f u n c t i o n s f r o m t i m e o b j e c t s ( r e f e r r e d t o b y t h e i r e s s e n c e )t o s o m e o t h e r t y p e o f o b j e c t ( r e f e r r e d t o b y i t s e s s e n c e ) . T h e y a r e , i n t h e t e r m i n o l o g y o fl o g i c , i n t e n s i o n s . M o n 7 4 a , G a 1 7 5 ] ) . T h e e s s e n c e o f t h e s e f u n c t i o n s , f o r e x a m p l e a S A L A R Yf u n c t i o n , a r e i n g e n e r a l n o t d i r e c t l y k n o w n t o t h e u s e r i n s t e a d t h e y w o u l d b e r e f e r r e d t oi n d i r e c t l y as t h e v a l u e o f s o m e p r o p e r t y o f a m o r e e s s e n t i a l o b j e c t , s a y K a r e n , w h o s e e s s e n c et h e u s e r w o u l d k n o w .

1 3


16/68

N o w t h e i s s u e a d d r e s s e d b y C h e n a n d W a r r e n i s h o w t o t e l l w h e t h e r t w o p a r t i a l l y - s p e c i f i e di n t e n s i o n s a r e t h e s a m e . W e w o u l d c o n t e n d t h a t t w o i n t e n s i o n s a r e t h e s a m e i f a n d o n l y i ft h e y a r e t h e v a l u e o f s o m e n o n e s s e n t i a l p r o p e r t y o f t h e s a m e e s s e n t i a l o b j e c t ; o t h e r w i s e , e v e nt h o u g h e x t e n s i o n a l l y t h e y m a y b e e q u a l ( i . e . , h a v e t h e s a m e v a l u e f o r e v e r y t i m e ) t h e y a r en o t e q u a l . H o w e v e r i f t h e s e t w o i n t e n s i o n s a r e c r e a t e d as d i f f e r e n t b y t h e u s e r , t h e y w o u l dh a v e t w o d i f f e r e n t e s s e n c e s a n d t h u s , t h o u g h a s f u n c t i o n s t h e y m i g h t b e e x t e n s i o n a l l y e q u a l ,a s o b j e c t s t h e y ar e n o t t h e s am e . T h u s J o h n s S A L A R Y i s n e v e r M a r y s S A L A R Y , t h o u g ht h e y m i g h t a l w a y s b e e a r n i n g t h e s a m e m o n e y .

T h e s e i s s u e s m o t i v a t e t h e f o l l o w i n g d e f i n i t i o n s :

1. I t i s e s s e n t i a l t h a t a s y s t e m b e a b l e t o m a i n t a i n t h e i n t e g r i t y o f o b j e c t i d e n t i t y . S i n c eu s e r - d e f i n e d k e y s a r e n o t o r i o u s l y n o t t i m e - i n v a r i a n t , f o r e x a m p l e , e v e n p e o p l e s s o c i a ls e c u r i t y n u m b e r s h a v e h a d t o b e c h a n g e d , o u r s y s t e m w i l l n e e d t o c r e a t e a n d m an ag et i m e - i n v a r i a n t o b j e c t i d e n t i f i e r s . W e c a l l s u c h a n i d e n t i f i e r a n e s s e n c e .

2 . E q u a l l y r e l e v a n t t o t h e m a n a g e m e n t o f o b j e c t s o v e r t i m e i s t h e m a i n t e n a n c e o f w h e nt h a t o b j e c t e x i s t e d . W e c a l l t h i s i n f o r m a t i o n t h e l i f e s p a n o f t h e o b j e c t . S i n c e a no b j e c t m a y h a v e t e m p o r a l l y d i s j o i n t p e r i o d s o f e x i s t e n c e , a l i f e s p a n c o n s i s t s o f a s e t o fd i s j o i n t i n t e r v a l s o f t i m e ; s u c h a n i n t e r v a l i s c a l l e d a n i n c a r n a t i o n .

3 . I f E i s a n e s s e n c e , w e d e n o t e t h e l i f e s p a n o f E as E . l .4 . T h e e s s e n c e o f e a c h p r i m i t i v e o b j e c t i s s i m p l y i t s n am e , a n d t h e l i f e s p a n o f e a c h

p r i m i t i v e o b j e c t i s o o , + o o ] } .

2. 3. O b j e c t S t r u c t u r eV a r i o u s p r o p o s a l s f o r r e p r e s e n t i n g d a t a as o b j e c t s h a v e i n c o r p o r a t e d d i f f e r e n t c o n s t r u c t o r sf o r d e f i n i n g c o m p l e x o b j e c t t y p e s ( o r c l a s s e s ) f r o m t h e p r i m i t i v e t y p e s . C o m m o n e x a m p l e so f t h e s e c o n s t r u c t o r s a r e r e c o r d c o n s t r u c t i o n a n d s e t ( o r c o l l e c t i o n ) c o n s t r u c t i o n . W i t h o u te x a m i n i n g a n y p a r t i c u l a r s u c h c o n s t r u c t o r , l e t u s a s s u m e t h a t s o m e c o m p l e x o b j e c t t y p e 0i s d e f i n e d i n t e r m s o f n s i m p l e r o b j e c t t y p e s . I . e . ,

0 1 + 0 2 + . . . + O nw h e r e t h e s y m b o l + i s t o b e i n t e r p r e t e d g e n e r i c a l l y as a n y s u c h c o n s t r u c t o r . W h e ni n s t a n t i a t e d , a c o m p l e x o b j e c t h a s i t s o w n d i s t i n c t e s s e n c e . A n y o f t h e o p e r a t i o n s o n o b j e c t sc a n o f c o u r s e b e a p p l i e d t o c o m p l e x o b j e c t s .

N o t e , h o w e v e r , t h a t w h e n a n e w o b j e c t E o f t y p e 0 i s c r e a t e d , c o n s i s t i n g o f t h e nc o m p o n e n t o b j e c t s B 1 , B 2 , . . . , E ~ o f t y p e s 0 1 , 0 2 , . . . , O , ~ , r e s p e c t i v e l y , t h e c o n s t r a i n t

i E . l E 1 . ~m u s t a l w a y s b e s a t i s f i e d ; a n o b j e c t c a n e x i s t o n l y w h i l e i t s c o m p o n e n t s e x i s t .

1 4


17/68


18/68

i n c a r n a t i o n . ( T h i s i n c a r n a t i o n w i l l b e t e r m i n a t e d b y t h e n e x t s u b s e q u e n t K I L L o p e ra t i o n t h a t i s e x e c u t e d o n t h e o b j e c t . ) O n l y o b j e c t s t h a t h a v e b e e n p r e v i o u s l y C R EA T E d c a n b e R E I N C A R N A T E d . R E I N C A R N A T E ( E , B ) f i n d s t h e o b j e c t w i t h e s s e n c eE a n d , a s s u m i n g i t h a s l i f e s p a n B 1 , D 1 ] , B 2 , D 2 ] , . . . , B , ~ , D ] } , u p d a t e s i t s l i f e s p a n t oB 1 , D 1 , B 2 , D 2 , . . . , B ~ , D ~ , B , n o w ) } . I f E i s a c o m p o u n d o b j e c t o f t y p e X a n d X =X 1 + X 2 + . . . + X , ~ t h e n t h e l i f e s p a n s o f t h e n e s s e n c e s E 1 + E 2 + . . . + E , ~ a r e a l s o u p d a t e d .

I t m a y s o m e t i m e s b e n e c e s s a r y t o m e r g e o r I D E N T I F Y t w o d e s c r i p t i o n s i n t o o n eb e c a u s e t w o s u p p o s e d l y d i s t i n c t o b j e c t s a r e n o w r e a l i z e d t o b e i n f a c t t h e s a m e o b j e c t .I D E N T I F Y ( E 1 , E 2 ) f i n d s t h e o b j e c t s w i t h e s s e n c e s E 1 a n d E 2 a n d , a s s u m i n g t h a t t h e o b

j e c t d e s c r i p t i o n s a r e c o m p a t i b l e 3 , c r e a t e s a n e w o b j e c t w i t h t h e m e r g e d d e s c r i p t i o n s o f E 1a n d E 2 a n d g i v e s i t t h e e s s e n c e E 1 t h e e s s e n c e E 2 i s n o l o n g e r u s e a b l e e x c e p t as a n a l i a s f o rE 1

I t m a y b e n e c e s s a r y , t h o u g h p e r h a p s f o r b i d d e n i n c e r t a i n h i g h l y s e n s i t i v e a p p l i c a t i o n s , t od e l e t e o r D E S T R O Y p e r m a n e n t l y an y t r a c e o f a n o b j e c t f r o m t h e s y s t e m . D E S T R O Y ( E )f i n d s t h e o b j e c t w i t h e s s e n c e E a n d , r e m o v e s i t f r o m t h e s y s t e m . T h e e s s e n c e E i s t h e r e a f t e ra n d f o r e v e r u n u s a b l e . O n c e D E S T R O Y e d a n o b j e c t c a n n o t b e R E I N C A R N A T E d .

A c c e s s t o t h e a t t r i b u t e s o f h i s t o r i c a l o b j e c t s i s a c h i e v e d i n t h e c o n v e n t i o n a l w a y , t h r o u g ht h e s p e c i f i c a t i o n a n d i n v o c a t i o n o f t h e a p p r o p r i a t e m e t h o d . H o w e v e r , b e c a u s e o f t h e s t r u ct u r e o f h i s t o r i c a l o b j e c t s t h e v a l u e o f a n a c c e s s e d a t t r i b u t e m a y h a v e t o b e m a n i p u l a t e df u r t h e r .

A s s u m e t h a t t h e e x p r e s s i o n 0 A i s u s e d t o i n v o k e t h e m e t h o d t h a t r e t r i e v e s t h e v a l u ed e n o t e d b y a t t r i b u t e A o f o b j e c t 0 . W h e n t h e m e t h o d i n v o k e d i s t h a t o f a n h i s t o r i c a l o b j e c tt h e n t h e o b j e c t t h a t i s a c c e s s e d i s a f u n c t i o n . F o r e x a m p l e , i f K A R E N i s t h e n a m e o f t h eh i s t o r i c a l o b j e c t m o d e l i n g t h e e m p l o y e e K a r e n , t h e n K A R E N s a l a r y r e t u r n s t h e f u n c t i o nt h a t r e p r e s e n t s K a r e n s s a l a r y h i s t o r y , a n d t h u s a s s o c i a t e s a s a l a r y w i t h e a c h t i m e i n t h el i f e s p a n o f K a r e n .

S i n c e t h e f u n c t i o n s d e n o t e d b y t h e a t t r i b u t e s o f h i s t o r i c a l o b j e c t s a r e t h e m s e l v e s o b j e c t st h e y c a n , a n d d o , h a v e m e t h o d s a s s o c i a t e d w i t h t h e m . I n p a r t i c u l a r , w e a s s u m e t h a t e a c hs u c h f u n c t i o n o b j e c t F i n c l u d e s a m e t h o d t h a t w h e n i n v o k e d b y t h e e x p r e s s i o n I a t : t i m er e t u r n s t h e v a l u e t h a t I a s s o c i a t e s w i t h t h e t i m e d e n o t e d b y t i m e . T h e e x p r e s s i o n K A R E Ns a l a r y a t : M a r c h 1 , 1 9 81 r e t u r n s t h e v a l u e o f K a r e n s s a l a r y o n t h e s p e c i f i e d d a t e .

S i m i l a r l y a t t r i b u t e u p d a t e s a r e a c c o m p l i s h e d u s i n g a n e x p r e s s i o n o f t h e f o r m 0 A a t :t i m e p u t : v a l u e . T h i s e x p r e s s i o n u p d a t e s o b j e c t 0 b y e x t e n d i n g t h e f u n c t i o n d e n o t e d b ya t t r i b u t e A s o t h a t i t a s s o c i a t e s w i t h t i m e t h e v a l u e s p e c i f i e d b y v a l u e .

3W h a t t h i s m e a n s i s a n i s s u e i n i t s o w n r i g h t ; s e e C C 8 7 1 f o r f u r t h e r d e t a i l s o n t h i s i s s u e .

1 6


19/68

4. C o n c l u s i o nW e b e l i e v e t h a t i t i s i n c o n c e i v a b l e t o s u c c e s s f u l l y d e v e l o p a n o b j e c t - o r i e n t e d m o d e l o f d a t aw i t h o u t p r o v i d i n g f o r t h e m o d e l l i n g o f t h e t e m p o r a l d i m e n s i o n o f o b j e c t s . T h i s p a p e r r e p r es e n t s a m o d e s t b e g i n n i n g t o w a r d a m a l g a m a t i n g t h e s e t w o l i n e s o f r e s e a r c h , o b j e c t - o r i e n t a t i o na n d h i s t o r i c a l d a t a m o d e l l i n g , t h e r e b y p r o v i d i n g u s e r s w i t h t h e a b i l i t y t o m o d e l o b j e c t s i nt i m e .

R e f e r e n c e sB A D W 8 2] A . B o l o u r , T . L . A n d e r s o n , L . J . D e k e t s e r , a n d H . K . T W o n g . T h e r o l e o f t i m e

i n i n f o r m a t i o n p r o c e s s i n g : a s u r v e y . A C M S I G M O D R e c o r d , 1 2 ( 3 ) : 2 8 4 8 , A p r i l1 9 8 2 .

C C 8 7 ] J . C l i f f o r d a n d A . C r o k e r . T h e h i s t o r i c a l r e l a t i o n a l d a t a m o d e l ( h r d m ) a n da l g e b r a b a s e d o n l i f e s p a n s . I n P r o c . T h i r d I n t e r n a t i o n a l C o n f e r e n c e o n D a t aE n g i n e e r i n g , p a g e s 5 2 8 5 3 7 , I E E E , L o s A n g e l e s , F e b r u a r y 1 9 8 7 .

C W 8 3 ] J . C l i f f o r d a n d D . S . W a r r e n . F o r m a l s e m a n t i c s f o r t i m e i n d a t a b a s e s . A C MT r a n s . o n D a t a b a s e S y s t e m s , 6 ( 2 ) : 2 1 4 2 5 4 , J u n e 1 9 8 3 .

C W 8 8 } W . C h e n a n d D . S . W a r r e n . O b j e c t s a s I n t e n s i o n s . T e c h n i c a l R e p o r t , D e p t . o fC o m p u t e r S c i e n c e , S U N Y a t S t o n y B r o o k , 1 9 8 8 .

D i t 8 6 } P r o c . I n t e r n a t i o n a l W o r k s h o p o n O b j e c t - O r i e n t e d D a t a b a s e s , P a c i f i c G r o v e , C A ,S e p t e m b e r 1 9 8 6 .

G a 1 7 5 ] D . G a l l i n . I n t e n s i o n a l a n d H i g h e r - O r d e r M o d a l L o g i c . N o r t h - H o l l a n d , A m s t e rd a m , 1 9 7 5 .

G R 8 3 ] A . G o l d b e r g a n d D . R o b s o n . S m a l l t a l k - 8 0 : T h e L a n g u a g e a n d i t s I m p l e m e n t at i o n . A d d i s o n - W e s l e y , R e a d i n g , M A , 1 9 8 3 .

K r i 8 O ] S . K r i p k e . N a m i n g a n d N e c e s s i t y . H a r v a r d U n i v e r s i t y P r e s s , C a m b r i d g e , M A ,1 9 8 0 .

L e w 6 8 ] D . L e w i s . C o u n t e r p a r t t h e o r y a n d q u a n t i f i e d m o d a l l o g i c . T h e J o u r n a l o f P h il o s o p h y , 6 5 ( 5 ) : 1 1 3 1 2 6 , M a r c h 1 9 6 8 .

M c K 8 6 ] E . M c K e n z i e . B i b l i o g r a p h y : t e m p o r a l d a t a b a s e s . A C M S I G M O D R e c o r d ,1 5 ( 4 ) : 4 0 5 2 , D e c e m b e r 1 9 8 6 .

M o n 7 4 a ] R . M o n t a g u e . F o r m a l P h i l o s o p h y : S e l e c t e d P a p e r s o f R i c h a r d M o n t a g u e . Y a l eU n i v e r s i t y P r e s s , N e w H a v e n , 1 9 7 4 .

1 7


20/68

M o n 7 4 b ] R . M o n t a g u e . O n t h e N a t u r e o f C e r t a i n P h i l o s o p h i c a l E n t i t i e s , p a g e s 1 48 1 8 7 .Y a l e U n i v e r s i t y P r e s s , N e w H a v e n , 1 9 7 4 .

M S O P 8 6 J D . M a i e r , J . S t e i n , A . O t i s , a n d A . P u r d y . D e v e l o p m e n t o f a n o b j e c t - o r i e n t e dd b m s . I n P r o c . o f t h e C o n f e r e n c e o n O b j e c t - O r i e n t e d P r o g r a m m i n g S y s t e m s ,L a n g u a g e s a n d A p p l i c a t i o n s , p a g e s 4 7 2 4 8 2 , S e p t e m b e r - O c t o b e r 1 9 8 6 .

T A 1 8 7 } A F C E T . T e m p o r a l A s p e c t s i n I n f o r m a t i o n S y s t e m s , M a y 1 9 8 7 .

1 8


21/68

T H E R O L E O F T E M P O R A L E L E M E N T SI N T E M P O R A L D A T A B A S E S

S h a s h i K . G a d i aC o m p u t e r S c i e n c e D e p a r t m e n tI o w a S t a t e U n i v e r s i t yA m e s , I A 5 0 0 1 1( 5 1 5 ) 29 4 437 7

A b s t r a c t . T h e o b j e c t i v e o f a t e m p o r a l d a t a b a s e i s t o m o d e l c h a . n g i n ~ a s p e c t s o fo b j e c t s . T h e m a i n t e c h n i q u e i n a t e m p o r a l d a t a b a s e i s t o u s e t i m e s t a m p s t o i n d i c a t e t h ep e r i o d s o f v a l i d i t y f o r t h e v a l u e s t a k e n b y a n a t t r i b u t e o f a n o b j e c t . W e a r g u e t h a ti n s t a n t s o r i n t e r v a l s o f t i m e a r e n o t s u i t a b l e t i m e s t a m p s ; i n s t e a d , o n e s h o u l d u s e f i n i t eu n i o n s o f i n t e r v a l s , c a l l e d t e m p o r a l e l e m e n t s . A l t h o u g h a t e m p o r a l e l e m e n t s e e m s t o b e ac o m p l e x d a t a t y p e , i t l e a d s t o s i m p l e r u s e r i n t e r f a c e s . T h e c o n c e p t o f a t e m p o r a l e l e m e n t

i s e a s i l y g e n e r a l i z e d t o m o r e t h a n o n e d i m e n s i o n .

1. I N T R O D U C T I O N .T i m e s t a m p i n g t h e c h a n g i n g v a l u e s o f a n o b j e c t i s t h e m a i n t o o l u s e d f o r m o d e l i n g o f

t e m p o r a l i n f o r m a t i o n . O n e i s n a t u r a l l y l e a d t o t h e p o s s i b i l i t y o i m o r e t h a n o n e t y p e o ft i m e ; a n d t h e y h a v e b e e n c a t a l o g u e d i n S A ] . A n o b j e c t h a s a h i s t o r y i n t h e r e a l w o r l d ,a n d w e s a y t h a t s u c h a h i s t o r y e x i s t s w i t h r e s p e c t t o t h e r e a l w o r l d t i m e ( v a l i d t i m e i n t h et e r m i n o l o g y o f S A ] ) . O u r c h a n g i n g k n o w l e d g e o f s u c h a . h i s t o r y i s i n c o r p o r a t e d i n t h ed a t a b a s e t h r o u g h u p d a t e s . A c o m p u t e r s y s t e m h a s i t s o w n c l o c k , w h i c h i s u s e d t o m o d e lt r a n s a c t i o n t i m e .

I t i s c l e a r t h a t t h e r e a l w o r l d a n d t r a n s a c t i o n t i m e s p l a y s o m e r o l e i n t h e w a yd a t a b a s e s ar e u s e d i n p r a c t i c e . A d a t a b a s e a s s i s t s a n o r g a n i z a t i o n i n m a k i n g d e c i s i o n s . I ti s r e a s o n a b l e t o a s s u m e t h a t t h e m o d e l o f r e a l i t y i s n o t p e r f e c t ; i t c a n c o n t a i n o n l y ana p p r o x i m a t e u n d e r s t a n d i n g o f t h e r e a l w o r l d , a n d t h a t t h i s u n d e r s t a n d i n g g e t s r e f i n e d w i t ht i m e . A s a d a t a b a s e i s n o t f u l l y c o r r e c t , a n o r g a n i z a t i o n i s l i k e l y t o t a k e s o m e i n c o r r e c ta c t i o n s ; t h e r e f o r e , i t m ay l i k e t o k e e p a l l r e c o r d s , c o r r e c t a n d i n c o r r e c t , c o n c e r n i n g s o m ea s p e c t o f i t s b u s i n e s s p r a c t i c e . T h e u s u a l p r a c t i c e i s t o m a i n t a i n a l o g o f a l l u p d a t e s . S u c ha l o g d o e s n o t e n j o y t h e s a m e s t a t u s a s t h e o n l i n e d a t a b a s e s y s t e m , w h i c h t y p i c a l l yr e f l e c t s o n l y t h e c u r r e n t k n o w l e d g e o f c u r r e n t l y a c t i v e o b j e c t s . Q u e r y i n g a c u r r e n ts n a p s h o t o f r e a l i t y i s u n d e r s t o o d r a t h e r w e l l ; o n e m a y u s e a q u e r y l a n g u a g e s u c h a s S Q Lf o r t h i s p u r p o s e . Q u e r y i n g t h e r i c h c o n t e n t o f a n u p d a t e l o g h a s n o t b e e n f u l l y e x p l o i t e d .

1 9


22/68

~ S n ] v i e w s a d a t a b a s e as a s e q u e n c e { . ~ t : t i s a t r a n s a c t i o n t i m e i n s t a n t } , w h e r ei s o u r k n o w l e d g e o f t h e r e a l w o r l d h i s t o r y a t t r a n s a c t i o n t i m e t . T h i s m o d e l a l l o w s o n e t or o l l b a c k t o a p r e v i o u s k n o w l e d g e o f r e a l i t y . I n S n ] , t h e r e a l w o r l d t i m e s t a m p s ar e v i e w e das i n t e r v a l s o r a s i n s t a n t s , a n d t h e t r a n s a c t i o n t i m e s t a m p s ar e v i e w e d as i n s t a n t s .

A f t e r t h e i n t r o d u c t i o n o f t e m p o r a l e l e m e n t s i n G a , G V ] , a c o n s e n s u s s e e m s t o h a v ee m e r g e d t h a t t h e i r u s e i s a p p r o p r i a t e a s t h e r e a l w o r l d t i m e s t a m p s C C , M S ] . T h ep r o b l e m s a r i s i n g f r o m t h e u s e o f i n t e r v a l s as r e a l w o r l d t i m e s t a m p s h a v e b e e n e n u m e r a t e di n G Y 1 ] . W e b r i e f l y d i s c u s s s o m e 0 1 t h e s e p r o b l e m s i n S e c t i o n 2 . H o w e v e r , s u c h ac o n s e n s u s d o e s n o t e x i s t f o r t r a n s a c t i o n t i m e . W e p r o p o s e t h e f o l l o w i n g : ( i ) T e m p o r a le l e m e n t s s h o u l d b e u s e d as t h e t r a n s a c t i o n t i m e s t a m p s . ( i i ) A l t h o u g h , w h e n t h e r e a l w o r l da n d t h e t r a n s a c t i o n t i m e d i m e n s i o n s ar e p u t t o g e t h e r , t h e f o r m e r s e e m s t o b e n e s t e d i n s i d et h e l a t t e r , w e s h o u l d d i s r e g a r d t h i s f a c t a n d u s e t w o d i m e n s i o n a l t i m e s t a m p s t h a t a r ef i n i t e u n i o n s o f r e c t a n g l e s . ( A r e c t a n g l e i s t h e c r o s s p r o d u c t o f t w o i n t e r v a l s o f t i m e . ) T h ea d v a n t a g e o f t h i s a p p r o a c h i s t h a t w e o b t a i n p o w e r f u l a n d n a t u r a l n a v i g a t i o n a l p a t h s t oq u e r y t h e d a t a b a s e . T h i s i s i l l u s t r a t e d i n S e c t i o n 4 .

T h i s p a p e r i s o r g a n i z e d a s f o l l o w s . I n S e c t i o n 2 , w e p r e s e n t a m o d e l f o r t h e r e a lw o r l d t i m e . I n S e c t i o n 3 , w e i n t r o d u c e t r a n s a c t i o n t i m e , c o n s i d e r i n g i n s t a n t s ast r a n s a c t i o n t i m e s t a m p s . I n S e c t i o n 4 , w e c o n s i d e r t w o d i m e n s i o n a l t e m p o r a l e l e m e n t s a st h e t i m e s t a m p s , r e v i s i t a n e x a m p l e f r o m S e c t i o n 3 a n d s h o w t h a t i t b e c o m e s m u c h s i m p l e r .

T h e p a p e r i s w r i t t e n i n a n i n f o r m a l s t y l e t o e x h i b i t w h a t l i e s a t t h e h e a r t o f t h ep r o b l e m o f t i m e s t a m p i n g . T h e f o r m a l d e t a i l s ar e r a t h e r i n v o l v e d a n d c o v e r e d i nG B , G Y 2 ] , w h e r e t h e c o n c e p t o f a w e a k r e l a t i o n , i n t r o d u c e d i n G a ] , p l a y s a c e n t r a l r o l e .2 . T H E R E A L W O R L D T I M E D I M E N S I O N .

W e a s s u m e t h a t a u n i v e r s e o f t i m e i n s t a n t s O , N O W ] , w h e r e N O W d e n o t e s t h e c u r r e n tt i m e , t o g e t h e r w i t h a l i n e a r o r d e r ~ , i s g i v e n . T h e s e t t h e o r e t i c o p e r a t i o n s o f u n i o n ,i n t e r s e c t i o n , a n d c o m p l e m e n t a t i o n o n t i m e s t a i n p s c o r r e s p o n d t o t h e n a t u r a l l a n g u a g ec o n s t r u c t s o r , a n d , a n d n o t . I n t e r v a l s o f t i m e ar e n o t c l o s e d u n d e r i n t e r s e c t i o n a n dc o m p l e m e n t a t i o n , h e n c e t h e y ar e n o t a d e q u a t e as t i m e s t a m p s . A t e m p o r a l e l e m e n t i s af i n i t e u n i o n o f i n t e r v a l s i n O , N O W ] . A n i n t e r

Documents

Special Issue Temporal Databases