Course Description

Functional dependencies. Inference rules. Closure of a functional dependency set. Closure of an attribute set. Derivation sequences and derivation directed acyclic graph. Covers for functional dependencies. Equivalence of functional dependency sets. Nonredundant, reduced and minimal covers. Compound functional dependencies. Synthesis algorithm. Comparison with normalization by decomposition. Improvements of the Synthesis algorithm. Other dependencies and further normal forms multivalued dependencies, fourth normal form. Join dependencies, project-join normal form. Inclusion dependencies, template dependencies, domain-key normal form.

Study Programmes

Postgraduate doctoral study programme


Henry F. Korth, S. Sudarshan, Abraham Silberschatz (2019.), Database System Concepts, McGraw-Hill Education
C. J. Date (1990.), An Introduction to Database Systems, Addison Wesley Publishing Company
Hector Garcia-Molina, Jeffrey D. Ullman, Jennifer Widom (2011.), Database Systems, Pearson Higher Ed
David Maier (1983.), The Theory of Relational Databases, Rockville, Md. : Computer Science Press

For students


ID 154714
  Winter semester
L0 English Level