Учебное пособие Для студентов университетов Специальностей «Информатика», «Прикладная математика»



Pdf көрінісі
бет27/177
Дата15.02.2022
өлшемі2,58 Mb.
#25567
түріУчебное пособие
1   ...   23   24   25   26   27   28   29   30   ...   177
4.2.4. Покрытие множества зависимостей 
Пусть F
1
 и F
2
 – множества функциональных зависимостей на множе-
стве атрибутов U. Говорят, что F
1
 и F
2
 эквивалентны, если 
. В 
этом случае говорят также, что F
+
+
=
2
1
F
F
1
 покрывает F
2
 (и F
2
 покрывает F
1
). Лег-
ко проверить, являются ли F
1
 и F
2
 эквивалентными. Для этого не обяза-
тельно  строить  замыкания 
и 
.  Достаточно  для  каждой  зависимо-
сти (X 
→ Y) ∈ F
+
1
F
+
2
F
1
 проверить, содержится ли эта зависимость в 
.  Для 
этого проверяют, содержится ли Y в
, (индекс внизу означает, что за-
мыкание строится относительно  набора  функций F
+
2
F
+
1
F
X
2
);  в  свою  очередь  
 
32


 
для  каждой зависимости  (V 
→ W) ∈ F

проверяют, содержится ли она в 
. Если эти условия выполняются, то F
+
1
F
1
 и F
2
 эквивалентны, в против-
ном случае – неэквивалентны. 
Заметим, что когда от заданных зависимостей переходим к полным, то 
получаем набор функций, эквивалентный исходному. 
Кроме того, всегда можно перейти к набору функций, эквивалентному 
исходному и такому, что в правой части находится только один атрибут. 
Говорят,  что  множество  зависимостей F является  минимальным  по-


Достарыңызбен бөлісу:
1   ...   23   24   25   26   27   28   29   30   ...   177




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет