Введение в системы управления базами данных


Функциональное отношение



Функциональное отношение

Определение 10. Отношение

Функциональное отношение
на декартовом произведении двух множеств
Функциональное отношение
называется функциональным отношением, если оно обладает следующим свойством:
  1. Если
    Функциональное отношение
    и
    Функциональное отношение
    , то
    Функциональное отношение
    (однозначность функции).

Обычно, функциональное отношение обозначают в виде функциональной зависимости -

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

Предикат функционального отношения есть просто выражение функциональной зависимости

Функциональное отношение
.









Содержание раздела