Каково закрытие этих функциональных зависимостей отношения?Управление базой данных - закрытие функциональных зависимостей
Ответ: А -> БК (с использованием псевдо правила транзитивности).
Правильно ли я что-то упускаю?
Закрытие заданного набора FD - это набор всех FD, которые должны удерживаться, когда те, которые находятся в заданном наборе, удерживаются. Т. Е. Множество всех ФД, выводимых из одного в данном множестве некоторой последовательностью аксиом Армстронга. Вам будет сказано, что у каждого набора есть такое закрытие, и оно уникально. И это мы можем найти замыкание, неоднократно применяя некоторую аксиому каким-либо новым способом, используя заданные и/или полученные до сих пор FD, до тех пор, пока не будут получены новые FD.
Вы нашли один FD, подразумеваемый исходным набором {A -> DC, D -> B}, а именно A -> BC, применяя одно правило к некоторым FD в наборе. Если вы не смогли получить новый, применив любые другие правила, то замыканием будет множество {A -> DC, D -> B, A -> BC}. Но это не закрытие, потому что вы все равно можете генерировать хотя бы еще один FD, а именно A-> BDC. И тогда есть A -> A. Продолжайте пытаться применить. Закрытием будет набор всех FD, которые вы можете получить.
«Функциональные зависимости арстронга в Google» для многих академических объяснений. Например, this one.