minor edits
This commit is contained in:
parent
cc42801700
commit
dfa3b08717
|
@ -703,7 +703,7 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
|
|||
<dd class="fragment" data-fragment-index="2">We can efficiently compute a conservative approximation of $\mathcal C$.
|
||||
|
||||
<dt>Completeness (for some queries)</dt>
|
||||
<dd class="fragment" data-fragment-index="3">$Q(\mathcal C(\mathcal D)) = \mathcal C(Q(\mathcal D))$ ...if $Q$ is <i>safe</i></dd>
|
||||
<dd class="fragment" data-fragment-index="3">$Q(\mathcal C(\mathcal D)) = \mathcal C(Q(\mathcal D))$ ...if $Q$ is <i>???</i> (work in progress)</dd>
|
||||
</dl>
|
||||
</section>
|
||||
|
||||
|
|
|
@ -33,4 +33,4 @@ This year's participating classes include:
|
|||
|
||||
## Previous Demo Days
|
||||
* [2016 Fall Demo Day](2016fa.html)
|
||||
* [2016 Fall Demo Day](2017fa.html)
|
||||
* [2017 Fall Demo Day](2017fa.html)
|
Loading…
Reference in a new issue