# LaTeX2HTML 95 (Thu Jan 19 1995)
# Associate image original text (scrambled) with physical files.

$key = q/{_inline}$r_1${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img15.gif">'; 
$key = q/{table}[ht]centerlabelt:tab2tabular|l|c|l|c|l|multicolumn2c(1);SPM_amp;multicolumn1c;SPM_amp;multicolumn2c(2)cline1-2cline4-5bfname;SPM_amp;bfposition;SPM_amp;;SPM_amp;bfposition;SPM_amp;bflocationcline1-2cline4-5Tanaka;SPM_amp;M;SPM_amp;;SPM_amp;M;SPM_amp;Kamakuracitycline1-2cline4-5Yokota;SPM_amp;O;SPM_amp;;SPM_amp;O;SPM_amp;Minatowardcline1-2cline4-5Kawamura;SPM_amp;N;SPM_amp;;SPM_amp;N;SPM_amp;Kawasakicitycline1-2cline4-5Naganuma;SPM_amp;Mcline1-2tabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img20.gif">'; 
$key = q/{_inline}${t|P(t)}${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img51.gif">'; 
$key = q/{tabular}|c|c|c|hlinemulticolumn3|c|bfMode,inputandoutputhlinehlinemulticolumn1|c|Mode;SPM_amp;input;SPM_amp;outputhlineanm;SPM_amp;memberinformation;SPM_amp;memberinformationhlinemm;SPM_amp;memberinformation;SPM_amp;memberinformationhlinedm;SPM_amp;memberinformation;SPM_amp;normalhlinescd;SPM_amp;searchcondition;SPM_amp;memberinformationhlineshd;SPM_amp;searchcondition;SPM_amp;memberinformationhlinesad;SPM_amp;searchcondition;SPM_amp;memberinformationhline{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img125.gif">'; 
$key = q/{_inline}$RdivS${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img46.gif">'; 
$key = q/{displaymath}(r_1,cdots,r_n)inRwedge(s_1,cdots,s_m)inS;supset;(r_1,cdots,r_n,s_1,cdots,s_m)inRtimesS{displaymath}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img30.gif">'; 
$key = q/{_inline}$P(t)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img52.gif">'; 
$key = q/{_inline}$D_1timesD_2timescdotstimesD_n${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img2.gif">'; 
$key = q/{_inline}$rightarrow${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img18.gif">'; 
$key = q/{_inline}$pi_{A_1,cdots,A_k}R${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img34.gif">'; 
$key = q/{displaymath}r_1[B_1]=r_2[B_1];supset;r_1[B_2]=r_2[B_2]{displaymath}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img17.gif">'; 
$key = q/{_inline}$B_2${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img10.gif">'; 
$key = q/{_inline}$RsetminusS${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img28.gif">'; 
$key = q/{_inline}$B_1${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img11.gif">'; 
$key = q/{table}[ht]centerlabelt:tab3tabular|l|l|l|hlinebfname;SPM_amp;bfhobby;SPM_amp;bfclubhlineKawamura;SPM_amp;music;SPM_amp;golfhlineKawamura;SPM_amp;golf;SPM_amp;golfhlineTanaka;SPM_amp;readingbooks;SPM_amp;skiinghlineTanaka;SPM_amp;readingbooks;SPM_amp;tabletennishlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img21.gif">'; 
$key = q/{_inline}$(s_1,cdots,s_m)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img49.gif">'; 
$key = q/{figure}[ht]centersetlengthunitlength1mmthicklinespicture(150,40)%put(122,16)makebox(0,0)[l]datamanipulationsput(90,22)makebox(0,0)schemaput(90,16)line(0,-1)16put(90,14)vector(1,0)30put(90,14)vector(-1,0)30put(30,30)makebox(0,0)integrityconstraintsput(30,10)makebox(0,0)databasestatesput(0,20)line(0,-1)20put(60,20)line(-1,0)60put(60,0)line(0,1)20put(0,0)line(1,0)60picturelabelf:modelcenter{figure}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img1.gif">'; 
$key = q/{_inline}$(RtimesS)divS=R${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img50.gif">'; 
$key = q/{displaymath}(NRsetminus{nt})cup{(v_1,cdots,v_ij,cdots,v_n)|1leqjleqn}{displaymath}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img57.gif">'; 
$key = q/{_inline}$D_1,D_2,cdots,D_n${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img3.gif">'; 
$key = q/{_inline}$sigma_mboxhobby=readingbooksR;cup;sigma_mboxposition=M${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img60.gif">'; 
$key = q/{table}[ht]centerlabelt:nr1tabular[t]|l|l|multicolumn2c(1)hlinebfname;SPM_amp;bfhobbyhlineKawamura;SPM_amp;music[-2mm];SPM_amp;golfhlineKawamura;SPM_amp;golf[-2mm];SPM_amp;skiinghlinetabularhspace5mmtabular[t]|l|l|multicolumn2c(2)hlinebfname;SPM_amp;bfhobbyhlineKawamura;SPM_amp;music[-2mm];SPM_amp;golf[-2mm];SPM_amp;skiinghlinetabularhspace5mmtabular[t]|l|l|multicolumn2c(3)hlinebfname;SPM_amp;bfhobbyhlineKawamura;SPM_amp;music[-2mm];SPM_amp;golfcline2-2;SPM_amp;golf[-2mm];SPM_amp;skiinghlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img59.gif">'; 
$key = q/{_inline}$B_2={A_k,cdots,A_l}${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img9.gif">'; 
$key = q/{table}[ht]centerlabelt:tab5tabular|l|l|l|hlinebfname;SPM_amp;bfhobby;SPM_amp;bfclubhlineKawamura;SPM_amp;music;SPM_amp;golf[-2mm];SPM_amp;golf;SPM_amp;hlineTanaka;SPM_amp;readingbooks;SPM_amp;skiing[-2mm];SPM_amp;;SPM_amp;tabletennishlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img53.gif">'; 
$key = q/{_inline}$RtimesS${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img29.gif">'; 
$key = q/{_inline}$R(name,hobby)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img24.gif">'; 
$key = q/{_inline}$sigma_C(R)=R'${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img32.gif">'; 
$key = q/{_inline}$(r_1,cdots,r_n)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img47.gif">'; 
$key = q/{_inline}$nt=(v_1,cdots,{v_i1,cdots,v_ik},cdots,v_n)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img56.gif">'; 
$key = q/{_inline}$RcapS=RcupSsetminus(RsetminusS)setminus(SsetminusR)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img35.gif">'; 
$key = q/{_inline}${A_1,cdots,A_n}${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img5.gif">'; 
$key = q/{_inline}$R(name,club)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img25.gif">'; 
$key = q/{table}[ht]centerlabelt:tab1tabular|l|c|l|hlinebfname;SPM_amp;bfposition;SPM_amp;bflocationhlineTanaka;SPM_amp;M;SPM_amp;KamakuracityhlineYokota;SPM_amp;O;SPM_amp;MinatowardhlineKawamura;SPM_amp;N;SPM_amp;KawasakicityhlineNaganuma;SPM_amp;M;SPM_amp;Kamakuracityhlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img4.gif">'; 
$key = q/{table}[ht]centerlabelt:tab4tabular|l|l|l|l|l|multicolumn2c(1);SPM_amp;multicolumn1c;SPM_amp;multicolumn2c(2)cline1-2cline4-5bfname;SPM_amp;bfhobby;SPM_amp;;SPM_amp;bfname;SPM_amp;bfclubcline1-2cline4-5Kawanura;SPM_amp;music;SPM_amp;;SPM_amp;Kawamura;SPM_amp;golfcline1-2cline4-5Kawanura;SPM_amp;golf;SPM_amp;;SPM_amp;Tanaka;SPM_amp;skiingcline1-2cline4-5Tanaka;SPM_amp;readingbooks;SPM_amp;;SPM_amp;Tanaka;SPM_amp;tabletenniscline1-2cline4-5tabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img26.gif">'; 
$key = q/{picture}(20,15)%put(5.0,14.0)circle1.0put(5.4,14.0)vector(0,-1)0.2put(5,13)makebox(0,0)[b]main:server_main4put(5,12.8)vector(0,-1)1.2put(5.3,12.1)makebox(0,0)[bl];SPM_quot;irpr;SPM_quot;put(8.5,13.2)vector(1,0)2.5put(9.8,13.5)makebox(0,0)[b];SPM_quot;xxx;SPM_quot;put(12.0,13.1)makebox(0,0)[bl]xxx_request:client_request3put(5,11)makebox(0,0)[b]irpr_request:client_request3put(5,10.8)vector(0,-1)1.2put(5,9)makebox(0,0)[b]irpr_service:service2put(5,8.8)vector(0,-1)1.2put(5,7)makebox(0,0)[b]irpr_kappa:create4put(5,6.8)vector(0,-1)1.2put(5,5)makebox(0,0)[b]irpr_kappa:irpr_loop4put(5,4.8)vector(0,-1)1.2put(5,3)makebox(0,0)[b]irpr_kappa:exec5%multiput(5,2.8)(0,-0.2)5circle*0.1put(5,1.8)vector(0,-1)0.2put(5,1)makebox(0,0)[b]kappaput(15,9)makebox(0,0)[b]irpr_service:service_loop7put(15,8.8)vector(0,-1)3.2put(15,5)makebox(0,0)[b]irpr_service:exec_irpr5put(17.3,7)makebox(0,0)[b]Mode,Search_condput(9.4,9.1)vector(1,0)1.6put(10.2,9.4)makebox(0,0)[b]Modemultiput(11.0,5.1)(-0.2,0)7circle*0.1put(9.6,5.1)vector(-1,0)0.2{picture}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img126.gif">'; 
$key = q/{_inline}$B_1rightarrowB_2${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img12.gif">'; 
$key = q/{_inline}$(r_1,cdots,r_n,s_1,cdots,s_m)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img48.gif">'; 
$key = q/{_inline}$R(A_1,cdots,A_n)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img6.gif">'; 
$key = q/{_inline}$A_j${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img41.gif">'; 
$key = q/{_inline}$A_i${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img40.gif">'; 
$key = q/{table}[ht]centerlabelt:nr2tabular[t]|l|l|c|multicolumn3c(1)hlinebfname;SPM_amp;bfhobby;SPM_amp;bfpositionhlineTanaka;SPM_amp;readingbooks;SPM_amp;M[-2mm];SPM_amp;skiing;SPM_amp;Ihlinetabularhspace5mmtabular[t]|l|l|c|multicolumn3c(2)hlinebfname;SPM_amp;bfhobby;SPM_amp;bfpositionhlineTanaka;SPM_amp;readingbooks;SPM_amp;MhlineTanaka;SPM_amp;readingbooks;SPM_amp;IhlineTanaka;SPM_amp;skiing;SPM_amp;Mhlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img61.gif">'; 
$key = q/{_inline}$(r_1,cdots,r_n,p_1,cdots,p_m)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img44.gif">'; 
$key = q/{_inline}$mid${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img122.gif">'; 
$key = q/{_inline}$^2${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img55.gif">'; 
$key = q/{_inline}${A_1,cdots,A_k}${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img33.gif">'; 
$key = q/{_inline}$B_1={A_i,cdots,A_j}${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img7.gif">'; 
$key = q/{_inline}$R'${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img31.gif">'; 
$key = q/{_inline}$RcupS${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img27.gif">'; 
$key = q/{_inline}$rightarrowhspace-3mmrightarrow${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img22.gif">'; 
$key = q/{_inline}$r[A_i]${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img13.gif">'; 
$key = q/{_inline}$r_2${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img16.gif">'; 

1;