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.