P: 443 or equivalent. Spring. 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.