Introduction to Databases
7. Formal Database design
Content: Motivation, definition of function dependency, Armstrong axiom and derivation of other functional dependencies, principle of schema normalization, definition of normal forms.
Covered terms: Functional dependency, Armstrong axioms, Lossless decomposition, dependency-preserving decomposition, BCNF, 3NF, 2NF and 1NF.
Slides cover Chapter 8 in the book Database Systems Concepts.
Tutorial: Practice of functional dependencies and schema normalization
Approach: Work independently or in pairs/groups; slide-by-slide is important here (later slides may reveal a solution to the preceding ones).
Assignment (5 points in total, deadline Jan. 26, 2025):
The deadline is Jan. 26, 2025.
The score is up to 5 points.