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

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

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

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

Определение нетривиальной зависимости . Зависимо сть со единения

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

зависимостью соединения, если выполняется два условия:

одно из множеств атрибутов INCLUDEPICTURE "C:\\Old_G\\METWORK\ \WPROGRAM\\politex\\DB\\Введение в системы управления базами данных_ Глава 7_ Нормальные формы более высоких порядков.files\\image316.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\\image23.gif" \* MERGEFORMATINET .

Для удобства работы сформулируем это определение так же и в отрицательной форме:

О п р ед ел е н и е т р и в и а л ь н о й з а в и с и м о с т и . З а в и с и м о с т ь с о ед и н е н и я

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

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

M E R G E F O R M AT I N E T со д е рж а т п о т е н ц и а л ь н ы й к л юч от н о ш е н и я

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 .

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

Определения 5НФ может стать более понятным, если сформулировать его в отрицательной форме:

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

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

пятой нормальной форме (5НФ) тогда и только тогда, когда

любая имеющаяся зависимость соединения является тривиальной.

С

В

В

А

С

В

А

3 НФ Все столбцы зависят от значения первичного ключа и не зависят друг от друга

Устранение всех транзитивных зависимостей атрибутов, не являющихся основными, от возможных ключей.

2 НФ Данные всех неключевых столбцов полностью зависят от значения первичного ключа.

Устранение всех неполных зависимостей, не являющихся основными от возможных ключей. Проверка того, что все данные записи зависят от значения составного ключа и при необходимости разделение этой записи.

1 НФ Плоские таблицы, не содержащие повторяющихся групп.

Переход от произвольной структуры данных к двумерной. Извлечение повторяющихся групп в новые таблицы.

Ненормализованные данные