B661 Database Theory and Systems Design (3 cr.); P: B461 or B561.
Database models: relational, deductive, complex-object,
object-oriented. Query languages: relational algebra and calculus,
datalog, fixpoint logics, object-oriented query languages. Transaction
management theory: concurrency control, recovery, distribution.
Post-relational and object-oriented database systems.