ASM Specification of Database Systems

0 downloads 0 Views 229KB Size Report
Therefore, the consideration of database systems semantics becomes very difficult. ..... Answer, which can be a status message or a relation in case of a simple ...
        ¾

   ½      ¾ ½                    !"    # "  " $ %  & '     " ( ) **   "    

     

      &      % &   &         '&     &        %  Æ"   &     &     '  !!    % !  "   +          "  "  '    ,  -    -  &  "  "  

  

        

                     

                                                                                              

           !"                  !  # $  %%&  !  #          '                  !"                  ! $( %%& )    !"                     *      "          *                   )           $( %+&       (    ,                          !"  

  "                                               "           "    *-./ $ 00&                      -.                                  $ 00& *                   /                  1   12                  $3( 00& 4      $ 506&      #                   ( /        

         7          "     ( /  8(/9      #  #            7       $ 506& )                   :                  

              ,                                                    

;

. ( /  '   "    . 01

                 '                                               ,      8             9             #    >         #                              :                        >                         >      #                                           

 (/  #       > : '(           )   #     :                    #                 8!"9     "#            #       '(         )    #       6             '(        )      #       ;                                    ,     '(  !     )        #       A"6   #       /( '(  "#     ) 7  D               >      

          >     -        #      

      

)              #           #      4 6E      4 ;0            #    F        #   4 ;0     &   %    *

   #                       #        G                                   8  9     8       9

     #    :     

       !    "   #  

    

. ( /  '  2 . ! -  &    

E

                           #             (/    #                                       (/  (  AD           !   

 " $    %    &     % 

  $    %    &  

   !      '      %   ((   %   

   %  !   

       

   #              .,       )    & !&/ & 0    $6&  %  4        $&  

     $@&    $@& 1

  $    %    &   >   

!:,     !   

 " $    %    &     %             $$   $>& !&/ & 0  $6# $2=   6    $=&3&&  %  4 =  2@  $   &@3 1

  $    %    &     $   &   !  $&     $!    $9 :   9&&7  !  $ 6 2996 9936 ((         

2   !:    $& !    3&     $!    $9 :9&&7  !  $ 6 2996 9A936 ((          6 DAD     2   !:, $& !    3&

@  #   , 1       4  # :   %  $& 7 0 * $!    $9 :9&6 29 / :  9   6 <   5 36   &  % 6 * $!    $9 :9&6 29.  : 9   6 <   5 36   &  % 6 * $!    $9 :9&6 29*  :9   6 9   96 9   96 9   96 9    96 9  96 9 /  96 <      5

6;

. ( /  '   "    . 01 36   &  % 6 * $!    $9 :9&6 29"  :9   6 9  96 9   96 9 96 9  96 9= 96 9 96 9   96 9  96 9  9 36   &  % 6 * $!    $9 :9&6 29*  9   6 9"   E=

96 9  *96 9E * 96 9E % 96 9E* 96 9  96 9)   96 9#  *

96 9    % 9 36   &  % 6  $    $9" % :9&6 # $2 9@9   6 9?96 9F96 9G9 3&&  % 

1 +   %  $& 7 0 +  $    $9*  9&6 # $2 ?   6 9  *9 3&&  % 6 +  $    $9*  9&6 # $2 H   6 9 9 3&&  % 6 ((           

       /   $    $9*  9&6 # $2 I   6 9)   9 3&&  % 6  $    $9" % :9&6 # $2 9 9   6 996 9 96 99 3&&  % 6 +  $    $9" % :9&6 # $ 2 9 7((    (J  ( :( (     (9   6 9 7((        (   (  K 96 9 7((    (J  ( :( ( (96 9 7((    (J  ( :( (/ (9 3&&  %  1 *  %  $& 7 0 * $!    $9 :   9&6 29"  9   69936   &  % 6 * $!    $9 :   9&6 29"  :9   69 936   &  %  1   /  %  $& 7 0    $236    $9*  9&6 6 &  % 6    $236    $9===9&6 6 &  %  1

@           4  #            ,  ,                    ,                   $&     '$& !  $&   %  $&

   =  '" $&

   $9#    7 9&  !$&  !$2  "  $9 9& "  3& 7 23 +   %  $&

   =  '" $&

   !$&  !$2  "  $9 9& "  3& 7 23 *  %  $&

. ( /  '  2 . ! -  &    

   =  '" $&

   !$&  !$2  "  $9 9& "  3& 7 23   /  %  $&

   =  '" $&

   !$&  !$2  "  $9 9& "  3& 7 23  $&B  $9#     7 9&  !$   &

- *,        

1               #      : #    7   7    7        7        7        7        7        7   ;     / 7 ; $" % :&   7    7    7    7    /    7    7     7        7        7     7 :   LF 9E * 9 LG 9E* % 9 LM 9E** 9 LH 9 9 LI 9)   9 LN 9#  *

9 LO 9   * % 9 L@ 9"   E=

9 L? 9  *9   7    ===       7  

01

      ,          : #     7     7 < 5    ) 7 < 5    .  : 7 <   5    " % :7 :  :  :

:/ 

6A

6D

. ( /  '   "    . 01

9 7((    (J  ( :( (     (9 9 7((        (   (  K 9 9 7((    (J  ( :( ( (9 9 7((    (J  ( :( (/ (9       7 < 5    . 7 < 5     7 < 5    *  7 :   LF 9E * 9 LG 9E* % 9 LM 9E** 9 LH 9 9 LI 9)   9 LN 9#  *

9 LO 9   * % 9 L@ 9"   E=

9 L? 9  *9    * :  7 < 5    *  7 < 5    *  :7   :   L@ 9   9 L? 9   9 LF 9   9 LG 9    9 LM 9  9 LH 9 /  9 <     5    C 7 < 5    )  7 < 5    ' 

:  7 < 5    !  7 < 5     / :  7 <   5     / 7 < 5    .  7 < 5    . : 7 < 5    "  7 < 5    "  :7   :   LN 9  9 LO 9  9 L@ 9  9 L? 9   9 LF 9 9 LG 9  9 LM 9= 9 LI 9   9      :  7 < 5    * 7 < 5 < 

             5  $" % :: &   $" % :: &   $" % ::     &   $" % ::/ &  <           5 ; $" % :& 01 ; $*  & 0 :1 <         5

. ( /  '  2 . ! -  &    

6E

!

    



  !

  && .

                  #       (/2 1  #                                          #  #             #   "     #         #   "   (    #                 #                           :GG 1     ,         #                    4                  /   0 1

(        #             # "             )                                          #      )       ,        F)                

                #      #       #         $3(1%I& )              (/   "# 

45    6 7  8 "%  + "    9 $  .        & 2 .   " . 01 : 8 "%  (+ ;"    =?  1 !     *F 4+A5 8 "%  ? !