Course materials for the Database Theory Class

Current Syllabus
Handouts

-- Some example queries

-- More example queries

-- First order theory, Logic Programming

-- Fixpoint Theory

-- Aggregates in Databases

-- Using INGRES

-- More on INGRES

-- INGRES/ Embedded SQL with C (By: Dhanajay Kashyap)

-- Magic Sets

-- Logical Foundations of Object-Oriented and Frame-Based Languages
Homeworks (Spring 95)

-- Home Work 1 (due 2/6/95)
Project Description

-- The Interpreter and Evaluation Engine Interface

-- Table Manager Interface Specification

-- Uuencoded version of the executable file. You can load it to your local disk uudecode it and run it to see how the project works. (The help command does not work)

-- Table Manager source and documentation
Past Questions

-- Spring 92 (Class test 1)

-- Spring 92 (Class test 2)

-- Spring 92 (Finals)

-- Spring 93 (Class test 1)

-- Spring 93 (Class test 2)

-- Spring 93 (Finals)

-- Spring 94 (Class test 1)

-- Spring 94 (Class test 2)

-- Spring 94 (Finals)

-- Spring 95 (Class test 1)