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.
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
L0 English Level