Fundamentals for the logical design of database systems. The entity-relationship model, semantic model, relational model, hierarchical model, network model. Implementations of the models. Design theory for relational databases. Design of query languages and the use of semantics for query optimization. Design and verification of integrity assertions, and security. Introduction to intelligent query processing and database machines.

Usually Offered:	Fall In 2003-04, Spring also
Credit:	3 hours (class)
Prerequisite:	CS 448
University Catalog:	CS 541
Schedule:	Spring 2004 Instructor: Sunil Prabhakar
Syllabi:	Canonical