Schedule

This is a tentative schedule that will be updated throughout the course.

Week Date Topic References Notes
1 Tu 1/25 Introduction introduction
1 Th 1/27 Conjunctive Queries Alice Book: Ch. 3, 4 lecture1
2 Tu 2/1 Query Containment Alice Book: Ch. 6.2 lecture2
2 Th 2/3 Query Containment Alice Book: Ch. 6.2
3 Tu 2/8 Intro to Query Complexity lecture3
3 Th 2/10 Intro to Query Complexity
4 Tu 2/15 Acyclic Joins Alice Book: Ch. 6.4 lecture4
4 Th 2/17 Query Decompositions lecture5
5 Tu 2/22 no lecture
5 Th 2/24 Size Bounds for Joins lecture6
6 Tu 3/1 Worst-case Optimal Joins lecture7
6 Th 3/3 Worst-case Optimal Joins
7 Tu 3/8 Datalog: semantics Alice Book: Ch. 12 lecture8
7 Th 3/10 Datalog: evaluation Alice Book: Ch. 13.1, 13.2 lecture9
8 Tu 3/22 Datalog: magic sets Alice Book: Ch. 13.3
8 Th 3/24 Datalog: negation Alice Book: Ch. 15.1-15.3 lecture10
9 Tu 3/29 Datalog: negation
9 Th 3/31 Parallel Query Processing lecture11
10 Tu 4/5 Parallel Query Processing article
10 Th 4/7 Data Streaming streaming systems
11 Tu 4/12 Data Streaming notes (Chakrabati)
11 Th 4/14 Probabilistic Databases Prob DBs
12 Tu 4/19 Consistent Query Answering CQA for primary keys
12 Th 4/21 Provenance Provenance
13 Tu 4/26 Graph Databases Querying Graph DBs
13 Th 4/28 Differential Privacy Differential Privacy
14 Tu 5/3 Project Presentations
14 Th 5/5 Project Presentations

Reading Material


During the first lectures, some of the material will be from the Alice Book:

  • Foundations of Databases, Abiteboul, Hull, Vianu (book).

Some of the papers that we will study throughout the course:

Query Complexity

  • Optimal implementation of conjunctive queries in relational databases, Chandra, Merlin, STOC 1977 (paper)

  • The Complexity of Relational Query Languages, Vardi, STOC 1982 (paper)

  • Algorithms for acyclic database schemes, Yannakakis, VLDB 1981.

  • Size bounds and query plans for relational joins, Atserias, Grohe, Marx, FOCS 2008 (paper)

  • Hypertree Decompositions and Tractable Queries, Gottlob, Leone, Scarcello, JCSS 2002 (paper)

  • Leapfrog Triejoin: a worst-case optimal join algorithm, Veldhuizen, ICDT 2014 (paper)

  • Skew Strikes Back: New Developments in the Theory of Join Algorithms, Ngo, Re, Rudra, SIGMOD RECORD 2013 (paper).

Datalog

  • What You Always Wanted to Know About Datalog(And Never Dared to Ask), Ceri, Gottlob, Tanca, TKDE 1989 (paper)

Parallel Query Processing

  • MapReduce: simplified data processing on large clusters, Dean, Ghemawat, OSDI 2004 (paper)

  • MapReduce and parallel DBMSs: friends or foes?, Stonebraker et al., CACM 2010 (paper)

  • Optimizing Joins in a Map-Reduce Environment, Afrati, Ullman, EDBT 2010 (paper)

  • A Guide to Formal Analysis of Join Processing in Massively Parallel Systems, Koutris, Suciu, SIGMOD Record 2016 (paper)

Data Streaming

  • Models and issues in data stream systems, Babcock, Babu, Datar, Motwani, Widom, PODS 2002 (paper).

  • The space complexity of approximating the frequency moments, Alon, Matias, Szegedy, STOC 1996 (paper).

Uncertain Data

  • Probabilistic Databases, Suciu, Olteanu, Re, Koch (book)

  • Probabilistic Databases: Diamonds in the Dirt, Dalvi, Re, Suciu, CACM 2008 (paper)

  • The dichotomy of probabilistic inference for unions of conjunctive queries, Dalvi, Suciu, JACM 2012 (paper)

  • Consistent Query Answering: Five Easy Pieces, Chomicki, ICDT 2007 (paper)

  • Consistent Query Answers in Inconsistent Databases, Arenas, Bertossi, Chomicki, PODS 1999 (paper)

Provenance

  • Provenance Semirings, Green, Karvounarakis, Tannen, PODS 2007 (paper)

  • Provenance in Databases: Why, How and Where, Cheney, Chiticariu, Tan, Foundations and Trends in Databases 2009 (paper)

  • On Propagation of Deletions and Annotations Through Views, Buneman, Khanna, Tan, PODS 2002 (paper)

  • Maximizing Conjunctive Views in Deletion Propagation, Kimefeld, Vondrak, Williams, TODS 2012 (paper)

Privacy

  • On the Complexity of Optimal K-Anonymity, Meyerson, Williams, PODS 2004 (paper)

  • Revealing Information while Preserving Privacy, Dinur, Nissim, PODS 2003 (paper)

  • A Firm Foundation for Private Data Analysis, Dwork, CACM 2011 (paper)