CSE 233

Database Theory

Spring 2018


Instructor: Victor Vianu
Email: vianu@cs.ucsd.edu
Phone: 858-534-6227
Lecture: Tuesday and Thursday 5:00-6:20pm, CSE 2154
Office hours: Tuesday 6:30-7:30pm, Thursday 3:30 - 4:30pm, CSE 4238

TA:: Yuliang Li
Email: yul206@eng.ucsd.edu
Office hour: Tuesday 2-3pm, CSE 3240

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

Another useful reference:
L. Libkin: Elements of Finite Model Theory, Springer 2004
Online version

Homeworks

Piazza We will be using Piazza for class discussion. All class materials will continue to be posted on this class web page (not Piazza). Find our Piazza class page here and go to Q&A to post or answer questions. Please make sure you are registered.
Slides and other resources
Introduction
The relational model

Integrity of Scholarship You are assumed to be familiar with the UCSD Policy on Integrity of Scholarship and the course policy as described here. All students enrolled in this course implicitly agree to abide by the policies described in this document. If you have any questions about these policies, be sure to discuss them with us.