diff --git a/slides/talks/2018-1-Tour-Mimir/index.html b/slides/talks/2018-1-Tour-Mimir/index.html
index 130a4003..9dae7857 100644
--- a/slides/talks/2018-1-Tour-Mimir/index.html
+++ b/slides/talks/2018-1-Tour-Mimir/index.html
@@ -330,7 +330,12 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
- The Uncertainty-Aware Database
+ Declatative Uncertainty
+
+
+
@@ -339,12 +344,21 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
- Mimir is a vehicle for research on...
+ At each step, Mimir tracks ambiguity and potential errors.
+
+ - A row that may or may not exist.
+ - An attribute value that is missing or ambiguous.
+ - A table with multiple possible schemas.
+ - A violated constraint.
+
+
+
+
+ Declarative uncertainty requires...
- ... uncertainty capture
- - ... query processing over uncertain data
- - ... intuitive and qualitative presentation of uncertainty
- - ... other things that we can do to make Alice's life easier
+ - ... query processing over uncertain data
+ - ... intuitive and qualitative presentation of uncertainty
@@ -642,7 +656,7 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
Can we do the same thing for $\mathcal C(Q(\mathcal D))$?
- $$C(Q(\mathcal D)) \stackrel{?}{=} C(Q(\mathcal D))$$
+ $$C(Q(\mathcal D)) \stackrel{?}{=} Q(\mathcal C(\mathcal D))$$