helm/searchEngine/html/boole.html

   1 <HTML>
   2 <HEAD>
   3 <SCRIPT language="Javascript">
   4 function help()
   5         {
   6         with (document.form1) {
   7         if (selopt[0].checked)
   8         alert ("No help available.");
   9         if (selopt[1].checked)
  10         alert ("Parenthesis are employed to force precedence between operators.");
  11         if (selopt[2].checked)
  12         alert ("'not' returns true if the given [boole] is false, 'ex' returns true if there is at least one group of attributes for each [rvar] referenced by the operators or inside the given [boole] for which the condition is true.");
  13         if (selopt[3].checked)
  14         alert ("'and' returns true if both conditions are true, 'or' returns true if at least one is true.");
  15         if (selopt[4].checked)
  16         alert ("'sub' returns true if the first [val] is a subset of the second.\n'meet' returns true if the intersection between the two [val] is not empty.\n'eq' returns true if both [val] are identical.");
  17         }
  18         }
  19 function choice()
  20 {
  21 top.stadd="";
  22 with (document.form1) {
  23         if (selopt[0].checked) {
  24                 top.stadd=boole1.value;
  25                                           }
  26         if (selopt[1].checked) {
  27                 top.stadd="([boole])";
  28                                           }
  29         if (selopt[2].checked) {
  30                 top.stadd=boole2.value+" [boole]";
  31                                           }
  32         if (selopt[3].checked) {
  33                 top.stadd="[boole] "+boole3.value+" [boole]";
  34                                           }
  35         if (selopt[4].checked) {
  36                 top.stadd="[val] "+boole4.value+" [val]";
  37                                           }
  38         if (selopt[5].checked) {
  39                 boole5.value=top.tpa(boole5.value);
  40                 top.stadd=boole5.value;
  41                                           }
  42                    }
  43 if (top.stadd!="") top.aggq();
  44         else alert("You left at least one field unfilled");
  45 }
  46 </SCRIPT>
  47 </HEAD>
  48 <BODY>
  49 <h1> <SCRIPT language="Javascript">document.write(top.ltr) </SCRIPT>
  50 <input type="button" value="&lt;-" onmouseOver="top.help(-8)" onclick="top.annulla()">
  51 <input type="button" value="-&gt;" onmouseOver="top.help(-81)" onclick="top.ripristina()"></h1>
  52 <h2> Select one of the following: </h2>
  53 <form name="form1" action="Javascript:choice();" method="get">
  54 <input type="radio" name="selopt"> <select name="boole1" onFocus="selopt[0].checked=true">
  55 <OPTION value=false> false
  56 <OPTION value=true> true
  57 </select> <br>
  58 <input type="radio" name="selopt"> ( [boole] ) <br>
  59 <input type="radio" name="selopt"> <select name="boole2" onFocus="selopt[2].checked=true">
  60 <OPTION value=not> not
  61 <OPTION value=ex> ex
  62 </select> [boole] <br>
  63 <input type="radio" name="selopt"> [boole] <select name="boole3" onFocus="selopt[3].checked=true">
  64 <OPTION value=and> and
  65 <OPTION value=or> or
  66 </select> [boole]  <br>
  67 <input type="radio" name="selopt"> [val] <select name="boole4" onFocus="selopt[4].checked=true">
  68 <OPTION value=sub> sub
  69 <OPTION value=meet> meet
  70 <OPTION value=eq> eq
  71 </select>
  72 [val]<br>
  73 <input type="radio" name="selopt"> <input name="boole5" type=text onFocus="selopt[5].checked=true;top.help(1)"> <br>
  74 <input type="submit" value="compose"><input type="button" value="get help" onclick="help()">
  75 </form>
  76 </BODY>
  77 </HTML>