final tweaks

This commit is contained in:
Oliver Kennedy 2018-01-26 02:27:02 -05:00
parent 6b2861c74c
commit 8147fae68d
2 changed files with 65 additions and 61 deletions

View file

@ -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 @@
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title></dc:title>
<dc:title />
</cc:Work>
</rdf:RDF>
</metadata>
@ -366,48 +366,57 @@
inkscape:groupmode="layer"
id="layer1"
transform="translate(93.00389,-54.963)">
<path
style="fill:#000000;fill-opacity:1;stroke:#333333;stroke-width:14.50801754;stroke-miterlimit:4;stroke-dasharray:none"
d="M 86.210179,572.21659 42.268543,558.90331 v -44.49886 -44.49886 l 45.578701,-127.3213 c 25.068286,-70.02671 45.982476,-127.72507 46.475986,-128.21858 1.4104,-1.4104 0.97702,323.41597 -0.46537,348.80179 -0.71026,12.50064 -1.83469,22.64607 -2.49872,22.5454 -0.66403,-0.10066 -20.98106,-6.174 -45.148961,-13.49631 z"
id="path992"
inkscape:connector-curvature="0"
transform="scale(0.26458333)" />
<path
style="fill:#000000;fill-opacity:1;stroke:#333333;stroke-width:14.50801754;stroke-miterlimit:4;stroke-dasharray:none"
d="m 140.56451,584.09435 c 0.84362,-1.78704 1.87188,-85.29066 2.28502,-185.56358 l 0.75117,-182.3144 7.41769,0.75864 c 4.07973,0.41725 8.7814,1.25804 10.44815,1.86843 6.84263,2.50587 32.91211,7.5244 33.90886,6.52765 0.59109,-0.59109 2.0675,-0.27965 3.2809,0.69209 2.82331,2.26101 23.67456,6.69763 25.04356,5.32864 0.56898,-0.56899 2.02731,-0.23947 3.24071,0.73227 2.20781,1.7681 22.19118,6.52569 24.97356,5.94565 0.81196,-0.16926 2.84,0.21026 4.50675,0.8434 4.77624,1.81433 21.95815,5.62011 23.68888,5.24707 0.86071,-0.18553 2.92864,0.18071 4.59539,0.81385 4.77624,1.81433 21.95816,5.6201 23.68888,5.24706 0.86071,-0.18552 2.92864,0.20141 4.59539,0.85985 6.19352,2.44669 32.87257,7.65129 33.90887,6.615 0.59108,-0.59109 2.0675,-0.27965 3.28089,0.69209 2.82332,2.26101 23.67456,6.69763 25.04356,5.32864 0.56898,-0.56899 2.02732,-0.23946 3.24071,0.73227 2.20781,1.7681 22.19117,6.52569 24.97356,5.94565 0.81196,-0.16926 2.84,0.21026 4.50675,0.84341 6.61283,2.51198 22.77783,5.67018 23.79845,4.64957 0.59597,-0.59598 2.30367,-0.071 3.79486,1.16656 2.22173,1.84388 2.71127,28.24397 2.71127,146.21724 v 143.96706 l -14.64721,1.27275 c -8.05597,0.70002 -71.01373,4.87522 -139.90613,9.27825 -68.8924,4.40303 -129.62514,8.35394 -134.96163,8.77978 -8.35212,0.66652 -9.4892,0.32202 -8.16886,-2.47489 z"
id="path996"
inkscape:connector-curvature="0"
transform="scale(0.26458333)" />
<text
xml:space="preserve"
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"
x="89.947731"
y="96.593857"
id="text881"
transform="matrix(1.0092969,-0.03069783,-0.10026322,0.99383824,0,0)"><tspan
sodipodi:role="line"
id="tspan879"
x="89.947731"
<g
id="g89"
class="fragment">
<path
transform="scale(0.26458333)"
inkscape:connector-curvature="0"
id="path992"
d="M 86.210179,572.21659 42.268543,558.90331 v -44.49886 -44.49886 l 45.578701,-127.3213 c 25.068286,-70.02671 45.982476,-127.72507 46.475986,-128.21858 1.4104,-1.4104 0.97702,323.41597 -0.46537,348.80179 -0.71026,12.50064 -1.83469,22.64607 -2.49872,22.5454 -0.66403,-0.10066 -20.98106,-6.174 -45.148961,-13.49631 z"
style="fill:#000000;fill-opacity:1;stroke:#333333;stroke-width:14.50801754;stroke-miterlimit:4;stroke-dasharray:none" />
<path
transform="scale(0.26458333)"
inkscape:connector-curvature="0"
id="path996"
d="m 140.56451,584.09435 c 0.84362,-1.78704 1.87188,-85.29066 2.28502,-185.56358 l 0.75117,-182.3144 7.41769,0.75864 c 4.07973,0.41725 8.7814,1.25804 10.44815,1.86843 6.84263,2.50587 32.91211,7.5244 33.90886,6.52765 0.59109,-0.59109 2.0675,-0.27965 3.2809,0.69209 2.82331,2.26101 23.67456,6.69763 25.04356,5.32864 0.56898,-0.56899 2.02731,-0.23947 3.24071,0.73227 2.20781,1.7681 22.19118,6.52569 24.97356,5.94565 0.81196,-0.16926 2.84,0.21026 4.50675,0.8434 4.77624,1.81433 21.95815,5.62011 23.68888,5.24707 0.86071,-0.18553 2.92864,0.18071 4.59539,0.81385 4.77624,1.81433 21.95816,5.6201 23.68888,5.24706 0.86071,-0.18552 2.92864,0.20141 4.59539,0.85985 6.19352,2.44669 32.87257,7.65129 33.90887,6.615 0.59108,-0.59109 2.0675,-0.27965 3.28089,0.69209 2.82332,2.26101 23.67456,6.69763 25.04356,5.32864 0.56898,-0.56899 2.02732,-0.23946 3.24071,0.73227 2.20781,1.7681 22.19117,6.52569 24.97356,5.94565 0.81196,-0.16926 2.84,0.21026 4.50675,0.84341 6.61283,2.51198 22.77783,5.67018 23.79845,4.64957 0.59597,-0.59598 2.30367,-0.071 3.79486,1.16656 2.22173,1.84388 2.71127,28.24397 2.71127,146.21724 v 143.96706 l -14.64721,1.27275 c -8.05597,0.70002 -71.01373,4.87522 -139.90613,9.27825 -68.8924,4.40303 -129.62514,8.35394 -134.96163,8.77978 -8.35212,0.66652 -9.4892,0.32202 -8.16886,-2.47489 z"
style="fill:#000000;fill-opacity:1;stroke:#333333;stroke-width:14.50801754;stroke-miterlimit:4;stroke-dasharray:none" />
<text
transform="matrix(1.0092969,-0.03069783,-0.10026322,0.99383824,0,0)"
id="text881"
y="96.593857"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.58333302px;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;writing-mode:lr-tb;text-anchor:middle;fill:#ffffff;stroke-width:0.26458332">Acme</tspan><tspan
sodipodi:role="line"
x="91.632385"
y="109.82302"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.58333302px;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;writing-mode:lr-tb;text-anchor:middle;fill:#ffffff;stroke-width:0.26458332"
id="tspan883">Standard </tspan><tspan
sodipodi:role="line"
x="89.947731"
y="123.05219"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.58333302px;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;writing-mode:lr-tb;text-anchor:middle;fill:#ffffff;stroke-width:0.26458332"
id="tspan976">Issue</tspan><tspan
sodipodi:role="line"
x="89.947731"
y="136.28136"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.58333302px;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;writing-mode:lr-tb;text-anchor:middle;fill:#ffffff;stroke-width:0.26458332"
id="tspan885">Black Box</tspan></text>
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"><tspan
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.58333302px;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;writing-mode:lr-tb;text-anchor:middle;fill:#ffffff;stroke-width:0.26458332"
y="96.593857"
x="89.947731"
id="tspan879"
sodipodi:role="line">Acme</tspan><tspan
id="tspan883"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.58333302px;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;writing-mode:lr-tb;text-anchor:middle;fill:#ffffff;stroke-width:0.26458332"
y="109.82302"
x="91.632385"
sodipodi:role="line">Standard </tspan><tspan
id="tspan976"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.58333302px;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;writing-mode:lr-tb;text-anchor:middle;fill:#ffffff;stroke-width:0.26458332"
y="123.05219"
x="89.947731"
sodipodi:role="line">Issue</tspan><tspan
id="tspan885"
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:10.58333302px;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;writing-mode:lr-tb;text-anchor:middle;fill:#ffffff;stroke-width:0.26458332"
y="136.28136"
x="89.947731"
sodipodi:role="line">Black Box</tspan></text>
<path
style="fill:none;stroke:#000000;stroke-width:1.43818665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker8431)"
d="m 118.65781,117.21107 h 34.27454"
id="path8427"
inkscape:connector-curvature="0" />
</g>
<g
id="g8986"
class="fragment">
class="">
<g
transform="translate(205.79753,-102.6315)"
id="g7576">
@ -503,11 +512,6 @@
id="path6747" />
</g>
</g>
<path
style="fill:none;stroke:#000000;stroke-width:1.43818665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker8431)"
d="m 118.65781,117.21107 h 34.27454"
id="path8427"
inkscape:connector-curvature="0" />
</g>
<g
id="g8958"

Before

Width:  |  Height:  |  Size: 29 KiB

After

Width:  |  Height:  |  Size: 29 KiB

View file

@ -150,10 +150,10 @@
<li>Fields may be mistyped (typo, missing comma)</li>
<li>Comment text can be inlined into the file</li>
</ul>
<p>
<!-- <p>
<b>State of the art</b>: External Table Defn <span>+ "Manually" edit CSV</span>
</p>
</section>
--> </section>
<section>
<h2>Merge Data From Two Sources</h2>
@ -164,10 +164,10 @@
<li>Format alignment (GIS coordinates, $ vs €)</li>
<li>Precision alignment (State vs County)</li>
</ul>
<p>
<!-- <p>
<b>State of the art</b>: Manually map schema
</p>
</section>
--> </section>
<section>
<h2>JSON Shredding</h2>
@ -178,10 +178,10 @@
<li>Type alignment (Records with 'address' as an array)</li>
<li>Schema matching$^2$</li>
</ul>
<p>
<!-- <p>
<b>State of the art</b>: DataGuide, Wrangler, etc...
</p>
</section>
--> </section>
</section>
<section>
@ -368,6 +368,11 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
<h2>$K$-Semirings</h2>
</section>
<section>
<h3>Provenance Semirings</h3>
<p style="font-size: smaller">T.J. Green &amp; G. Karvounarakis &amp; V. Tannen<span style="margin-left: 40px">(<i>PODS 2007</i>)</span></p>
</section>
<section>
<table><tr>
<td><table>
@ -442,11 +447,6 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
</table>
</section>
<section>
<h3>Provenance Semirings</h3>
<p style="font-size: smaller">T.J. Green &amp; G. Karvounarakis &amp; V. Tannen<span style="margin-left: 40px">(<i>PODS 2007</i>)</span></p>
</section>
<section>
$$\left<\;\mathcal K,\;\oplus,\;\otimes,\;\mathbb 0,\;\mathbb 1\;\right>$$
@ -513,14 +513,14 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
</section>
<section>
<h3>Extractors</h3>
<h3>Information Extractors</h3>
$$\mathcal K^W \rightarrow \mathcal K$$
(plug in any $K$-Semiring-compatible $\mathcal K$)
<dl>
<dt class="fragment" data-fragment-index="1" style="margin-top: 50px;">Possible World Value</dt>
<dd class="fragment" data-fragment-index="1">$\texttt{PW_i}(\vec k) \equiv \vec k_i$</dd>
<dd class="fragment" data-fragment-index="1">$\texttt{PW}_i(\vec k) \equiv \vec k_i$</dd>
<dt class="fragment" data-fragment-index="2" style="margin-top: 20px;">Certain Value</dt>
<dd class="fragment" data-fragment-index="2">$\mathcal C(\vec k) \equiv min(\vec k)$</dd>
<dt class="fragment" data-fragment-index="3" style="margin-top: 20px;">Possible Value</dt>
@ -663,10 +663,10 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
<h3>We can Approximate</h3>
<dl>
<dt>Soundness</dt>
<dd class="fragment" data-fragment-index="1">$Q(\mathcal C(\mathcal D)) \geq \mathcal C(Q(\mathcal D))$</dd>
<dd class="fragment" data-fragment-index="1">$Q(\mathcal C(\mathcal D)) \leq \mathcal C(Q(\mathcal D))$</dd>
<dd class="fragment" data-fragment-index="2">We can efficiently compute a conservative approximation of $\mathcal C$.
<dt>Completeness</dt>
<dt>(Conditional) Completeness</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>
</dl>
</section>
@ -680,7 +680,7 @@ Sampling (x10), 300, 242.5666234549135, 300, 119.61607021316885, 162.00108394436
<section>
<section>
<h3>So then we implemented it...</h3>
<h3>We implemented it...</h3>
</section>
<section>
<!-- <img src="graphics/system.png"> -->