Базы данных и знаний. Мартьянова А.Е. - 36 стр.

36                                Мартьянова А.Е. Базы данных и знаний


      Наиболее важные на практике нормальные формы отношений ос-
новываются на фундаментальном в теории реляционных баз данных по-
нятии функциональной зависимости. Функционально зависимым счита-
ется такой атрибут, значение которого однозначно определяется значе-
нием другого атрибута. Функционально зависимые атрибуты обознача-
ются следующим образом: А → Б. Атрибут, указываемый в левой части,
называется детерминантом.
      Первичный ключ таблицы является детерминантом, так как его
значение однозначно определяет значение любого атрибута таблицы.
      Если для некоторых атрибутов А и Б всегда каждому значению А
соответствует не более одного значения Б, то говорят, что атрибут Б
функционально зависит от А.
      Если неключевой атрибут зависит только от части ключа, то гово-
рят о частичной зависимости.
      Если неключевой атрибут зависит от всего составного ключа и не
находится в частичной зависимости от его частей, то говорят о его пол-
ной функциональной зависимости от составного ключа.
      Если для некоторых атрибутов А, Б и В выполняются условия: Б
функционально зависит от А (А → Б) и В функционально зависит от Б (Б
→ В), а обратная зависимость отсутствует (Б → А), то говорят, что В
транзитивно зависит от А.
      Если в отношении каждому значению атрибута А соответствует
множество значений атрибута Б, не связанных с другими атрибутами
(этого же отношения), то говорят, что атрибут Б многозначно зависит от
А.
      Отношение находится в первой нормальной форме (1НФ) тогда и
только тогда, когда в любом допустимом значении этого отношения ка-
ждая его строка содержит только одно значение для каждого атрибута
(столбца).
      Отношение находится во второй нормальной форме (2НФ), если
оно удовлетворяет определению 1НФ и все его атрибуты (столбцы), не
входящие в первичный ключ, связаны полной функциональной зависи-
мостью с первичным ключом (нет атрибутов, зависящих от части пер-
вичного ключа).
      Отношение находится в третьей нормальной форме (3НФ), если
оно удовлетворяет определению 2НФ и ни один из его неключевых ат-
рибутов не связан функциональной зависимостью с любым другим не-
ключевым атрибутом (отсутствуют транзитивные зависимости).



                                  36