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 2005-06, Spring also
Credit:	3 hours (class)
Prerequisite:	CS 448
University Catalog:	CS 541
Schedule:	Fall 2005 Instructor: Walid Aref