Theory and design of database systems. Database system structure, semantic data modeling, relational databases and their object-oriented extensions, object relational modeling (ORM), document-store and key-value databases, graph databases,formal query languages, integrity and security. Physical database design, indexing and hashing, query processing, and optimization. Transaction processing, concurrency, and crash recovery are introduced. Lecture, 3 hours. Prerequisite: CMSI 386.