## 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