Какие правила формализации функциональных зависимостей вы знаете?

Набор правил вывода должен быть полным, т.е. давать возможность вывести все зависимости из F+, и надежным, т.е. не позволять вывести зависимость из F, не принадлежащую F+. Таким образом, правила вывода, называемые также аксиомами вывода функциональных зависимостей, должны позволять вывести множество функциональных зависимостей, присущих рассматриваемой схеме отношения R(A1, A2,..., Am) на заданном универсальном множестве атрибутов U по заданному множеству ФЗ F = {F1, F2,..., Fk}.

Выше представлены восемь аксиом вывода функциональных зависимостей.