Базы данных - модели, разработка, реализация


Даталогическое проектирование - часть 4


  • С не включает в себя В.
  • Существует функциональная зависимость R.A -> R.C.
  • Не существует функциональной зависимости R.C -> R.A.
  • Существует функциональная зависимость R.C -> R.B.
  • Возможным ключом отношения называется набор атрибутов отношения, который полностью и однозначно (функционально полно) определяет значения всех остальных атрибутов отношения, то есть возможный ключ - это набор атрибутов, однозначно определяющий кортеж отношения, и при этом при удалении любого атрибута из этого набора его свойство однозначной идентификации кортежа теряется.

    А может ли быть ситуация, когда отношение не имеет возможного ключа? Давайте вспомним определение отношения: отношение - это подмножество декартова произведения множества доменов. И в полном декартовом произведении все наборы значений различны, тем более в его подмножестве. Значит, обязательно для каждого отношения всегда существует набор атрибутов, по которому можно однозначно определить кортеж отношения. В вырожденном случае это просто полный набор атрибутов отношения, потому что если мы зададим для всех атрибутов конкретные значения, то, по определению отношения, мы получим только один кортеж.

    В общем случае в отношении может быть несколько возможных ключей.

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

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

    Взаимно-независимые атрибуты - это такие атрибуты, которые не зависят функционально один от другого.

    Если в отношении существует несколько функциональных зависимостей, то каждый атрибут или набор атрибутов, от которого зависит другой атрибут, называется детерминантом отношения.

    Для функциональных зависимостей как фундаментальной основы проекта БД были проведены исследования, позволяющие избежать избыточного их представления. Ряд зависимостей могут быть выведены из других путем применения правил, названных аксиомами Армстронга, по имени исследователя, впервые сформулировавшего их.


    - Начало -  - Назад -  - Вперед -