75
правок
Изменения
→Неприводимые множества функциональных зависимостей
|definition=
Множество ФЗ <tex>S</tex> '''неприводимо''', если: <br>
* Каждая правая часть ФЗ содержит ровно один атрибут
* Каждая левая часть ФЗ минимальна по включению
* <tex>S</tex> минимально по включению
}}
=== Пример построения ===
Дано: <br>
* <tex>LId \to Lecturer \; Phone</tex>
* <tex>Lecturer \to Phone </tex>
* <tex>LId \to DeptHead</tex>
* <tex>Lecturer \; Phone \; Table \to DeptHead </tex>
Неприводимое множество ФЗ: <br>
* <tex>LId \to Lecturer</tex> - расщепили 1-ю ФЗ, при этом <tex>LId \to Phone</tex> не понадобится, т.к. выводится из <tex>LId \to Lecturer \to Phone</tex>
* <tex>Lecturer \to Phone </tex>
* <tex>LId \to DeptHead </tex>
* <tex>Lecturer \; Table \to DeptHead </tex> - т.к.
