+++ /dev/null
-<HTML>
-<HEAD>
-<SCRIPT language="Javascript">
-function help()
- {
- with (document.form1) {
- if (selopt[0].checked)
- alert ("No help available.");
- if (selopt[1].checked)
- alert ("Parenthesis are employed to force precedence between operators.");
- if (selopt[2].checked)
- 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.");
- if (selopt[3].checked)
- alert ("'and' returns true if both conditions are true, 'or' returns true if at least one is true.");
- if (selopt[4].checked)
- 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.");
- }
- }
-function choice()
-{
-top.stadd="";
-with (document.form1) {
- if (selopt[0].checked) {
- top.stadd=boole1.value;
- }
- if (selopt[1].checked) {
- top.stadd="([boole])";
- }
- if (selopt[2].checked) {
- top.stadd=boole2.value+" [boole]";
- }
- if (selopt[3].checked) {
- top.stadd="[boole] "+boole3.value+" [boole]";
- }
- if (selopt[4].checked) {
- top.stadd="[val] "+boole4.value+" [val]";
- }
- if (selopt[5].checked) {
- boole5.value=top.tpa(boole5.value);
- top.stadd=boole5.value;
- }
- }
-if (top.stadd!="") top.aggq();
- else alert("You left at least one field unfilled");
-}
-</SCRIPT>
-</HEAD>
-<BODY>
-<h1> <SCRIPT language="Javascript">document.write(top.ltr) </SCRIPT>
-<input type="button" value="<-" onmouseOver="top.help(-8)" onclick="top.annulla()">
-<input type="button" value="->" onmouseOver="top.help(-81)" onclick="top.ripristina()"></h1>
-<h2> Select one of the following: </h2>
-<form name="form1" action="Javascript:choice();" method="get">
-<input type="radio" name="selopt"> <select name="boole1" onFocus="selopt[0].checked=true">
-<OPTION value=false> false
-<OPTION value=true> true
-</select> <br>
-<input type="radio" name="selopt"> ( [boole] ) <br>
-<input type="radio" name="selopt"> <select name="boole2" onFocus="selopt[2].checked=true">
-<OPTION value=not> not
-<OPTION value=ex> ex
-</select> [boole] <br>
-<input type="radio" name="selopt"> [boole] <select name="boole3" onFocus="selopt[3].checked=true">
-<OPTION value=and> and
-<OPTION value=or> or
-</select> [boole] <br>
-<input type="radio" name="selopt"> [val] <select name="boole4" onFocus="selopt[4].checked=true">
-<OPTION value=sub> sub
-<OPTION value=meet> meet
-<OPTION value=eq> eq
-</select>
-[val]<br>
-<input type="radio" name="selopt"> <input name="boole5" type=text onFocus="selopt[5].checked=true;top.help(1)"> <br>
-<input type="submit" value="compose"><input type="button" value="get help" onclick="help()">
-</form>
-</BODY>
-</HTML>
\ No newline at end of file