File size: 4,344 Bytes
fa53be0 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 |
<html><head>
<style>
body { font-family: Arial, sans-serif; margin: 20px; }
h1 { text-align: center; }
.cot-title { color: blue; }
.pos-title { color: green; }
h2 { color: black; text-align: left; }
h3 { color: black; text-align: left; }
h4 { color: darkslategray; }
table { width: 100%; border-collapse: collapse; margin: 20px 0; }
table, th, td { border: 1px solid #ddd; padding: 8px; }
th { background-color: #f2f2f2; }
tr:nth-child(even) { background-color: #f9f9f9; }
.highlight { background-color: #ffffcc; }
.true { color: green; }
.false { color: red; }
.highlighted-cell { background-color: yellow; cursor: pointer; }
.step-title { background-color: #f1f1f1; color: #444; padding: 10px; margin: 10px 0; font-size: 18px; border-left: 4px solid #888; }
.step { display: block; }
</style>
</head><body>
<h1 class="pos-title">Plan-of-SQLs (Ours)</h1>
<hr>
<h3><span>Statement:</span> climax straight - 4 has a masserati 250f chassis</h3>
<h3>Ground-truth:</span> FALSE</h3>
<h3>Input Table: bruce halford</h3>
<div class="step">
<div class="step">
<div class="step-title">Step 1: Select rows where 'chassis' is 'maserati 250f'.</div>
<div id="step-1" class="content">
<table>
<tr>
<td>year</td>
<td>entrant</td>
<td>chassis</td>
<td>engine</td>
<td>points</td>
</tr>
<tr>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">1956</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">bruce halford</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:#90EE90;">maserati 250f</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">maserati straight - 6</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">0</span></td>
</tr>
<tr>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">1957</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">bruce halford</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:#90EE90;">maserati 250f</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">maserati straight - 6</span></td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">0</span></td>
</tr>
<tr>
<td>1959</td>
<td>john fisher</td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">lotus 16</span></td>
<td>climax straight - 4</td>
<td>0</td>
</tr>
<tr>
<td>1960</td>
<td>fred tuck cars</td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">cooper t45</span></td>
<td>climax straight - 4</td>
<td>0</td>
</tr>
<tr>
<td>1960</td>
<td>yeoman credit racing team</td>
<td><span class="highlighted-cell" title="Used in transformation" style="background-color:yellow;">cooper t51</span></td>
<td>climax straight - 4</td>
<td>0</td>
</tr>
</table>
</div>
<hr>
<div class="step">
<div class="step-title">Step 2: Select rows where 'engine' is 'climax straight - 4'.</div>
<div id="step-0" class="content">
<table>
<tr>
<td>year</td>
<td>entrant</td>
<td>chassis</td>
<td>engine</td>
<td>points</td>
</tr>
<tr>
<td>1956</td>
<td>bruce halford</td>
<td>maserati 250f</td>
<td>maserati straight - 6</td>
<td>0</td>
</tr>
<tr>
<td>1957</td>
<td>bruce halford</td>
<td>maserati 250f</td>
<td>maserati straight - 6</td>
<td>0</td>
</tr>
</table>
</div>
</div>
<hr>
<div class="step">
<div class="step-title">Step 3: Use a `CASE` statement to return TRUE if the number of rows is greater than or equal to 1, otherwise return FALSE.</div>
<div id="step-1" class="content">
<table>
<tr>
<td>year</td>
<td>entrant</td>
<td>chassis</td>
<td>engine</td>
<td>points</td>
</tr>
</table>
</div>
</div>
<hr>
<div class="step">
<div class="step-title">Final output table:</div>
<div id="step-2" class="content">
<table>
<tr>
<td>verification_result</td>
</tr>
<tr>
<td>FALSE</td>
</tr>
</table>
</div>
</div>
<hr>
<div class="step"><h3><span class="true">Prediction: FALSE </span></h3>
<h3>Ground-truth:</span> FALSE</h3></div>
</body></html>
|