пдф-Нормальные формы

Определение 1НФ: отношение находится в первой нормальной форме, если на пресечении каждого столбца и каждой строки находятся только элементарные значения атрибутов.

2НФ

Пример 1. Отношение «Оценки сессии»:

Определение 2НФ: отношение находится во второй нормальной форме, если оно

является отношением в 1НФ, и каждый неключевой атрибут полностью функционально зависит от любого возможного ключа в отношении.

Пример 2. Отношение «Поставки от поставщиков»

2НФ.

│______________________↑ │__________________________________________↑ │__________│_____________________________________________↑

Расщепив исходное отношения на два, заданные во 2 НФ, устраняются аномалии

│__________↑ │____________│___________↑

│__________________________↑

3 шага нормализации

SHAPE \* MERGEFORMAT

НФБК (BCNF)

Определение НФБК : отношение находится в нормальной форме Бойса-Кодда, если оно находится в третьей нормальной форме, и каждый детерминант является возможным ключом отношения.

Это отношение находится в 3НФ, но не находится в НФБК.

4НФ

Пример 3. Отношение описывает работу программистов над проектами:

Решение проблемы – разбить БД еще:

Пример 4.

Отношение "Абитуриенты-Факультеты-Предметы"

Модифицированное отношение "Абитуриенты-Факультеты-Предметы"

Определение многозначной зависимости. Пусть INCLUDEPICTURE "C:\\Old_G\ \METWORK\\WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image23.gif" \* MERGEFORMATINET - отношение, и INCLUDEPICTURE "C:\\Old_G\ \METWORK\\WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image283.gif" \* MERGEFORMATINET , INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image174.gif" \* MERGEFORMATINET , INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image284.gif" \*

"C:\\Old_G\\METWORK\\WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image174.gif" \* MERGEFORMATINET и INCLUDEPICTURE "C:\ \Old_G\\METWORK\\WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\

\ i m a g e 2 8 4 . g i f " \ * M E R G E F O R M AT I N E T м н о г о з н а ч н о з а в и с я т о т INCLUDEPICTURE "C:\\Old_G\\METWORK\\WPROGRAM\\politex\\DB\\Введение

всистемы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков. files\\image283 . gif" \* MERGEFORMATINET (обозначает ся INCLUDEPICTURE "C:\\Old_G\\METWORK\\WPROGRAM\\politex\\DB\\Введение

всистемы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image285.gif" \* MERGEFORMATINET ), тогда и только тогда, когда

из того, что в отношении INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image23.gif" \* MERGEFORMATINET содержатся кортежи INCLUDEPICTURE "C:\\Old_G\ \METWORK\\WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image286.gif" \* MERGEFORMATINET и INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image287.gif" \* MERGEFORMATINET следует, что в отношении INCLUDEPICTURE "C:\\Old_G\ \METWORK\\WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image23.gif" \* MERGEFORMATINET содержится также и кортеж к INCLUDEPICTURE "C:\ \Old_G\\METWORK\\WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\ \image288.gif" \* MERGEFORMATINET .

Декомпозиция отношения INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image23.gif" \* MERGEFORMATINET на проекции INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image297.gif" \* MERGEFORMATINET и INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image298.gif" \* MERGEFORMATINET будет декомпозицией без потерь тогда и только тогда, когда имеется многозначная зависимость INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image285.gif" \* MERGEFORMATINET .

Определение 4НФ. Отношение INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image23.gif" \* MERGEFORMATINET находится в четвертой нормальной форме (4НФ), если отношение находится в НФБК и не содержит нетривиальных многозначных зависимостей.

Отношение "Абитуриенты-Факультеты-Предметы" находится в НФБК, но не в

4НФ.

5НФ

Пример 3. Рассмотрим следующее отношение INCLUDEPICTURE "C:\\Old_G\ \METWORK\\WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image23.gif" \* MERGEFORMATINET :

Всевозможные проекции отношения INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image23.gif" \* MERGEFORMATINET , включающие по два атрибута, имеют вид: