Time and place: Tuesday and Thursday 5:00-6:20pm, CSE 2154
Office hours: Tuesday and Thursday 3:30-4:30pm, CSE 4238
This course will present an overview of the theory of databases.
Topics include the theory of query languages, dependency theory,
deductive databases, incomplete information,
complex objects, semistructured data,
and other advanced topics and research issues as time allows.
Connections will be made to relevant areas in logic and complexity theory.
Evaluation will be based on homework sets and a take-home final.
Text: Foundations of Databases
by S. Abiteboul, R. Hull, V. Vianu, Addison-Wesley, 1995.
Homework 1 due April 17. Latex source
Solutions Latex source
Homework 2 due May 1.
Homework 3 due May 15.
Homework 4 due May 22.
Homework 5 due June 3. (Final version)
Slides and other resources
Datalog Static Analysis (due to Christoph Koch)
Datalog with negation