Formal development of the major components of a database management system. Topics include. query languages, dependencies and normalization, query optimization, and distributed database management systems. Prereq: CMPS 46O or consent of instructor. Same as EECE 562.