CSC 530: Database Theory

3 Semester Credit Hours . 0-3-3 Prerequisite CSC 430 or consent of instructor. Data models, relational algebra and relational calculus, data dependencies and schema normalization, Datalog, recovery and concurrency control, distributed database environments.