1 | Data Management Reading Group CSE 590Q - Winter 2019 | |||
|---|---|---|---|---|
2 | (Mondays @ 2:30 in DB lab, CSE 405, unless noted otherwise) Topic: | |||
3 | ||||
4 | Date | Presenter(s) | Paper | Other notes |
5 | 1/7/2019 | Introduction | ||
6 | 1/14/2019 | CANCELED | ||
7 | 1/18/2019 (Stolen from 591D) | Walter | In-Database Learning with Sparse Tensors | |
8 | 1/21/2019 | MLK day | ||
9 | 1/28/2019 | Guna | Transactions in relaxed memory architectures | |
10 | 2/4/2019 | Laurel | Ten years test of time: The Chase Revisited (read the 2008 paper) | |
11 | 2/11/2019 | Maureen | SQL's Three-Valued Logic and Certain Answers. ICDT 2015: 94-109 | |
12 | 2/18/2019 | Presidents day | ||
13 | 2/25/2019 | Maureen | SQL's Three-Valued Logic and Certain Answers. ICDT 2015: 94-109 | |
14 | 3/4/2019 | Cong+Remyi | Two-variable logic on data trees and XML reasoning + Synthesizing coupling proofs of differential privacy. | Cong slides |
15 | 3/11/2019 | Shana | Enumerating with constant delay the answers to a query. ICDT 2013 | slides |
16 | ||||
17 | ||||
18 | ||||
19 | NOTES | |||
20 | Suggested papers for this quarter. Feel free to browse the proceedins and select some other paper. | |||
21 | PODS | |||
22 | Ten years test of time: The Chase Revisited (read the 2008 paper) | read the 2008 paper, which is a classic | ||
23 | Abo Khamis, Ngo, Nguyen, Olteanu, Schleich: In-Database Learning with Sparse Tensors | dense, but very thorrough treatment of the interaction between DB and ML. Olteanu's 2016 SIGMOD paper could be a good warmup. | ||
24 | POPL | |||
25 | Transactions in relaxed memory architectures | theoretic model for reasoning about transactions | ||
26 | Synthesizing coupling proofs of differential privacy. | lots of math | ||
27 | Unifying analytic and statically-typed quasiquotes. | for scala fans (from Christoph Koch) | ||
28 | Others | |||
29 | Leonid Libkin: | SQL's Three-Valued Logic and Certain Answers. ICDT 2015: 94-109 | see also TODS 2016 | |
30 | Andrea Cerone, Alexey Gotsman | Analysing Snapshot Isolation, J. ACM 2018 | there is an earlier conference paper, could be easier read | |
31 | Rachid Guerraoui, Jingjing Wang: | How Fast can a Distributed Transaction Commit? | ||
32 | Luc Segoufin: | Enumerating with constant delay the answers to a query. ICDT 2013 | really cool and fundamental problem: we want to "stream" query answers, and guarantee constant dealy between each answer, when can we do that? Read both papers. Note that there are other papers by Segoufin on FO queries. | |
33 | Constant Delay Enumeration for Conjunctive Queries. SIGMOD Record, 2015 | |||
34 | Martin Grohe, Stephan Kreutzer, Sebastian Siebertz: | Deciding First-Order Properties of Nowhere Dense Graphs, JACM 2017 | To discuss in TWO seminars. Main takeawy is that we can process queries much more efficiently if the database is "nowhere dense", but what does no-where dense mean? | |
35 | Mikolaj Bojanczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin: | Two-variable logic on data trees and XML reasoning, PODS 2006 | a deep, celebrated paper. Quite relevant today for JSon/Protobuf data, and languages like SQL++ etc. Should be easy and fun to read at the high level, much harder in detail. Check the journal version too | |
36 | Martin Grohe | Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks, Corr 2018 | ||