ВВЕДЕНИЕ В СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ


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


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

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

  1. Если
    и
    , то
    (однозначность функции).

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

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

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

.




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