Архив / DBMSlide05нормализация
.pdf
Аксиомы вывода
1. |
Рефлексивность |
X ! X |
) |
XZ ! Y |
2. |
Пополнение |
X ! Y |
||
3. |
Аддитивность |
X ! Y ; X ! Z |
) |
X ! YZ |
4. |
Проективность |
X ! YZ |
) |
X ! Y |
5. |
Транзитивность |
X ! Y ; Y ! Z |
) |
X ! Z |
Щеголева Л. В. (ПетрГУ) |
Базы данных |
7 / 26 |
Аксиомы вывода
1. |
Рефлексивность |
X ! X |
) |
XZ ! Y |
2. |
Пополнение |
X ! Y |
||
3. |
Аддитивность |
X ! Y ; X ! Z |
) |
X ! YZ |
4. |
Проективность |
X ! YZ |
) |
X ! Y |
5. |
Транзитивность |
X ! Y ; Y ! Z |
) |
X ! Z |
6. |
Псевдотранзитивность |
X ! Y ; YZ ! W |
) |
XZ ! W |
Щеголева Л. В. (ПетрГУ) |
Базы данных |
7 / 26 |
Первая нормальная форма (1НФ)
Щеголева Л. В. (ПетрГУ) |
Базы данных |
8 / 26 |
Вторая нормальная форма (2НФ)
r(A; B; C; D; E)
AB ! C
AB ! D
AB ! E
B ! D
Щеголева Л. В. (ПетрГУ) |
Базы данных |
9 / 26 |
Вторая нормальная форма (2НФ)
r(A; B; C; D; E)
AB ! C
AB ! D
AB ! E
B ! D
:
r1(B; D)
r2(A; B; C; E)
Щеголева Л. В. (ПетрГУ) |
Базы данных |
9 / 26 |
Вторая нормальная форма
Запас(Товар, Поставщик, Адрес, Цена, Склад, Объем)
fТовар; Поставщикg ! Цена fТовар; Поставщикg ! Склад Склад ! Объем Поставщик ! Адрес
Щеголева Л. В. (ПетрГУ) |
Базы данных |
10 / 26 |
Вторая нормальная форма
Запас(Товар, Поставщик, Адрес, Цена, Склад, Объем)
fТовар; Поставщикg ! Цена fТовар; Поставщикg ! Склад Склад ! Объем Поставщик ! Адрес
Запас1(Поставщик, Адрес)
Запас2(Товар, Поставщик, Цена, Склад, Объем)
Щеголева Л. В. (ПетрГУ) |
Базы данных |
10 / 26 |
Третья нормальная форма
r(A; B; C; D; E)
A ! B
A ! C
A ! D
A ! E
D ! B
Щеголева Л. В. (ПетрГУ) |
Базы данных |
11 / 26 |
Третья нормальная форма
r(A; B; C; D; E)
A ! B
A ! C
A ! D
A ! E
D ! B
:
r1(D; B)
r2(A; C; D; E)
Щеголева Л. В. (ПетрГУ) |
Базы данных |
11 / 26 |
Третья нормальная форма
Запас1(Поставщик, Адрес)
Запас2(Товар, Поставщик, Цена, Склад, Объем)
fТовар; Поставщикg ! Цена fТовар; Поставщикg ! Склад Склад ! Объем Поставщик ! Адрес
Щеголева Л. В. (ПетрГУ) |
Базы данных |
12 / 26 |