CS 589 Principles of Database Systems
This course explores the foundations of database systems, with a focus on data models and query languages. It will show how formal methods are applied to issues in database design and processing. Topics may include query formalisms and their equivalence, query transformation, semi-structured data models, dependencies and normal forms, logic and deductive databases, data language complexity, treatment of incomplete information, complex-value models, semantic models and classification, and temporal databases. Recommended prerequisites:
CS 486 or
CS 586 or equivalent course; familiarity with discrete math and logic that could be satisfied by
CS 250/
CS 251 or by
Mth 356.
Slash Listed Courses
Also offered as
CS 689 and may be taken only once for credit.