75
правок
Изменения
→Эквивалентность множеств функциональных зависимостей
{{Определение
|definition =
<tex>S</tex> '''эквивалентно''' <tex>P</tex> (<tex>P</tex> накрывает <tex>S</tex>): <br/><tex>S \equiv P \, \Leftrightarrow \, S \sqsubset P \; \textrm{and} \; P \sqsubset S \, \Leftrightarrow \, S^+ = P^+ </tex>
}}
=== Задача минимизации ФЗ ===
==== Постановка задачи ====
Найти минимальное множество ФЗ эквивалентное заданному. То есть необходимо найти множество ФЗ <tex>P</tex> такое, что замыкание <tex>S</tex> и <tex>P</tex> совпадают и множество <tex>P</tex> имеет меньшую мощность, чем <tex>S</tex>. Это позволит снизить нагрузку на базу данных.
