Concurrency Control and Recovery in Database Systems.pdf-资料库

Concurrency Control and Recovery in Database Systems Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman

C O N T E N T S P R E F A C E v i i 1 T H E P R O B L E M 1 1 . 1 T r a n s a c t i o n s 1 1 . 2 R e c o v e r a b i l i t y 6 1 . 3 S e r i a l i z a b i l i t y 1 1 1 . 4 D a t a b a s e S y s t e m M o d e l 1 7 2 S E R l A L l Z A B l L l T Y T H E O R Y 2 5 2 . 1 H i s t o r i e s 2 5 2 . 2 S e r i a l i z a b l e H i s t o r i e s 3 0 2 . 3 T h e S e r i a l i z a b i l i t y T h e o r e m 3 2 2 . 4 R e c o v e r a b l e H i s t o r i e s 3 4 2 . 5 O p e r a t i o n s B e y o n d R e a d s a n d W r i t e s 3 7 2 . 6 V i e w E q u i v a l e n c e 3 8 x i

x i i C O N T E N T S 3 T W O P H A S E L O C K I N G 4 7 3 . 1 A g g r e s s i v e a n d C o n s e r v a t i v e S c h e d u l e r s 4 7 3 . 2 B a s i c T w o P h a s e L o c k i n g 4 9 3 . 3 C o r r e c t n e s s o f B a s i c T w o P h a s e L o c k i n g * 5 3 3 . 4 D e a d l o c k s 5 6 3 . 5 V a r i a t i o n s o f T w o P h a s e L o c k i n g 5 8 3 . 6 I m p l e m e n t a t i o n I s s u e s 6 0 3 . 7 T h e P h a n t o m P r o b l e m 6 4 3 . 8 L o c k i n g A d d i t i o n a l O p e r a t i o n s 6 7 3 . 9 M u l t i g r a n u l a r i t y L o c k i n g 6 9 3 . 1 0 D i s t r i b u t e d T w o P h a s e L o c k i n g 7 7 3 . 1 1 D i s t r i b u t e d D e a d l o c k s 7 9 3 . 1 2 L o c k i n g P e r f o r m a n c e 8 7 3 . 1 3 T r e e L o c k i n g 9 5 4 N O N - L O C K I N G S C H E D U L E R S 1 1 3 4 . 1 I n t r o d u c t i o n 1 1 3 4 . 2 T i m e s t a m p O r d e r i n g ( T O ) 1 1 4 4 . 3 S e r i a l i z a t i o n G r a p h T e s t i n g ( S G T ) 1 2 1 4 . 4 C e r t i f i e r s 1 2 8 4 . 5 I n t e g r a t e d S c h e d u l e r s 1 3 2 5 M U L T I V E R S I O N C O N C U R R E N C Y C O N T R O L 1 4 3 S . 1 I n t r o d u c t i o n 1 4 3 5 . 2 M u l t i v e r s i o n S e r i a l i z a b i l i t y T h e o r y : ’ 1 4 6 5 . 3 M u i t i v e r s i o n T i m e s t a m p O r d e r i n g 1 5 3 5 . 4 M u l t i v e r s i o n T w o P h a s e L o c k i n g 1 5 6 5 . 5 A M u l t i v e r s i o n M i x e d M e t h o d 1 6 0

C O N T E N T S - - - X I I I 6 C E N T R A L I Z E D R E C O V E R Y 1 6 7 6 . 1 F a i l u r e s 1 6 7 6 . 2 D a t a M a n a g e r A r c h i t e c t u r e 1 6 9 6 . 3 T h e R e c o v e r y M a n a g e r 1 7 4 6 . 4 T h e U n d o / R e d o A l g o r i t h m 1 8 0 6 . 5 T h e U n d o / N o - R e d o A l g o r i t h m 1 9 6 6 . 6 T h e N o - U n d o / R e d o A l g o r i t h m 1 9 8 6 . 7 T h e N o - U n d o / N o - R e d o A l g o r i t h m 2 0 1 6 . 8 M e d i a F a i l u r e s 2 0 6 D I S T R I B U T E D R E C O V E R Y 2 1 7 7 . 1 I n t r o d u c t i o n 7 . 2 F a i l u r e s i n a D i s t r i b u t e d S y s t e m 7 . 3 A t o m i c C o m m i t m e n t 7 . 4 T h e T w o P h a s e C o m m i t P r o t o c o l 7 . 5 T h e T h r e e P h a s e C o m m i t P r o t o c o l 2 1 7 2 1 8 2 2 2 2 2 6 2 4 0 R E P L I C A T E D D A T A 2 6 6 I n t r o d u c t i o n S y s t e m A r c h i t e c t u r e 8 . 1 8 . 2 8 . 3 8 . 4 8 . 5 8 . 6 8 . 7 8 . 8 8 . 9 8 . 1 0 S e r i a l i z a b i l i t y T h e o r y f o r R e p l i c a t e d D a t a A G r a p h C h a r a c t e r i z a t i o n o f 1 S R H i s t o r i e s A t o m i c i t y o f F a i l u r e s a n d R e c o v e r i e s A n A v a i l a b l e C o p i e s A l g o r i t h m D i r e c t o r y - o r i e n t e d A v a i l a b l e C o p i e s C o m m u n i c a t i o n F a i l u r e s T h e Q u o r u m C o n s e n s u s A l g o r i t h m T h e V i r t u a l P a r t i t i o n A l g o r i t h m 2 6 5 2 6 8 2 7 1 2 7 5 2 7 7 2 8 1 2 8 9 2 9 4 2 9 8 3 0 4 A P P E N D I X 3 1 3 G L O S S A R Y 3 2 1 B I B L I O G R A P H Y 3 3 9 I N D E X 3 6 3

1 T H E P R O B L E M 1 . l T R A N S A C T I O N S C o n c u r r e n c y c o n t r o l i s t h e a c t i v i t y o f c o o r d i n a t i n g t h e a c t i o n s o f p r o c e s s e s t h a t o p e r a t e i n p a r a l l e l , a c c e s s s h a r e d d a t a , a n d t h e r e f o r e p o t e n t i a l l y i n t e r f e r e w i t h e a c h o t h e r . R e c o v e r y i s t h e a c t i v i t y o f e n s u r i n g t h a t s o f t w a r e a n d h a r d - w a r e f a i l u r e s d o n o t c o r r u p t p e r s i s t e n t d a t a . C o n c u r r e n c y c o n t r o l a n d r e c o v e r y p r o b l e m s a r i s e i n t h e d e s i g n o f h a r d w a r e , o p e r a t i n g s y s t e m s , r e a l t i m e s y s t e m s , c o m m u n i c a t i o n s s y s t e m s , a n d d a t a b a s e s y s t e m s , a m o n g o t h e r s . I n t h i s b o o k , w e w i l l e x p l o r e c o n c u r r e n c y c o n t r o l a n d r e c o v e r y p r o b l e m s i n d a t a b a s e s y s t e m s . W e w i l l s t u d y t h e s e p r o b l e m s u s i n g a m o d e l o f d a t a b a s e s y s t e m s . T h i s m o d e l i s a n a b s t r a c t i o n o f m a n y t y p e s o f d a t a h a n d l i n g s y s t e m s , s u c h a s d a t a - b a s e m a n a g e m e n t s y s t e m s f o r d a t a p r o c e s s i n g a p p l i c a t i o n s , t r a n s a c t i o n p r o c e s s i n g s y s t e m s f o r a i r l i n e r e s e r v a t i o n s o r b a n k i n g , a n d f i l e s y s t e m s f o r a g e n e r a l p u r p o s e c o m p u t i n g e n v i r o n m e n t . O u r s t u d y o f c o n c u r r e n c y c o n t r o l a n d r e c o v e r y a p p l i e s t o a n y s u c h s y s t e m t h a t c o n f o r m s t o o u r m o d e l . T h e m a i n c o m p o n e n t o f t h i s m o d e l i s t h e t r a n s a c t i o n . I n f o r m a l l y , a t r a n s - a c t i o n i s a n e x e c u t i o n o f a p r o g r a m t h a t a c c e s s e s a s h a r e d d a t a b a s e . T h e g o a l o f c o n c u r r e n c y c o n t r o l a n d r e c o v e r y i s t o e n s u r e t h a t t r a n s a c t i o n s e x e c u t e a t o m i c a l l y , m e a n i n g t h a t 1 . e a c h t r a n s a c t i o n a c c e s s e s s h a r e d d a t a w i t h o u t i n t e r f e r i n g w i t h o t h e r t r a n s a c t i o n s , a n d 2 . i f a t r a n s a c t i o n t e r m i n a t e s n o r m a l l y , t h e n a i l o f i t s e f f e c t s a r e m a d e p e r m a n e n t ; o t h e r w i s e i t h a s n o e f f e c t a t a l l . T h e p u r p o s e o f t h i s c h a p t e r i s t o m a k e t h i s m o d e l p r e c i s e . 1

2 C H A P T E R 1 / T H E P R O B L E M I n t h i s s e c t i o n w e p r e s e n t a u s e r - o r i e n t e d m o d e l o f t h e s y s t e m , w h i c h c o n s i s t s o f a d a t a b a s e t h a t a u s e r c a n a c c e s s b y e x e c u t i n g t r a n s a c t i o n s . I n S e c t i o n 1 . 2 , w e e x p l a i n w h a t i t m e a n s f o r a t r a n s a c t i o n t o e x e c u t e a t o m i c a l l y i n t h e p r e s e n c e o f f a i l u r e s . I n S e c t i o n 1 . 3 , w e e x p l a i n w h a t i t m e a n s f o r a t r a n s - a c t i o n t o e x e c u t e a t o m i c a l l y i n a n e n v i r o n m e n t w h e r e i t s d a t a b a s e a c c e s s e s c a n b e i n t e r l e a v e d w i t h t h o s e o f o t h e r t r a n s a c t i o n s . S e c t i o n 1 . 4 p r e s e n t s a m o d e l o f a d a t a b a s e s y s t e m ’ s c o n c u r r e n c y c o n t r o l a n d r e c o v e r y c o m p o n e n t s , w h o s e g o a l i s t o r e a l i z e t r a n s a c t i o n a t o m i c i t y . D a t a b a s e S y s t e m s A d a t a b a s e c o n s i s t s o f a s e t o f n a m e d d a t a i t e m s . E a c h d a t a i t e m h a s a v a l u e . T h e v a l u e s o f t h e d a t a i t e m s a t a n y o n e t i m e c o m p r i s e t h e s t a t e o f t h e d a t a b a s e . I n p r a c t i c e , a d a t a i t e m c o u l d b e a w o r d o f m a i n m e m o r y , a p a g e o f a d i s k , a r e c o r d o f a f i l e , o r a f i e l d o f a r e c o r d . T h e s i z e o f t h e d a t a c o n t a i n e d i n a d a t a i t e m i s c a l l e d t h e g r a t z u l a r i t y o f t h e d a t a i t e m . G r a n u l a r i t y w i l l u s u a l l y b e u n i m p o r t a n t t o o u r s t u d y a n d w e w i l l t h e r e f o r e l e a v e i t u n s p e c i f i e d . W h e n w e l e a v e g r a n u l a r i t y u n s p e c i f i e d , w e d e n o t e d a t a i t e m s b y l o w e r c a s e l e t t e r s , t y p i - c a l l y X , y , a n d Z . A d a t a b a s e s ~ i s t e n z ( D S S ) ’ i s a c o l l e c t i o n o f h a r d w a r e a n d s o f t w a r e m o d u l e s t h a t s u p p o r t c o m m a n d s t o a c c e s s t h e d a t a b a s e , c a l l e d d a t a b a s e o p e r a - t i o n s ( o r s i m p l y o p e r a t i o n s ) . T h e m o s t i m p o r t a n t o p e r a t i o n s w e w i l l c o n s i d e r a r e R e a d a n d W r i t e . R e a d ( x ) r e t u r n s t h e v a l u e s t o r e d i n d a t a i t e m X . W r i t e ( x , v a l ) c h a n g e s t h e v a l u e o f x t o v a l . W e w i l l a l s o u s e o t h e r o p e r a t i o n s f r o m t i m e t o t i m e . T h e D B S e x e c u t e s e a c h o p e r a t i o n a t o m i c a l l y . T h i s m e a n s t h a t t h e D B S b e h a v e s a s i f i t e x e c u t e s o p e r a t i o n s s e q u e n t i a l l y , t h a t i s , o n e a t a t i m e . T o o b t a i n t h i s b e h a v i o r , t h e D B S m i g h t a c t u a l / y e x e c u t e o p e r a t i o n s s e q u e n t i a l l y . H o w e v e r , m o r e t y p i c a l l y i t w i l l e x e c u t e o p e r a t i o n s c o n c u r r e n t l y T h a t i s , t h e r e t n a y b e r i m e s w h e n i t i s e x e c u t i n g m o r e t h a n o n e o p e r a t i o n a t o n c e . H o w e v e r , e v e n i f i t e x e c u t e s o p e r a t i o n s c o n c u r r e n t l y , t h e f i n a l e f f e c t m u s t b e t h e s a m e a s s o m e s e q u e n t i a l e x e c u t i o n . F o r e x a m p l e , s u p p o s e d a t a i t e m s x a n d 4 ’ a r e s t o r e d o n t w o d i f f e r e n t d e v i c e s . T h e D B S m i g h t e x e c u t e o p e r a t i o n s o n x a n d y i n t h i s o r d e r : 1 . e x e c u t e R e a d ( x ) ; 2 . a f t e r s t e p ( I ) i s f i n i s h e d , c o n c u r r e n t l y e x e c u t e W r i t e ( x , 1 ) a n d R e a d ( y ) ; 3 . a f t e r s t e p ( 2 ) i s f i n i s h e d , e x e c u t e W r i t e ( y , 0 ) . A I t h o u g h W r i t e ( x , 1 ) a n d R e a d ( y ) w e r e e x e c u t e d c o n c u r r e n t l y , t h e y m a y b e r e g a r d e d a s h a v i n g e x e c u t e d a t o m i c a l l y . T h i s i s b e c a u s e t h e e x e c u t i o n j u s t ‘ W e u s e r h e a b b r e v i a t i o n D B S , i n s t e a d o f t h e m o r e c o n v e n t i o n a l D B h f S , t o e m p h a s i z e t h a r a D B S i n o u r s e n s e m a I - b e m u c h l e s s t h a n a n i n t e g r a t e d d a t a b a s e m a n a g e m e n t s y s t e m . F o r e x a m - p l e , i t m a y o n l y b e a s i m p l e f i l e s y s t e m w i t h t r a n s a c t i o n m a n a g e m e n t c a p a b l l i t i e s .

1 . 1 T R A N S A C T I O N S 3 g i v e n h a s t h e s a m e e f f e c t a s a s e q u e n t i a l e x e c u t i o n , s u c h a s R e a d ( x ) , W r i t e ( x , l ) , R e a d ( y ) , W r i t e ( y , 0 ) . T h e D B S a l s o s u p p o r t s t r a n s a c t i o n o p e r a t i o n s : S t a r t , C o m m i t , a n d A b o r t . A p r o g r a m t e l l s t h e D B S t h a t i t i s a b o u t t o b e g i n e x e c u t i n g a n e w t r a n s a c t i o n b y i s s u i n g t h e o p e r a t i o n S t a r t . I t i n d i c a t e s t h e t e r m i n a t i o n o f t h e t r a n s a c t i o n b y i s s u i n g e i t h e r t h e o p e r a t i o n C o m m i t o r t h e o p e r a t i o n A b o r t . B y i s s u i n g a C o m m i t , t h e p r o g r a m t e l l s t h e D B S t h a t t h e t r a n s a c t i o n h a s t e r m i n a t e d n o r m a l l y a n d a l l o f i t s e f f e c t s s h o u l d b e m a d e p e r m a n e n t . B y i s s u i n g a n A b o r t , t h e p r o g r a m t e l l s t h e D B S t h a t t h e t r a n s a c t i o n h a s t e r m i n a t e d a b n o r m a l l y a n d a l l o f i t s e f f e c t s s h o u l d b e o b l i t e r a t e d . A p r o g r a m m u s t i s s u e e a c h o f i t s d a t a b a s e o p e r a t i o n s o n b e h a l f o f a p a r t i c - u l a r t r a n s a c t i o n . W e c a n m o d e l t h i s b y a s s u m i n g t h a t t h e D B S r e s p o n d s t o a S t a r t o p e r a t i o n b y r e t u r n i n g a u n i q u e t r a n s a c t i o n i d e n t i f i e r . T h e p r o g r a m t h e n a t t a c h e s t h i s i d e n t i f i e r t o e a c h o f i t s d a t a b a s e o p e r a t i o n s , a n d t o t h e C o m m i t o r A b o r t t h a t i t i s s u e s t o t e r m i n a t e t h e t r a n s a c t i o n . T h u s , f r o m t h e D B S ’ s v i e w - p o i n t , a t r a n s a c t i o n i s d e f i n e d b y a S t a r t o p e r a t i o n , f o l l o w e d b y a ( p o s s i b l y c o n c u r r e n t ) e x e c u t i o n o f a s e t o f d a t a b a s e o p e r a t i o n s , f o l l o w e d b y a C o m m i t o r A b o r t . A t r a n s a c t i o n m a y b e a c o n c u r r e n t e x e c u t i o n o f t w o o r m o r e p r o g r a m s . T h a t i s , t h e t r a n s a c t i o n m a y s u b m i t t w o o p e r a t i o n s t o t h e D B S b e f o r e t h e D B S h a s r e s p o n d e d t o e i t h e r o n e . H o w e v e r , t h e t r a n s a c t i o n ’ s l a s t o p e r a t i o n m u s t b e a C o m m i t o r A b o r t . T h u s , t h e D B S m u s t r e f u s e t o p r o c e s s a t r a n s a c t i o n ’ s d a t a - b a s e o p e r a t i o n i f i t a r r i v e s a f t e r t h e D B S h a s a l r e a d y e x e c u t e d t h e t r a n s a c t i o n ’ s C o m m i t o r A b o r t . T r a n s a c t i o n S y n t a x U s e r s i n t e r a c t w i t h a D B S b y i n v o k i n g p r o g r a m s . F r o m t h e u s e r ’ s v i e w p o i n t , a t r a n s a c t i o n i s t h e e x e c u t i o n o f o n e o r m o r e p r o g r a m s t h a t i n c l u d e d a t a b a s e a n d t r a n s a c t i o n o p e r a t i o n s . F o r e x a m p l e , c o n s i d e r a b a n k i n g d a t a b a s e t h a t c o n t a i n s a f i l e o f c u s t o m e r a c c o u n t s , c a l l e d A c c o u n t s , e a c h e n t r y o f w h i c h c o n t a i n s t h e b a l a n c e i n o n e a c c o u n t . A u s e f u l t r a n s a c t i o n f o r t h i s d a t a b a s e i s o n e t h a t t r a n s f e r s m o n e y f r o m o n e a c c o u n t t o a n o t h e r . P r o c e d u r e T r a n s f e r b e g i n S t a r t ; i n p u t ( f r o m a c c o u n t , t o a c c o u n t , a m o u n t ) ; / ’ T h i s p r o c e d u r e t r a n s f e r s “ a m o u n t ” f r o m “ f r o m a c c o u n t ” i n t o “ t o a c c o u n t . ’ ” t e m p : = R e a d ( A c c o u n t s [ f r o m a c c o u n t ] ) ; i f t e m p < a m o u n t t h e n b e g i n o u t p u t ( “ i n s u f f i c i e n t f u n d s ” ) ; A b o r t e n d

4 C H A P T E R 1 I T H E P R O B L E M e l s e b e g i n W r i t e ( A c c o u n t s [ f r o m a c c o u n t ] , t e m p - a m o u n t ) ; t e m p : = R e a d ( A c c o u n t s [ t o a c c o u n t ] ) ; W r i t e f A c c o u n t s [ t o a c c o u n t ] , t e m p + a m o u n t ) ; C o m m i t ; o u t p u t ( “ t r a n s f e r c o m p l e t e d ” ) ; e n d ; r e t u r n e n d “ T r a n s f e r ’ ! i l l u s t r a t e s t h e p r o g r a m m i n g l a n g u a g e w e w i l l u s e i n e x a m p l e s . I t i n c l u d e s t h e u s u a l p r o c e d u r e d e c l a r a t i o n ( P r o c e d u r e p r o c e d u r e - n a m e b e g i n p r o c e d u r e - b o d y e n d ) , a s s i g n m e n t s t a t e m e n t ( v a r i a b l e : = e x p r e s s i o n ) , a c o n d i - t i o n a l s t a t e m e n t ( i f B o o l e a n - e x p r e s s i o n t h e n s t a t e m e n t e l s e s t a t e m e n t ) , i n p u t ( w h i c h r e a d s a l i s t o f v a I u e s f r o m a t e r m i n a l o r o t h e r i n p u t d e v i c e a n d a s s i g n s t h e m t o v a r i a b l e s ) , o u t p u t ( w h i c h l i s t s v a l u e s o f c o n s t a n t s o r v a r i a b l e s o n a t e r m i n a l o r o t h e r o u t p u t d e v i c e ) , b e g i n - e n d b r a c k e t s t o t r e a t a s t a t e m e n t l i s t a s a s i n g l e s t a t e m e n t ( b e g i n s t a t e m e n t - l i s t e n d ) , a s t a t e m e n t t o r e t u r n f r o m a p r o c e d u r e ( r e t u r n ) , a n d b r a c k e t s t o t r e a t t e x t a s a c o m m e n t ( / * c o m m e n t * / ) . W e u s e s e m i c o l o n s a s s t a t e m e n t s e p a r a t o r s , i n t h e s t y l e o f A l g o l a n d P a s c a l . T h e c h o i c e o f l a n g u a g e f o r e x p r e s s i n g t r a n s a c t i o n s i s n o t i m p o r t a n t t o o u r s t u d y o f c o n c u r r e n c y c o n t r o l a n d r e c o v e r y . I n p r a c t i c e , t h e l a n g u a g e c o u l d b e a d a t a b a s e q u e r y l a n g u a g e , a r e p o r t w r i t i n g l a n g u a g e , o r a h i g h l e v e l p r o g r a m - m i n g l a n g u a g e a u g m e n t e d w i t h d a t a b a s e o p e r a t i o n s . N o m a t t e r h o w t h e t r a n s - a c t i o n i s e x p r e s s e d , i t m u s t e v e n t u a l I y b e t r a n s l a t e d i n t o p r o g r a m s t h a t i s s u e d a t a b a s e o p e r a t i o n s , s i n c e d a t a b a s e o p e r a t i o n s a r e t h e o n l y w a y t o a c c e s s t h e d a t a b a s e . W e t h e r e f o r e a s s u m e t h a t t h e p r o g r a m s t h a t c o m p r i s e t r a n s a c t i o n s a r e w r i t t e n i n a h i g h l e v e l l a n g u a g e w i t h e m b e d d e d d a t a b a s e o p e r a t i o n s . T r a n s f e r i s a n u n r e a l i s t i c p r o g r a m i n t h a t i t d o e s n ’ t p e r f o r m a n y e r r o r c h e c k i n g , s u c h a s t e s t i n g f o r i n c o r r e c t i n p u t . A l t h o u g h s u c h e r r o r c h e c k i n g i s e s s e n t i a l i f a p p l i c a t i o n p r o g r a m s a r e t o b e r e l i a b l e , i t i s u n i m p o r t a n t t o o u r u n d e r s t a n d i n g o f c o n c u r r e n c y c o n t r o l a n d r e c o v e r y p r o b I e m s . T h e r e f o r e , t o k e e p o u r e x a m p l e p r o g r a m s s h o r t , w e w i l l i g n o r e e r r o r c h e c k i n g i n t h o s e p r o g r a m s . C o m m i t a n d A b o r t A f t e r t h e D B S e x e c u t e s a t r a n s a c t i o n ’ s C o m m i t ( o r A b o r t ) o p e r a t i o n , t h e t r a n s - a c t i o n i s s a i d t o b e c o m m i t t e d ( o r a b o r t e d ) . A t r a n s a c t i o n t h a t h a s i s s u e d i t s S t a r t o p e r a t i o n b u t i s n o t y e t c o m m i t t e d o r a b o r t e d i s c a l l e d a c t i v e . A t r a n s a c - t i o n i s u n c o m m i t t e d i f i t i s a b o r t e d o r a c t i v e . A t r a n s a c t i o n i s s u e s a n A b o r t o p e r a t i o n i f i t c a n n o t b e c o m p l e t e d c o r r e c t l y , T h e t r a n s a c t i o n i t s e l f m a y i s s u e t h e A b o r t b e c a u s e i t h a s d e t e c t e d a n e r r o r f r o m w h i c h i t c a n n o t r e c o v e r , s u c h a s t h e “ i n s u f f i c i e n t f u n d s ” c o n d i t i o n i n T r a n s f e r .

资料库

Concurrency Control and Recovery in Database Systems.pdf

相关推荐

数据库

热门标签

最新资料