Databases Course - Database Normalization - Implication of Functional Dependencies | Database Tutorial 6c

In this lecture of the databases course we talk about the implication of functional dependencies. We will learn how to compute the cover of a set of attributes, and how to determine whether a functional dependency is implied by a set of functional dependencies (via Armstrong axioms or by using covers). This is the databases online course given at the Vrije Universiteit Amsterdam by Jörg Endrullis. The course objective is to obtain a good understanding of relational database systems from the user perspective. This includes the ability to develop conceptual database models, as well as key concepts and skills in relational database theory and practice. Among others, we treat in this course the following subjects: (a) entity–relationship diagrams for the design of database schemata, (b) the relational database model and integrity constraints, (c) SQL (structured query language) for retrieving information from relational databases, (d) database normalisation and functiona dependencies (reasoning about good database design), (e) transactions and concurrency control. The slides are based on work by Peter Boncz and Torsten Grust.