# 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:nr2tabular[t]|l|l|c|multicolumn3c(1)hlinedg名前;SPM_amp;dg趣味;SPM_amp;dg所属hline田中;SPM_amp;読書;SPM_amp;M[-2mm];SPM_amp;スキー;SPM_amp;Ihlinetabularhspace5mmtabular[t]|l|l|c|multicolumn3c(2)hlinedg名前;SPM_amp;dg趣味;SPM_amp;dg所属hline田中;SPM_amp;読書;SPM_amp;Mhline田中;SPM_amp;読書;SPM_amp;Ihline田中;SPM_amp;スキー;SPM_amp;Mhlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img60.gif">'; 
$key = q/{_inline}${t|P(t)}${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img51.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="img28.gif">'; 
$key = q/{_inline}$RdivS${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img45.gif">'; 
$key = q/{_inline}$D_1timesD_2timescdotstimesD_n${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img3.gif">'; 
$key = q/{_inline}$P(t)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img50.gif">'; 
$key = q/{table}[ht]centerlabelt:tab3tabular|l|l|l|hlinedg名前;SPM_amp;dg趣味;SPM_amp;dg同好会hline河村;SPM_amp;音楽;SPM_amp;ゴルフhline河村;SPM_amp;ゴルフ;SPM_amp;ゴルフhline田中;SPM_amp;読書;SPM_amp;スキーhline田中;SPM_amp;読書;SPM_amp;卓球hlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img21.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="img32.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/{table}[ht]centerlabelt:nr1tabular[t]|l|l|multicolumn2c(1)hlinedg名前;SPM_amp;dg趣味hline河村;SPM_amp;音楽[-2mm];SPM_amp;ゴルフhline河村;SPM_amp;ゴルフ[-2mm];SPM_amp;スキーhlinetabularhspace5mmtabular[t]|l|l|multicolumn2c(2)hlinedg名前;SPM_amp;dg趣味hline河村;SPM_amp;音楽[-2mm];SPM_amp;ゴルフ[-2mm];SPM_amp;スキーhlinetabularhspace5mmtabular[t]|l|l|multicolumn2c(3)hlinedg名前;SPM_amp;dg趣味hline河村;SPM_amp;音楽[-2mm];SPM_amp;ゴルフcline2-2;SPM_amp;ゴルフ[-2mm];SPM_amp;スキーhlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img58.gif">'; 
$key = q/{_inline}$RsetminusS${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img26.gif">'; 
$key = q/{_inline}$B_2${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img10.gif">'; 
$key = q/{table}[ht]centerlabelt:tab5tabular|l|l|l|hlinedg名前;SPM_amp;dg趣味;SPM_amp;dg同好会hline河村;SPM_amp;音楽;SPM_amp;ゴルフ[-2mm];SPM_amp;ゴルフ;SPM_amp;hline田中;SPM_amp;読書;SPM_amp;スキー[-2mm];SPM_amp;;SPM_amp;卓球hlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img52.gif">'; 
$key = q/{_inline}$B_1${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img11.gif">'; 
$key = q/{table}[ht]centerlabelt:tab1tabular|l|c|l|hlinedg名前;SPM_amp;dg所属;SPM_amp;dg所在地hline田中;SPM_amp;M;SPM_amp;鎌倉市hline横田;SPM_amp;O;SPM_amp;港区hline河村;SPM_amp;N;SPM_amp;川崎市hline永沼;SPM_amp;M;SPM_amp;鎌倉市hlinetabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img4.gif">'; 
$key = q/{_inline}$(s_1,cdots,s_m)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img44.gif">'; 
$key = q/{_inline}$(RtimesS)divS=R${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img49.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="img56.gif">'; 
$key = q/{_inline}$D_1,D_2,cdots,D_n${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img2.gif">'; 
$key = q/{tabular}|c|c|c|hlinemulticolumn3|c|bfModeと入出力hlinehlinemulticolumn1|c|Mode;SPM_amp;入力;SPM_amp;出力hlineanm;SPM_amp;メンバー情報;SPM_amp;メンバー情報hlinemm;SPM_amp;メンバー情報;SPM_amp;メンバー情報hlinedm;SPM_amp;メンバー情報;SPM_amp;normalhlinescd;SPM_amp;検索条件;SPM_amp;メンバー情報hlineshd;SPM_amp;検索条件;SPM_amp;メンバー情報hlinesad;SPM_amp;検索条件;SPM_amp;メンバー情報hline{tabular}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img61.gif">'; 
$key = q/{_inline}$sigma_mbox趣味=読書R;cup;sigma_mbox所属=M${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE 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/{_inline}$RtimesS${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img27.gif">'; 
$key = q/{figure}[ht]centersetlengthunitlength1mmthicklinespicture(150,40)%put(122,16)makebox(0,0)[l]データ操作put(90,22)makebox(0,0)スキーマput(90,16)line(0,-1)16put(90,14)vector(1,0)30put(90,14)vector(-1,0)30put(30,30)makebox(0,0)一貫性制約put(30,10)makebox(0,0)データベース状態put(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/{table}[ht]centerlabelt:tab4tabular|l|l|l|l|l|multicolumn2c(1);SPM_amp;multicolumn1c;SPM_amp;multicolumn2c(2)cline1-2cline4-5dg名前;SPM_amp;dg趣味;SPM_amp;;SPM_amp;dg名前;SPM_amp;dg同好会cline1-2cline4-5河村;SPM_amp;音楽;SPM_amp;;SPM_amp;河村;SPM_amp;ゴルフcline1-2cline4-5河村;SPM_amp;ゴルフ;SPM_amp;;SPM_amp;田中;SPM_amp;スキーcline1-2cline4-5田中;SPM_amp;読書;SPM_amp;;SPM_amp;田中;SPM_amp;卓球cline1-2cline4-5tabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img22.gif">'; 
$key = q/{_inline}$sigma_C(R)=R'${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img30.gif">'; 
$key = q/{_inline}$(r_1,cdots,r_n)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img48.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="img55.gif">'; 
$key = q/{_inline}$RcapS=RcupSsetminus(RsetminusS)setminus(SsetminusR)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img33.gif">'; 
$key = q/{_inline}${A_1,cdots,A_n}${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img5.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="img62.gif">'; 
$key = q/{_inline}$(r_1,cdots,r_n,s_1,cdots,s_m)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img47.gif">'; 
$key = q/{_inline}$B_1rightarrowB_2${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img12.gif">'; 
$key = q/{_inline}$R(A_1,cdots,A_n)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img7.gif">'; 
$key = q/{_inline}$A_j${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img39.gif">'; 
$key = q/{_inline}$A_i${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img38.gif">'; 
$key = q/{_inline}$(r_1,cdots,r_n,p_1,cdots,p_m)${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img43.gif">'; 
$key = q/{table}[ht]centerlabelt:tab2tabular|l|c|l|c|l|multicolumn2c(1);SPM_amp;multicolumn1c;SPM_amp;multicolumn2c(2)cline1-2cline4-5dg名前;SPM_amp;dg所属;SPM_amp;;SPM_amp;dg所属;SPM_amp;dg所在地cline1-2cline4-5田中;SPM_amp;M;SPM_amp;;SPM_amp;M;SPM_amp;鎌倉市cline1-2cline4-5横田;SPM_amp;O;SPM_amp;;SPM_amp;O;SPM_amp;港区cline1-2cline4-5河村;SPM_amp;N;SPM_amp;;SPM_amp;N;SPM_amp;川崎市cline4-5永沼;SPM_amp;Mcline1-2tabularcenter{table}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img20.gif">'; 
$key = q/{_inline}$^2${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img54.gif">'; 
$key = q/{_inline}${A_1,cdots,A_k}${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img31.gif">'; 
$key = q/{_inline}$B_1={A_i,cdots,A_j}${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img8.gif">'; 
$key = q/{_inline}$R'${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img29.gif">'; 
$key = q/{_inline}$RcupS${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img25.gif">'; 
$key = q/{_inline}$rightarrowhspace-3mmrightarrow${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=BOTTOM ALT="" SRC="img23.gif">'; 
$key = q/{_inline}$r[A_i]${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img14.gif">'; 
$key = q/{_inline}$r_2${_inline}/;
$cached_env_img{$key} ='<IMG  ALIGN=MIDDLE ALT="" SRC="img16.gif">'; 

1;