Fundamentals |
1 |
Course Logistics and Database History |
Glance at Research Overview Section. |
2 |
Classical Join Processing |
L. Shapiro on Joins |
3 |
System R-Style Optimizers and Histograms |
Selinger System R. Optional: Chaudhuri |
4 |
Formal Query Languages and Acyclic Joins |
Reference only: AHV (Chapters 3, 4, and 6.4) |
5 |
Worst-case Optimal Optimizers: NPRR and LFTJ |
Must read! (Just kidding) Ngo et al.'s Survey |
6 |
Wrap-up of Fundamentals |
|
Data Systems for Analytics |
7 |
Data Cubes, Materialized Views, and Query Answering using Views |
DataCube and Abiteboul and Dushka |
8 |
Parallel Databases: from Gamma to Column-Stores |
Gamma and C-store |
9 |
NoSQL: The Rise of MapReduce and Fault Tolerance |
Dean et al. Pavlo et al. Comparison, Spark |
10 |
NewSQL: PIG, Hive, and MapReduce Joins |
PIG, Hive or Notes. |
11 |
Optimizing Joins on MapReduce (Theory) |
Paper TBD and Notes |
12 |
Predictive Analytic Systems. |
GraphLab, MADlib, and Hogwild! |
13 |
R-Style Systems |
RIOT, SciDB, and ORE |
Probabilistic and KB Systems |
14 |
Why Probabilistic Systems? and Fundamentals of Query Evaluation. |
Cox's Theorem, Max Ent Reading, and Prob DB book Ch. 1 |
15 |
Information Extraction |
Declarative Information Extraction and System T |
16 |
Knowledge Base Construction |
Watson and Elementary |
17 |
Scalable Probabilistic Inference |
Tuffy, Elementary, IBM Declarative Machine Learning |
Transactions and OLTP |
18 |
Locking, Latching, and Recovery. |
Gray 1 and Lehman, ARIES |
19 |
NoSQL OLTP: Paxos, CAP, and Eventual Consistency |
Paxos Made Simple and Eventual Consistency |
- |
NewSQL OLTP: Spanner+F1 and Main Memory Databases |
Spanner and F1 |
Grand Finale |
20 |
Project Presentations |
|