Upload
cchan113
View
212
Download
0
Embed Size (px)
DESCRIPTION
Databases
Citation preview
� ������ �� � �� �� �������� �
��� ��� ��� ���� ���� �! "
�# ! ��$ �# ��� � ��
�% ��!&� �' � "( ) ! *�� � '
�+!$-,.���(% ��!&� �'
�# /�(!01�$ �"$
�% ��!&� �'32� /� ! "�� ��� " 4�� "��� �! "�
�.� 5� �6� "�$ � *� "
��� ��� ��0 � /+!��! 78! "&! �� ���# ! ��$ �
�)(&� "��(% ��!&� �' 4�� /"�9 ���
:� ;<= ��� <��� ;>��� ; ?
�+!$ ��� �� ��! �� @ �� "��� �! "�� ""! �! *A �� �(�� !�! *�
�" � �"� �� ��! ��! "( � �! "
�#' � � *� ��! �� @ /�(� �B����' � � **�� � �*�"� �� "�� �&�
�� "��� �! "(�� !� "� ��! ��! "( � �! "C � D$ DE (��( �!� FG
�#' � � *� ��� /@�A !0� �7� ��� ��! �! /� �/� �(0� �� 7� ��� ��������
/��' � � * !� ��� /
�H�� F7� ��� �� @� /��(� ��� /! 7� �*��� �7� ��� ��(�� �!' �� ��! �A � �
! 7( �� F� ! ��$ �
� � ��I �� � �=��= ��
�J ! �� ���� ! ��$ � @
K(!�� "! �� �& �&��' � � *� ��� /��
K� L� *A ��� @*� �"*� *! �' E ��� /� *� *! �'
�8! "&! �� ���� ! ��$ � @
K�� �& �&���' � � *� ��� /��
K� L� *A ��� @( �� FE �A �
�# �B ��� ! ��$ � @
K� *' /��� �7! �*! 7� ! ��$ � /� �� �& �&��� ��7� ��� ���
K�AA �! L�*� �(B' *� �" � �"�"$ *� � �A ���!A ���! "( �� �"�
"! "&! �� ��� *�( ��
� ��M <��N� � ��I � O�� <� �� ?��� ; ?
�1�! �� � ! ��$ � *�( �� 7�! *7� ��� ��(� ��"$ (� � �� "� 7� �P �' � � *
*�� *� �" � �" 0!A /' � ��� �B �!� F� 7! ���� /�!$ ��� �(� �B���
B �!� FD
�QL��� �!� A � !A � �� �! "�� 7! ��!0� @
RD2�� � /� �"7! �*� �! "! " ! /� ��� A /' � ��� �B �!� FD
SD2/� " /� ��� 0 �� �������� 7� ��' �! *A �� ��E 0 �� � /��� *�
�"7! �*� �! "! " ! /����! "(A /' � ��� �B �!� FD
T D4/�!� A � ���! *A �� �(! "�' � 7 � � /����! "(0 �� �
������� 7� ��' �! *A �� �� D
U��� V�����
�WXY[Z\]^_`_a]bZ� �� /!��B �!� F� ��� �( �"$ ! " /�( �� FP `cd[ef
`_a]bZ� �� /�B �!� F� ��� �( �"$ � *A ! �� ���' �"*� �"*� *! �' D
�.�!� F*!&� *� " �B� 0�� "( �� F� "( *� �"*� *! �' � �� �"� �� �(
/�!�$ / /� 7! ��!0 �"$ 0!!A � �� �! "� @
KghikjlCnmG �� "� 7� �� /�A /' � ��� �B �!� Fm ! *� �"*� *! �' D
KojlikjlC mG �� "� 7� �� /�B� 5� �B �!� Fm ! /�( �� FE � "(
��A ����� /��AA �!A ��� �A /' � ��� �B �!� F /� �� D
U��� p�� ?� q� �
�4/� �� "� 7� �! 7(� �B� 0�� " /�(� �B���� "(A �!$ �� *
&� ���B ��� �����! *A ��� /�(�� �"$ @
KrstuCnvG ��� �$w"� /�&� ���! 7(� � � � *v ! /� �!�� �
&� ���B ��xy D
z{7 /�B �!� Fm| ! "0 /�� /v��� �(�� �� "! �"*� �"
*� *! �' E /� "����� ghikjlC m|G D
z)�� �$w" !xy /�&� ���! 7v7�! * /�B� 5� �B �!� FD
K} rglsCnvG ��� �$ "� /�&� ���! 7�!�� �&� ���B ��xy !(� � � � *
v�" /�B� 5� �B �!� FD
z{7B �!� Fm| �� "! �"*� �"*� *! �' E /� "�����
ghikjlC m|G D
z)�� �$w" /�&� ���! 7xy ! v�"B� 5� �m| D
~�� �� <� qU��� p�� ?� q� �� ?� V�����
T1
T2
write(B
)read(A
)
write(B
)
read(A)
global buffer
local bufferlocal buffer
AAB
mem
orydisk
actual
ABAB
V��= ���� ; ?�
�Q�� /(� � � � *�� "B� ���(� "(0 �� � "! "�' ! "��B' ! "�� �"$ ��
�� "��� �! "D{ �� "B� *!( ���( *� "' �*�� �" /� �!�� �B� 5� �
�J � ����� ��0 �� � "! " ! /�$ �!B� �B� 5� ��A ��� �" /��� *�
��9 �� " �� �! �(� � /� /�0 �� � �"� ��� �! "�� �� �����(
�{7 /� �� "��� �! "���(��&� ��� 7�! * /�(� �B���� "( /��
&� ���0��A ��& �!�� �' *!( ���(E � � �0�' �$ � � /� �� �� &� ���
�� ! **� " @�(� ���� � *��� "B�� ���E �� �� �! "E ���! �(E
A /' � ��� �A �$ �E � � D4/�� /! ��� ���A ! /�(�� �$w"� �D
� �� �� ��� ?� V� �;� ;��
�6!( �7' �"$ /�(� �B���0 � /!� � "�� ��"$ /� /� �� "��� �! "
0 ����! **� *�' ���&� /�(� �B��� �"� "�"�! "� �� � " � � � D
��! � �� "��� �! "�y /� �� "� 7� ��� ��7�! *���!� " � !
���!� " �E$ !� ���� � /� � !A � �7! �*� ��(� �B��� *!( ���� �! "�
*�(�B' �y ! �"! "�� � ��D
�{7�yA � �7! �*�( *� � �A ��(� �B��� *!( ���� �! "�E ��&� �� �!� A �
!A � �� �! "� *�' B� ��9 � ���(� "(� 7� ��� �� *�' !��� �� 7 � ��! *�
! 7 /��� *!( ���� �! "� /�&�B�� "*�(�B� B� 7! ��� ��! 7 /� *
� �� *�(� D
�4!� "�� ��� ! *�� � ' E ��� !� A � �"7! �*� �! "(��� ��B �"$ /�
*!( ���� �! "� !� �B ��� ! ��$ �0 � /!� *!( �7' �"$ /�(� �B���
� �� �7D
� I N������ �� �� ��
�)�!$ ��� �� F�A ! "� �B ��� ! ��$ �
�2/� " �� "��� �! "�y � � � �E � ��$ �� � �� � �� �7! " /� �!$ B'
0 �� �"$���y��lt rl�
�2/� "�&� ��y � L��� ��0 �� �Cn�G E /� �� �(�
K �� "��� �! ""� *�C �D� DE �yG
K(� � � � *"� *�C �D� DE �G
K! �(&� ���C � D$ DE���G
K"�0&� ���C � D$ DE���G
� ��0 �� � "��9 �� " �� ��' ! " /� �!$ E � "( /� " /�0 �� �C �G ��
� L��� �(
� I N������ �� �� ��� � ?���
�2/� "�y ���� /�� � ��� � � � *� " E /� ���! �(
��y��o ��gl� ���((�( ! /� �!$
�{7��� *!( ���( /� "� ��! ����A ! "( �"$ �!$ ���! �( ��� �0�' �
��� �� �� ��' 0 �� � "! " /� �!$C � �B ��� ! ��$ �G � "( /� "
�� �� ��' 0 �� � "! " /�(� �B���
�.� 7! �� �y ���! **� �(E � ��� ��! ����A ! "( �"$ �!$ ���! �(� *��
B� �"� �B ��� ! ��$ �
~�� �� <� q� �� �� ��
�� ! "� �(� � �� "��� �! "��� � "( �� 0 /�� /� ��� L��� �(
��9 �� " �� ��' B' /��' � � *E � "(0 � /�"� �� �&� ����! 7��R��E
m�T��
E����E�����E� �¡�
�� @���(C �G
�� @���(C �G
�@��¢ ��
�@��¢R�
���(CnmG
0 �� �C �G
m@�m¢R��
���(C �G
0 �� �C mG
�@��£R�
���(C �G
���(C G
� @�S�
���(C mG
0 �� �C �G
@� ¢ m
�@��¢ m¢ �
0 �� �C G
0 �� �C �G
�@��¢
0 �� �C �G
~�� �� <� q� �� �� ��� � ?���
+!$ ���! �(�
H� �B���&� ����
RD��� �lt rl�
{D
m
¤��
SD���E ! �( m@T��E "�0m@¤���
{{D�
R�
T D���E ! �(� @�E "�0� @R��
{{{D�
���
¤D���E ! �( �@R��E "�0 �@����
{J D�
�¥�
� D��� �o ��gl�
J D
¤¡�
� D��� �lt rl�
J {D�
�T�
¥ D���E ! �( �@���E "�0 �@�¥��
¡ D���E ! �( @¡�E "�0 @¤¡��
¦ D���E ! �( �@��E "�0 �@�T��
R� D��� �o ��gl�
~�� �� <� q� �� �� ��� � ?���
4/�! �(� �! 7�� �� �0 �� �� ! �!$ � "((� �B��� *�$ / B� @
Log12345
Database
IIIIII
678IV
910VVI
Tim
e
~�� �� <� q� �� �� ��� � ?���
{7�� ��� /!��� ��E /� �!$ ��� L� *�"�(� "(&� ��!���� �! "�� �� � F� "
(�A � "( �"$ ! " /� ��� �"� ��� �! "C �� �� ��'G 0 �� � "! "� D
+�� �"� ��� �! "C {G
)� �! "
{ ��
"! /�"$
R§{§¤
� "(!C ��G @��� ! �� /�&� ����! 7 /�&� ���B ���
*!( ���(B' �� !! �(&� ����
� ! "��9 �� "�� @�� /�� "! �� "
�§{§¦��(!C ��G @�� /�&� ����! 7 /�&� ���B ���
*!( ���(B' �� ! /�&� ����� ��� �(B' ��
� "(!C ��G @
� ! "��9 �� "�� @�� �� "E
�� /�� "! �� "
{ �R�
��(!C ��G @
��(!C ��G @
� ! "��9 �� "�� @��E �� �� "
p�� V<I �;� ��
�% �(!� �� �� "��� �! "� 7! �0 /�� / /� �!$ /��B! /�lt rl� "(
�o ��gl
�¨ "(!� �� �� "��� �! "� 7! �0 /�� / /� �!$ /�� �lt rlB� "!
�o ��gl
�% � *� �F� @
K{"� *� � � �� F�"$ �' � � **! �� /� "! "� �� "��� �! "*�'
"��( !B�� "(! "�
K{7��' � � *� ��� /��(� ��"$ /� ���!&� �' � �$ �E /� "�0
���!&� �' *�� � ���$ �&��! ���� ���� � �
K{" /��� �$ ! �� /*E � �� �$ � "� *B� �! 7 �� "��� �! "� "��( !B�
��(! "�E � �"��0�(! "! F"!0 /!0 7� �B� /�"( /�(� �B���
�A (� ��� ��
� ��� ©� ;?��
�# ��� *��"� ���!&� �' A �!��(� ��B' A � ��!( ��� ��' A � �7! �*�"$
]Xe]bª a\«¬\«
RD® � A � � ���!$ ���! �(��� ��� " �' ��� �( �"$ �"*� �"*� *! �'
! " !� �B ��� ! ��$ � D
SD® � A � � ��*!( ���(B� 5� �B �!� F� ! /�( �� FD
T D® � A � � �!$ ���! �(� � ¯s� °i o ghl� ! " !� �B ��� ! ��$ � D
�H� ��"$ ���!&� �'
K¨ "(!� �� �� "��� �! "� /� /�&� "! �! **� �( D
K% �(!� �� �� "��� �! "� /� /�&��! **� �(� 7 � �� /�� FA ! �" D
~�� �� <� q� ��� ©� ;?��
Tc
T 1
T2
T3
T4
Tf
time
system failure
checkpoint
��� ! F��� � "( �± ��(! "�
��² � "(! "�
� ��� ³´�I ;?I
�)� � �"� �&� ! �!$-,B���( ���!&� �' P *� �" � �"¬µaA �$ � �B ���
(� ��"$ /� ��7�! 7� �� "��� �! "
K]cffe«¬A �$ � �B ��
KZX^¶aµA �$ � �B ��
�# ! �� /�� /�(!0A �$ � �B �� �""! "&! �� ���� ! ��$ �P � � �! 7 /�
(� �B���A ��! � ! �� "��� �! "� L��� �! "*�' B� ���!&� ��( D
� ��� ³´�I ;?I� � ?���
�2/� " /� �� "��� �! "�! **� �E /��� ��� " A �$ � �B �� ��
0 �� � " ! "! "&! �� ���� ! ��$ � D
�4/��� ��� " A �$ � �B �� /� "B��! *�� /� "�0� /�(!0A �$ �
�B ��� "( /� "� L �� "��� �! "��� ��!0�( !B�$ �"� L��� �! "D
�Q��*�"� ��!&� �/��(! 7�!$-,���! �(!� A � P����!&� �' 7�! *
� ��� /�� �� 7�� � �D
�H��0B�� F� @
K(� � 7��$w*� " � �! "
K$ � �B�$ ��! ���� �! "
� �� �� ��;� �� ?�= ��� ?� p�� ?���� ; ?�
�+!$ ��� ""�"$¸·0 /� " �� "��� �! "�� L��� ��! "�� ��� " �' E ��&� �� �
�� "��� �! "� *�' /�&�B�� "�� �&�� /� �*�! 7 /� ���
� /�� FA ! �" D
�� ! "�� ��� " �� "��� �! " ,A �!���� �"$ �' � � *��9 � ���� /� /�
� /�� FA ! �" �!$ ���! �(B�! 7 /� 7! �*
� � ¯s� °i o ghl¹�
0 /� �� ¹��� ��� ! 7 �� "��� �! "��� �&�� /� �*�! 7 /�
� /�� FA ! �" D
�2/� " /��' � � *���!&� �� 7�! *�� ��� /� �! "� ��� � 0! ��� � @
Kc«¶a»º_\Z¬�! "� �� �! 7 �� "��� �! "� !B�� "(! "� D
Kfe¶a»º_\Z¬�! "� �� �! 7 �� "��� �! "� !B� ��(! "� D
� �� �� ��;� �� ?�= ��� ?� p�� ?�� � ?���
�® "�� /� ��(! ,��� � "(� "(!»,��� /�&�B�� "�! "� ��� �(E
���!&� �' A �!���(��� 7! ��!0� @
RD% ���� "�!$ 7�! **!� ���� " ���! �(B�� F0� �(� " �� /�
� � ¯s� °i o ghl¹� ���! �(PA � �7! �*j huoC �yG 7! ���� /�y ! "
/�c«¶a º_\Z¬ D
SD� ! " �"�� !��� "�!$ B�� F0� �(EA � �7! �*�"$ j huoC �yG 7! �
��� /�y ! " /�c«¶a º_\Z¬E � " �� /���y¼�lt rl�� ���! �( 7! �
� ���y ! " /�c«¶a»º_\Z¬ /��B�� "�!�� �( D
T D# �� "�!$ 7! �0� �( 7�! *� � ¯s� °i o ghl¹� ���! �(� "(
A � �7! �*rsuoC �yG 7! ���� /�y ! " /�fe¶a º_\Z¬ D
�)7 � �� �� �� "��� �! "�! "c«¶a»º_\Z¬ /�&�B�� "� "(! "�E
�� "��� �! "�! " /�fe¶a º_\Z¬� �� ��(! "� D
�= ½� �
� ?�I � �� ?�
�+!$ ���! �(B� 5� ��"$
K4�� "��� �! "�y � " � �� /��! **� � � �� 7 � � /���y
�o ��gl� �!$ ���! �( /��B�� "!� A � !� �B ��� ! ��$ � D
K.� 7! �� /���y��o ��gl� �!$ ���! �( *�' B�!� A � !
� �B ��� ! ��$ �E � ���!$ ���! �(�A � � � �"�"$ ! �� "��� �! "�y
*�� /�&�B�� "!� A � !� �B ��� ! ��$ � D
K.� 7! ���B �!� F! 7(� � �"*� �"*� *! �' ��!� A � ! /�
(� �B���E � ���!$ ���! �(�A � � � �"�"$ !(� � �" /� B �!� F
*�� /�&�B�� "!� A � !� �B ��� ! ��$ � D
�= ½� �
� ?�I � �� ?�
� � ?���
�H� �B���B� 5� ��"$ ·® &� �0 �� �B �!� Fm� �"*� �"*� *! �'
0 /� "� "! /� �B �!� Fm� "��(� !B�B �!�$ / �" ! *� *! �' P �7m�
/��B�� "*!( ���(E m� *�� B�!� A � A ��! � ! m�¿¾� �"A �
C�À\f¬c^_ÁeÁafYG D
K® � A � !� �B ��� ! ��$ �� ��B �!� Fm� ¾� �!$ ���! �(� D
K® � A � B �!� Fm� !( �� FD
K{"A � B �!� Fm� 7�! *( �� F ! *� �"*� *! �' D
�{7 /�ÂÃ�� ""! � "7! ���!� A � ! 7�!$ ���! �(�A ��! � !!� A �
! 7(� �B���B �!� F�E (� �B����� ""! � ����& �� �� �*� *! �' D
KÅÆ���� �&��A � � ! 7*� �"*� *! �' ���B� 5� �� "( *� "�$ ��
(� �B �!� F �� "� 7� �P ��*� �� *!� " ! 7*� �"*� *! �'
�&� ���B �� ! /�(� �B���B� 5� �D
KÅÆ�*A �� *� " � � �B� 5� �0 � /�" /�& �� �� �*� *! �' ! 7 /�
!A � �� �"$ �' � � *P *�' ���� � �"� L ��!� A � ! 7(� � !( �� FD
:� ;<= ��³ ;� �� �� qÇ ?� <�� ;<�� � ��I �
�1� ��!( ��� ��' ¶cÁª /�� " ����! " � " ! 7 /�(� �B��� !� �B ��
� ! ��$ �
�8! �� "��� �! "*�' B��� �&�(� ��"$ /�(� *AA �!��(� ��P �
A �!��(� ��� �*��� � !� /�� FA ! �" �"$ *�� � F�A ����
K® � A � � ���!$ ���! �(��� ��� " �' ��� �( �"$ �"*� �"*� *! �'
! " !� �B ��� ! ��$ � D
K® � A � � ��B� 5� �B �!� F�! " ! /�( �� FD
K� !A' /��! " � " �! 7 /�(� �B��� !� �B ��� ! ��$ � D
K® � A � � �!$ ���! �(� uj �i � ! " ! /�� �B ��� ! ��$ � D
V��� ?���� �� �� �� p�� �?;È =��
�# �AA ! � /�$ / ,�! "�� ��� "�' �!� F�"$ �� /"�9 ���E ��� /�� /!��
���( 7! �.ÊÉ, ����! "�� ��� "�' �! " �! �P B���(! "�!$ ��� �
C !A � �� �! "G � "(!E � "( 7! ��!0 /�A ��"� �A ��! 7��A �� �"$ /�� ! �' D
�2/� "���!&� ��"$ 7�! *�' � � *7� ��� ��EA � �7! �*� ��(!A ���
�� �"$ /� �!$ E 7! ��!0�(B' � "� "(!A ���! " /� �!$ ! �! ��B�� F
�"�! *A �� � �� "��� �! "� D
�+!$ ��� �� "(! �!$$ �"$
�4�� "��� �! "�! ��B�� F
�� /�� FA ! �" �
�% �� � � ���!&� �'
��� ÄÄ' � /�� FA ! �" �"$