WikiDer > Многозначная зависимость

Multivalued dependency

В соответствии с теория баз данных, а многозначный зависимость это полное ограничение между двумя наборами атрибутов в связь.

В отличие от функциональная зависимость, то многозначная зависимость требует, чтобы определенные кортежи присутствовать в отношениях. Следовательно, многозначная зависимость - это частный случай зависимость, порождающая кортежи. Многозначная зависимость играет роль в Нормализация базы данных 4NF.

Многозначная зависимость - это частный случай присоединиться к зависимости, с задействованными только двумя наборами значений, т.е. это зависимость двоичного соединения.

Многозначная зависимость существует, когда есть не менее трех атрибуты (как X, Y и Z) в связь а для значения X существует четко определенный набор значений Y и четко определенный набор значений Z. Однако набор значений Y не зависит от набора Z и наоборот.

Формальное определение

Формальное определение дается следующим образом. [1]

Позволять быть реляционная схема и разреши и (подмножества). Многозначная зависимость

(который можно читать как multidetermines ) держится на если в каком-либо правоотношении , для всех пар кортежей и в такой, что , существуют кортежи и в такой, что

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

Пример

Рассмотрим этот пример отношения университетских курсов, книг, рекомендованных для курса, и преподавателей, которые будут вести курс:

Университетские курсы
КурсКнигаЛектор
АГАЗильбершатцДжон Д
АГАNederpeltДжон Д
АГАЗильбершатцУильям М
АГАNederpeltУильям М
АГАЗильбершатцКристиан Дж.
АГАNederpeltКристиан Дж.
OSOЗильбершатцДжон Д
OSOЗильбершатцУильям М

Поскольку преподаватели, прикрепленные к курсу, и книги, прикрепленные к курсу, не зависят друг от друга, этот дизайн базы данных имеет многозначную зависимость; если бы мы добавили новую книгу к курсу AHA, нам пришлось бы добавить по одной записи для каждого из лекторов этого курса, и наоборот.
Формально в этом отношении есть две многозначные зависимости: {course} {book} и эквивалентно {course} {лектор}.
Таким образом, базы данных с многозначными зависимостями демонстрируют избыточность. В нормализация базы данных, четвертая нормальная форма требует, чтобы для каждой нетривиальной многозначной зависимости Икс  Y, Икс это суперключ. Многозначная зависимость Икс Y тривиально, если Y это подмножество Икс, или если - это весь набор атрибутов отношения.


Характеристики

  • Если , Потом
  • Если и , Потом
  • Если и , тогда

Следующее также включает функциональные зависимости:

  • Если , тогда
  • Если и , тогда

Вышеупомянутые правила ясны и полны.

  • Разложение р в (ИксY) и (Икср − Y) это разложение без потерь если и только если Икс  Y держит вр.
  • Каждый FD является МВД потому что если X Y, а затем замена Y между кортежами, которые согласованы с X, не создает новых кортежей.
  • Расщепления не выполняется. Как и в случае FD, мы не можем разделить левую часть MVD, но, в отличие от FD, мы не можем разделить и правую часть, иногда вам нужно оставить несколько атрибутов в правой части.
  • Закрытие набора МВД - это набор всех МВД, которые могут быть выведены с использованием следующих правил (Аксиомы Армстронга):
    • Дополнение: Если X Y, затем X R - Y
    • Увеличение: Если X Y и Z W, затем XW YZ
    • Транзитивность: Если X Y и Y Z, затем X Z - Y
    • Репликация: Если X Y, затем X Y
    • Коалесценция: Если X Y и W s.t. W Y = , Вт Z и Z Y, затем X Z

Определения

полное ограничение
Ограничение, которое выражает что-то о все атрибуты в базе данных. (В отличие от встроенное ограничение.) Что многозначная зависимость - это полное ограничение следует из его определения, поскольку там, где говорится что-то об атрибутах .
зависимость, порождающая кортежи
Зависимость, которая явно требует, чтобы в отношении присутствовали определенные кортежи.
тривиальная многозначная зависимость 1
Многозначная зависимость, которая включает в себя все атрибуты отношения, т.е.. Тривиальная многозначная зависимость для кортежей и , кортежи и которые равны и .
тривиальная многозначная зависимость 2
Многозначная зависимость, для которой .

Рекомендации

  1. ^ Зильбершац, Авраам; Корт, Сударшан (2006). Концепции системы баз данных (5-е изд.). Макгроу-Хилл. п.295. ISBN 0-07-124476-X.

внешняя ссылка