CS 689 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. Also offered as CS 589 and may be taken only once for credit. Expected preparation: 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.