General Class Information
- Lecture times and Location:
- MW 9.15am to 11.00am, Jack Baskin Engineering 169
- Instructor:
- Name: Wang-Chiew
Tan
- Office: E2-343B
- Instructor Office Hours:
- MW 1pm to 2pm
Main Reference:
Foundations of Databases
By S. Abiteboul, R. Hull, and V. Vianu
Syllabus:
- History, Background
- Conjunctive Queries: Rule-Based CQ, Conjunctive Calculus, Tableau Queries
- Optimizing Conjunctive Queries
- under set semantics
- under bag semantics
- with built-in subgoals
- with union
- Functional Dependencies, Multivalued Dependencies, Join Dependencies
- Logical Implication and Axiomatization
- Normal Forms
- The Chase Technique
- Chasing with Embedded Dependencies
- Query Optimization and Logical Implication via Chasing
- Datalog
- Model-Theoretic, Fixpoint, Proof-Theoretic Semantics
- Magic Set Rewriting
Homeworks:
Handouts/Resources
Academic Integrity:
No form of academic dishonesty will be tolerated in this class. More information can be found here.
|
