From 8147fae68d9720c042065907e97608e88e49a80c Mon Sep 17 00:00:00 2001 From: Oliver Kennedy Date: Fri, 26 Jan 2018 02:27:02 -0500 Subject: [PATCH] final tweaks --- .../2018-1-Tour-Mimir/graphics/blackbox.svg | 94 ++++++++++--------- slides/talks/2018-1-Tour-Mimir/index.html | 32 +++---- 2 files changed, 65 insertions(+), 61 deletions(-) diff --git a/slides/talks/2018-1-Tour-Mimir/graphics/blackbox.svg b/slides/talks/2018-1-Tour-Mimir/graphics/blackbox.svg index 9ca05f47..b868e4e0 100644 --- a/slides/talks/2018-1-Tour-Mimir/graphics/blackbox.svg +++ b/slides/talks/2018-1-Tour-Mimir/graphics/blackbox.svg @@ -335,7 +335,7 @@ inkscape:pageopacity="0.0" inkscape:pageshadow="2" inkscape:zoom="0.49497475" - inkscape:cx="330.34174" + inkscape:cx="685.91543" inkscape:cy="-56.660697" inkscape:document-units="mm" inkscape:current-layer="layer1" @@ -357,7 +357,7 @@ image/svg+xml - + @@ -366,48 +366,57 @@ inkscape:groupmode="layer" id="layer1" transform="translate(93.00389,-54.963)"> - - - + + + AcmeStandard IssueBlack Box + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.58333302px;line-height:1.25;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:center;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332" + xml:space="preserve">AcmeStandard IssueBlack Box + + + class=""> @@ -503,11 +512,6 @@ id="path6747" /> - Fields may be mistyped (typo, missing comma)
  • Comment text can be inlined into the file
    • -

    +

    Merge Data From Two Sources

    @@ -164,10 +164,10 @@
  • Format alignment (GIS coordinates, $ vs €)
  • Precision alignment (State vs County)
    • -

    +

    JSON Shredding

    @@ -178,10 +178,10 @@
  • Type alignment (Records with 'address' as an array)
  • Schema matching$^2$
    • -

    +

    @@ -368,6 +368,11 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436

    $K$-Semirings

    +
    +

    Provenance Semirings

    +

    T.J. Green & G. Karvounarakis & V. Tannen(PODS 2007)

    +
    +
    @@ -442,11 +447,6 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
    -
    -

    Provenance Semirings

    -

    T.J. Green & G. Karvounarakis & V. Tannen(PODS 2007)

    -
    -
    $$\left<\;\mathcal K,\;\oplus,\;\otimes,\;\mathbb 0,\;\mathbb 1\;\right>$$ @@ -513,14 +513,14 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
    -

    Extractors

    +

    Information Extractors

    $$\mathcal K^W \rightarrow \mathcal K$$ (plug in any $K$-Semiring-compatible $\mathcal K$)
    Possible World Value
    -
    $\texttt{PW_i}(\vec k) \equiv \vec k_i$
    +
    $\texttt{PW}_i(\vec k) \equiv \vec k_i$
    Certain Value
    $\mathcal C(\vec k) \equiv min(\vec k)$
    Possible Value
    @@ -663,10 +663,10 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436

    We can Approximate

    Soundness
    -
    $Q(\mathcal C(\mathcal D)) \geq \mathcal C(Q(\mathcal D))$
    +
    $Q(\mathcal C(\mathcal D)) \leq \mathcal C(Q(\mathcal D))$
    We can efficiently compute a conservative approximation of $\mathcal C$. -
    Completeness
    +
    (Conditional) Completeness
    $Q(\mathcal C(\mathcal D)) = \mathcal C(Q(\mathcal D))$ ...if $Q$ is safe
    @@ -680,7 +680,7 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
    -

    So then we implemented it...

    +

    We implemented it...