Active XQuery

 


 
   
  
 





    
  
  


  

 !  " #$  % $ &  ' ( # )  

 
   




*  +

$# $, - 





$  .-  /%0 #  "#



12

 " .-     #-  #

$ $ - ,$ $, - - 1 

 # 1  ,$# - 1  $ $, $ .$ 1  3  .  + -

$ 1" #$ 4##   ,5 -    6 $1 $ "  -  11 $ 1   -     $ 1  7- .    -$. - $#1$  1$ 6 $, 1 " /%0    -   1$

" "   6 " 

 $$  $ "- .  1$ " .$     8 $ #  


 

   
  
           
 
  
 
    
  


  
   
   
  
  
  
 ! 


  
 
  
"   
 
     
 #$% 

   
             

          

  
 
  
 
  
 
 
 
  
    

    
 
   

 
   
 
 
   

    
  
      &'( ) (* +     
 
 
   
   ,
    -"  !    
 

    
          "            
 
 ! &. / 0*   

  
  
   

 
#$% 
   
  
  
     
 
 
 
  
  #1 &''*   
 #$% , 
   
       
   
 
 
  2  

 
   
 
 3  
 
  
 
  
    
        

    
 
       
 

'

" $,   , $  6$ -

 $ $# &'4*  5 &6* 
5 &'7* 8 &')* 
  
     
   
 
    
 
   


   #$%          
   


 
 
 
     
   
   
      
  ,  3 
   
     #1    
  " 

  ,       #$%          
       
   ,  
   
 
 
   "    "   

 , 
 
     
 #$%      
 
   
    

 , 
      

     
 
     
   
 
 
 

 
  
 
 , 
 
 
 
 
 
 

 
 $       
  
  

       
   
 
  

 , $ 


 
#$% , 
      9:   ,!    

 3   
  
    


 
    
  ; 



#9 >
 # 
7 



 
7  9 
  


'

 .(  
 #.( 9 >


#9 >
 # 
7 



# 
%0

   
  
  
 
  
  

B  
 ; 

 < 
  ! 
  
   
 
  
   @ '   @ 

   


  
 

  
  
 
   
 
   

    



    ! 6    @  
   


  

 



 
 

     
 
  



  "  

-     , 
 ! 
  
  
        
 

 
      "

    !" 
 
    

    
     ! ;
  ! # #)7$7 $)%??7) .
: ,$7) :77$7 , 
 (/   0(1##

 ,) 7>6 .:7 : / ,) - %0 %. 
 (/   0(1## 
%02 -=  %. - %0# 
7  @.(  :A.:7# 
B2 -:) %. -= # / 2 :A.:7#1 89:$7 - %0 ; :77$7 -:) < 1

       
 

  
 

 
  
      
 ! 
  


        $$%" 
  
 G H !" 
      $$%"
 
    
"  

 
    

   !"



$ -  6"

$

"

%:)7,

.- 

%:)7,

$" $ -  8 8 $ 1$1$   ='>

6    



" $,   , $  6$ -

>)7$7 $)%??7) .37  ,$7) %.7)$ , 
 (/   0(1##

 ,) 7>6 .:7 7$ - 
.
%  + / ,) - %. .75A.:7# 
567)7 (/## 
%0# 
7 @.(-B1 )7$8). - 1 567. / 
/ (/- 
.
%  11 1 : / ,) - %. 
 (/   0(1## 
%02 -.3 
%. - 
.
%  89:$7 - ; %.7)$  
7  .( ;-.3 
#0/1< #.( 9 >
 * #9 >
 # 
7  < 1 >)7$7 $)%??7) .3)  5%$6 9)%)%$C DE* ,$7) %.7)$ , 
 (/   0(1##

 ,) 7>6 .:7 : / ,) - %. 
 (/   0(1## 
%02 - %. -# 
7 @.(-B 89:$7 - ; %.7)$ 3A / 2 .75A.:7#1< 1

+
  "
 "&" 
 
 "&" 

 
   B  
 ; 
  "
 "&"   )7$7 $)%??7) % (>
 ,$7) %.7)$ , ##3A / 1 ,) 7>6 .:7 7$ ->
 + .75A.:7#

#9 >
 : / ,) - 
7  %. .75A.:7#

89:$7 - 
7  ; )79>7 ->
 5%$6 ->
 F E < 1

  
     " 
   
  

 
    
    ;$$%"
  "
 "&"7:8)7 7J7>8$7A$$7=7.$/( 1 E > 7J9.:A$$7=7.$/1  
       /),  %1 H ,
 ( %  %2    H E  K74
K   
2  >=98$7A7,)7A>.,%>$A7$/2 ),12 3     (  
% H H  K74 K   
2  >=98$7A,$7)A>.,%>$A7$/2 ),12 3     (  
% H I   (2 0  %2

  J= 

 9)>7:8)7 7J9.:A$$7=7.$/( 1 )7$8). , (&  ),2 (%  
  % E ) 4 ),2  
  (    4 
 0 

  H 70  
%  4  ), 3  0 
 
( I )  %  ), /.75A), #
:A),1 9)>7:8)7 >=98$7A7,)7A>.,%>$A7$ /( 2 , (&  ),1 E >
(  $2  
   7,)7   4   H    
(    
 
 

  I ,
   $  $2 9)>7A$)%??7)/$1 9)>7:8)7 >=98$7A,$7)A>.,%>$A7$ /( 2 , (&  ),1 E >
(  $2  
   ,$7)   4   H    
(    
 
 

  I ,
   $  $2 9)>7A$)%??7)/$1

 /9 

'

9)>7:8)7 9)>7A$)%??7)/  $1 E >  
 
 
 
.75A.:7/1  :A.:7/1

H % 2 4     
 $    3 4  

I 74   

 >
 $  % > 4  
$)872 7J7>8$7A$$7=7.$/1 /   

 $1

FOR $x IN ... RETURN $x ...

2

1

Data extraction

4

FOR $x IN ... UPDATE $x { DELETE... INSERT... }

Sn

RF

User’s statement

5

Statement expansion

Update expansion module

Relevant fragments

USt

Sk

Sequence of expanded statements

3 Conflict set

P

6

CS

Event

Query Engine

Old

New

Condition Action

Rule R1

A1

7 XML data

Rule Repository

Rule Engine

   

# - 


    4& -  
! 
  " 
 
  '      

 ;+