Databases
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
Literature
For students
General
ID 154714
Winter semester
6 ECTS
L0 English Level