This website requires JavaScript.
7cc07ae2b7
Update on Overleaf.
master
Atri Rudra
2022-06-10 21:05:14 +0000
25af5eef31
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Aaron Huber
2022-06-10 11:21:55 -0400
9792f760e5
Fixed a few typos.
Aaron Huber
2022-06-10 11:21:50 -0400
880472d7f0
Update on Overleaf.
Atri Rudra
2022-06-10 15:11:07 +0000
8271735896
Update on Overleaf.
Atri Rudra
2022-06-10 00:27:28 +0000
ce39974c49
Update on Overleaf.
Atri Rudra
2022-06-09 18:28:47 +0000
22acf1ddc2
Changed the position of the N to S arrow in Intensional Evaluation Figure.
Aaron Huber
2022-06-08 23:20:17 -0400
3363910fbf
Update on Overleaf.
Atri Rudra
2022-06-08 15:31:23 +0000
960bcf9b8b
Touch up on appendix Lemma 3.9 proof.
Aaron Huber
2022-06-08 09:22:02 -0400
ff97b62569
Update on Overleaf.
Atri Rudra
2022-06-08 03:26:24 +0000
debe26d72b
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Aaron Huber
2022-06-07 22:49:22 -0400
9f6754399d
Update on Overleaf.
Atri Rudra
2022-06-08 02:48:58 +0000
6cbb6e550c
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Aaron Huber
2022-06-07 22:49:03 -0400
74644cf4c1
Update on Overleaf.
Atri Rudra
2022-06-08 02:48:55 +0000
684c88fd86
Update on Overleaf.
Atri Rudra
2022-06-08 02:48:43 +0000
d3043b7d70
Update on Overleaf.
Atri Rudra
2022-06-08 02:48:17 +0000
c18cd5500a
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Aaron Huber
2022-06-07 22:48:09 -0400
bf28d14470
Update on Overleaf.
Atri Rudra
2022-06-08 02:47:54 +0000
f88cc1ca0b
Further changes to S.4/Fig.3 example.
Aaron Huber
2022-06-07 22:47:50 -0400
d8b870b595
Reclaimed a few lines in S.1.
Aaron Huber
2022-06-07 11:45:50 -0400
c82fbbdcca
Revised example for S.4, adding fill color to appropriate nodes of circuit figure [fig. 3].
Aaron Huber
2022-06-07 10:40:08 -0400
5a18732c08
Addressing the deterministic database issue.
Aaron Huber
2022-06-07 10:10:19 -0400
07ea722712
Revised S.4 example and corresponding Fig. 3.
Aaron Huber
2022-06-07 09:32:14 -0400
f8fd864a28
Update on Overleaf.
Atri Rudra
2022-06-06 16:22:59 +0000
b47be44de4
Fixed typo.
Aaron Huber
2022-06-06 09:19:50 -0400
f81dbde5b5
Reworked sampmon example over figure 3.
Aaron Huber
2022-06-06 09:18:55 -0400
b8d6319afa
Changed color to be darker for fig 3 circuit positive sum labels.
Aaron Huber
2022-06-06 08:41:00 -0400
054c8951da
Update on Overleaf.
Atri Rudra
2022-06-06 02:43:01 +0000
71f7c3259f
Minor cleaning
Oliver Kennedy
2022-06-05 13:15:51 -0400
8d4467f7c4
Update on Overleaf.
Atri Rudra
2022-06-04 18:08:54 +0000
157c8025d4
Another revision of the example in the prior two commits.
Aaron Huber
2022-06-04 09:34:55 -0400
cead0a457e
Revised the example of prior commit.
Aaron Huber
2022-06-04 09:13:06 -0400
5620bb0129
Added example in Algorithm Idea of S.4.
Aaron Huber
2022-06-04 08:46:31 -0400
5cd5940b29
Update on Overleaf.
Atri Rudra
2022-06-04 02:08:17 +0000
62d3856d4c
Changed p_{t, \textbf{W}_t} to p_{t, j} for j = W_t.
Aaron Huber
2022-06-03 16:30:29 -0400
cd17e7933b
Annotated circuit figure and added prose in S.4 to describe OnePass and SampMonomial informally.
Aaron Huber
2022-06-03 16:25:03 -0400
e581f6b9ab
Changed SQL in S.3 to subscripts.
Aaron Huber
2022-06-03 14:13:41 -0400
23033230db
Update on Overleaf.
Atri Rudra
2022-06-03 17:51:40 +0000
09c4cf7e39
Smoothing some rough edges in the intro
Oliver Kennedy
2022-06-03 13:20:56 -0400
923d98fbd1
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Oliver Kennedy
2022-06-03 12:23:06 -0400
80c8d86dd5
Removing autogenerated file
Oliver Kennedy
2022-06-03 12:22:50 -0400
6cb3850ea9
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Aaron Huber
2022-06-03 12:12:22 -0400
345fb77740
Update on Overleaf.
Atri Rudra
2022-06-03 16:05:02 +0000
bca52a1af5
Misc. changes; change X to U in intro example, adjust appendix for S.3 and S.4 changes, etc.
Aaron Huber
2022-06-03 12:11:54 -0400
a34d900345
Small tweak to S.3.
Aaron Huber
2022-06-03 09:14:56 -0400
852f7e3d23
Small tweaks to S.2.
Aaron Huber
2022-06-03 08:30:49 -0400
dd3ff9b9bf
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Aaron Huber
2022-06-03 07:52:51 -0400
a9c92baad3
Fixed glitch with \begin{footnotesize}
Aaron Huber
2022-06-03 07:52:28 -0400
71ffbf95fa
Update on Overleaf.
Atri Rudra
2022-06-02 16:13:46 +0000
5c517cadc5
Fixing references change in merge conflict.
Aaron Huber
2022-06-02 09:45:34 -0400
763edccf11
Fixing merge conflict.
Aaron Huber
2022-06-02 09:43:04 -0400
f539eaba8e
Update on Overleaf.
Atri Rudra
2022-06-02 04:11:18 +0000
d0efa8b02f
Update of References in main.bib
Aaron Huber
2022-06-02 09:37:36 -0400
55231bf45a
Minor changes to def 2.7, def 2.9 and the prose between them.
Aaron Huber
2022-06-01 11:10:09 -0400
5b15b18555
Added c to T^* notation; adjustment to footnote 3 for readability.
Aaron Huber
2022-06-01 10:27:43 -0400
4ed52ae2bc
Scaled tikz circuit figure.
Aaron Huber
2022-06-01 08:25:49 -0400
c02c70bb86
Migrated back to default spacing for table/caption figures; added macro to adjust if needed.
Aaron Huber
2022-05-31 11:28:15 -0400
4ddedbe061
Changed spacing back to 'normal' for newtheorem environments.
Aaron Huber
2022-05-31 08:37:31 -0400
5c75ee728a
Decreased length of caption for Lower Bounds table; capitalized the title; adjusted spacing of captions on figures.
Aaron Huber
2022-05-27 09:17:57 -0400
900820976e
Moved def poly degree as well as cut a few other extraneous sentences.
Aaron Huber
2022-05-26 10:13:59 -0400
167623ab98
Adjustbox on Intensional Query Evaluation Figure for the table row with two circuits.
Aaron Huber
2022-05-26 07:54:24 -0400
b063e45434
Fixed notation \prob_{X, 1} to \prob_{X_1} in expectation table of Intensional Query Evaluation figure [figure 2].
Aaron Huber
2022-05-25 10:08:38 -0400
5a29726a36
Trimmed down Intensional Query Evaluation figure [fig 2].
Aaron Huber
2022-05-25 09:47:05 -0400
a189cdcb64
Changed wording for fig. 1 (lineage polynomial semantics) caption.
Aaron Huber
2022-05-24 11:02:30 -0400
1aa796641a
updates
Boris Glavic
2022-05-21 16:36:14 +0200
347cca2f7d
shorter
Boris Glavic
2022-05-21 14:50:36 +0200
a9d3984dbf
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Boris Glavic
2022-05-20 19:43:18 +0200
f2fff0d67a
no sync
Boris Glavic
2022-05-20 19:43:04 +0200
62975da833
moving 1.6 and poly(*) to appendix
Oliver Kennedy
2022-05-19 14:45:58 -0400
18f64450b8
Reworked example after Problem 1.6 to be simpler.
Aaron Huber
2022-05-19 09:10:18 -0400
2a932395bd
Fixing merge conflict in approx_alg.tex
Aaron Huber
2022-05-19 07:56:46 -0400
ad2ba158ce
Trying to merge
Aaron Huber
2022-05-19 07:50:41 -0400
aafaf8bab8
Minor tweaks to S.4
Aaron Huber
2022-05-19 07:23:02 -0400
212b915809
Trimming. Down by ~1 column so far.
Oliver Kennedy
2022-05-18 17:51:12 -0400
b839349c51
Minor grammar fixes for S.3
Aaron Huber
2022-05-17 11:00:19 -0400
483bdb9a19
Small changes, fixing bugs and typos.
Aaron Huber
2022-05-17 10:55:17 -0400
86fb2bce86
Trying to fix merge conflict.
Aaron Huber
2022-05-17 09:37:18 -0400
37bab00894
Small minor changes.
Aaron Huber
2022-05-17 09:29:45 -0400
2c2a20eba2
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Oliver Kennedy
2022-05-14 15:23:15 -0400
e848bdf259
Removing autogenerated files
Oliver Kennedy
2022-05-14 15:21:00 -0400
3511a18e54
Fixes to Appendix D.
Aaron Huber
2022-05-13 13:45:24 -0400
dbb14420db
Minor tweaks on appendix D.
Aaron Huber
2022-05-11 10:10:51 -0400
00dc258028
Update on Overleaf.
Atri Rudra
2022-05-04 01:03:47 +0000
1cbcf4c927
Some changes to proof for Sample Monomial, probability bound for approximation algo.
Aaron Huber
2022-05-03 10:03:54 -0400
ef0bc79ec8
Fixes based on 042822 discussion.
Aaron Huber
2022-05-02 11:17:01 -0400
813a7f73c0
Changes to Conjecture 3.2.
Aaron Huber
2022-05-02 08:10:58 -0400
78c73d91d9
Revision of Prop 2.4 and proof, Lemma 2.6 proof, etc.
Aaron Huber
2022-04-28 10:58:27 -0400
1ca2c00cd0
Finished cleaning App C; started App D.
Aaron Huber
2022-04-27 10:45:00 -0400
775ec53143
Read through/cleaning of Appendix C up to C.11.
Aaron Huber
2022-04-26 14:19:14 -0400
77cdb3d83b
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
Aaron Huber
2022-04-26 09:07:43 -0400
2208604fac
Reworked proof for Lem 4.8.
Aaron Huber
2022-04-26 09:02:09 -0400
415f6431c6
Reworked proof for Lem 4.9.
Aaron Huber
2022-04-26 09:02:09 -0400
d101fc8df6
Finished cleaning Appendix B.
Aaron Huber
2022-04-21 11:46:21 -0400
e749eb8708
Started cleaning Appendix B.
Aaron Huber
2022-04-20 11:03:16 -0400
cac0a7921b
Finished cleaning pass on Appendix A.
Aaron Huber
2022-04-20 09:45:11 -0400
d290904845
Cleaning Appendix A up to Lem 1.4.
Aaron Huber
2022-04-19 15:20:55 -0400
614ef89b4d
Cleaning Appendix A.
Aaron Huber
2022-04-19 10:38:52 -0400
5ba5085f4b
Rewrote the 'Concurrent Work' paragraph, including a citation, and other aspects of Grohe's work, comparing/contrasting with ours.
Aaron Huber
2022-04-19 08:18:07 -0400
aabae13b75
Added proof to Prop 2.4; added text speaking of Grohe's work; started cleaning the appendix.
Aaron Huber
2022-04-19 07:53:10 -0400
dc222467df
Update on Overleaf.
Atri Rudra
2022-04-06 00:27:12 +0000