Архив / DBMSlide05нормализация
.pdf
Ограничения предметной области
Каждый поставщик имеет только один адрес Каждый поставщик поставляет товар по определенной цене
Товары одного наименования, поставленные одним поставщиком, хранятся на одном складе
Каждый склад имеет свой объем
Щеголева Л. В. (ПетрГУ) |
Базы данных |
6 / 26 |
Ограничения предметной области
Каждый поставщик имеет только один адрес
Поставщик ! Адрес
Каждый поставщик поставляет товар по определенной цене
Товары одного наименования, поставленные одним поставщиком, хранятся на одном складе
Каждый склад имеет свой объем
Щеголева Л. В. (ПетрГУ) |
Базы данных |
6 / 26 |
Ограничения предметной области
Каждый поставщик имеет только один адрес
Поставщик ! Адрес
Каждый поставщик поставляет товар по определенной цене
fТовар; Поставщикg ! Цена
Товары одного наименования, поставленные одним поставщиком, хранятся на одном складе
Каждый склад имеет свой объем
Щеголева Л. В. (ПетрГУ) |
Базы данных |
6 / 26 |
Ограничения предметной области
Каждый поставщик имеет только один адрес
Поставщик ! Адрес
Каждый поставщик поставляет товар по определенной цене
fТовар; Поставщикg ! Цена
Товары одного наименования, поставленные одним поставщиком, хранятся на одном складе
fТовар; Поставщикg ! Склад
Каждый склад имеет свой объем
Щеголева Л. В. (ПетрГУ) |
Базы данных |
6 / 26 |
Ограничения предметной области
Каждый поставщик имеет только один адрес
Поставщик ! Адрес
Каждый поставщик поставляет товар по определенной цене
fТовар; Поставщикg ! Цена
Товары одного наименования, поставленные одним поставщиком, хранятся на одном складе
fТовар; Поставщикg ! Склад
Каждый склад имеет свой объем
Склад ! Объем
Щеголева Л. В. (ПетрГУ) |
Базы данных |
6 / 26 |
Аксиомы вывода
Щеголева Л. В. (ПетрГУ) |
Базы данных |
7 / 26 |
Аксиомы вывода
1. Рефлексивность |
X ! X |
Щеголева Л. В. (ПетрГУ) |
Базы данных |
7 / 26 |
Аксиомы вывода
1. |
Рефлексивность |
X ! X |
) XZ ! Y |
2. |
Пополнение |
X ! Y |
Щеголева Л. В. (ПетрГУ) |
Базы данных |
7 / 26 |
Аксиомы вывода
1. |
Рефлексивность |
X ! X |
) |
XZ ! Y |
2. |
Пополнение |
X ! Y |
||
3. |
Аддитивность |
X ! Y ; X ! Z |
) |
X ! YZ |
Щеголева Л. В. (ПетрГУ) |
Базы данных |
7 / 26 |
Аксиомы вывода
1. |
Рефлексивность |
X ! X |
) |
XZ ! Y |
2. |
Пополнение |
X ! Y |
||
3. |
Аддитивность |
X ! Y ; X ! Z |
) |
X ! YZ |
4. |
Проективность |
X ! YZ |
) |
X ! Y |
Щеголева Л. В. (ПетрГУ) |
Базы данных |
7 / 26 |