75
правок
Изменения
→Замыкание множества функциональных зависимостей
=== Определение и примеры ===
=== Правила вывода функциональных зависимостей ===
==Замыкание множества функциональных зависимостей = ={{Определение|definition=Замыкание множества функциональных зависимостей <tex>S</tex> - множество всех функциональных зависимостей, обозначаемое <tex>S^+</tex>, которые следуют из заданного множества функциональных зависимостей <tex>S</tex>.}}===Построение === Set<E> '''buildClosure'''(s: Set<E>): closure = Set<E>(s.addAll()) changed = true '''while''' (changed): changed = false '''for''' f in closure: '''for''' rule in rules: //rules - правила вывода new_f = rule.apply(f) changed = closure.add(new_f) //add - возвращает true, если элемент был добавлен, false - иначе '''return''' closureTODO
=== Эквивалентность множеств функциональных зависимостей ===
TODO
