CSE 233

Database Theory

Instructor: Victor Vianu
Email: vianu@cs.ucsd.edu
Phone: 858-534-6227
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.
Online version
Homework 1 due April 17. Latex source
Solutions Latex source
Homework 2 due May 1.
Latex source
Homework 3 due May 15.
Latex source

Homework 4 due May 22.
Latex source
Homework 5 due June 3. (Final version)
Latex source
Slides and other resources
Datalog Static Analysis (due to Christoph Koch)
Datalog with negation