Применять аксиомы Армстронга и вытекающие из них правила. (Я уверен, что это в вашем учебнике. Проверьте индекс.) Например, учитывая эти две функциональные зависимости (FD):
(Product, Store) -> Dept
Dept -> Assist
Вы можете применить правило транзитивности для определения неустановленного FD:
(Product, Store) -> Assist
Из заданных вами FD выведите неприводимый набор FD; этот набор определяет ваши таблицы.
Этот пример взят из Даты Введение в системы баз данных . (Он дает более полную трактовку этого.) Учитывая
A -> BC
B -> C
A -> B
AB -> C
AC -> D
переписать для правых синглетонов, используя аксиомы Армстронга:
A -> B
A -> C
B -> C
A -> B
AB -> C
AC -> D
FD A -> B
встречается дважды; мы можем отказаться от одного без потери информации. Мы можем уменьшить AC -> D
до A -> D
, и мы можем устранить AB -> C
. И мы можем устранить A -> C
, оставив
A -> B
B -> C
A -> D
Из этого неприводимого набора FD вы получите две таблицы
A -> BD
B -> C