{Н_СОТР, Н_ПРО}àН_ОТД. {Н_СОТР, Н_ПРО}àТЕЛ. {Н_СОТР, Н_ПРО}àПРОЕКТ. {Н_СОТР, Н_ПРО}àН_ЗАДАН. Н_СОТР àФАМ. Н_СОТР à Н_ОТД. Н_СОТР à ТЕЛ. Н_ПРОàПРОЕКТ. Н_ОТДЕЛà ТЕЛ. Н_СОТР àФАМ. Н_СОТР &

{Н_СОТР, Н_ПРО}à Н_ОТД

{Н_СОТР, Н_ПРО}à ТЕЛ

{Н_СОТР, Н_ПРО}à ПРОЕКТ

{Н_СОТР, Н_ПРО}à Н_ЗАДАН

Қ ызметкерді қ ызметкердің табельдік номерін мінездейтін қ асиеттер тә уелділігі:

Н_СОТР à ФАМ

Н_СОТР à Н_ОТД

Н_СОТР à ТЕЛ

Жоба атауының жоба номерінен тә уелділігі:

Н_ПРОà ПРОЕКТ

Телефон номерінің бө лім номерінен тә уелділігі:

Н_ОТДЕЛà ТЕЛ

Қ атынастардың функционалды тә уелділігі жә не функционалдық қ атынастың математикалық тү сінігі.

Функционалды тә уелділік қ атынастары функционалды тә уелділіктің математикадағ ы тү сінігін еске тү сіреді. Бірақ бұ л тура сондай емес. Тексеру ү шін функционалды тә уелділіктің математикалық тү сінігін еске тү сіреміз:

2 Анық тама. Функционалды тә уелділік бұ л функция - ү штік бө ліктер.

{x, y, f}, мұ ндағ ы

Х - кө пшілік (анық тау аймағ ы)

У - кө пшілік (мә ндер аймағ ы)

F – Х Х элементінің қ атысуына қ ойылатын бір немесе бірнеше элемент У У (функционалды тә уелділік ережесі).

Функционалды тә уелділік қ арапайым тү рде f: xà x немесе y=f(x) 2Қ Ф (екінші қ алыпты форма).

3 Анық тама. R қ атынасының екінші қ алыпты формада орналасуы мынадай жағ дайда ғ ана 1Қ Ф орындалады жә не кү рделі кілт бө ліміне қ атысы жоқ, кілттік емес қ асиеті жоқ болса ғ ана (Кілттік емес қ асиет бұ л ешқ андай потенциалды кілт қ ұ рамына кірмейтін қ асиет).

Қ ЫЗМЕТКЕРЛЕР_БӨ ЛІМДЕР_ЖОБАЛАР қ атынасы 2Қ Ф орналаспайды, сондай-ақ қ асиеттері бар кү рделі кілт бө лігіне қ атысатындар:

Кү рделі кілт бө лігінен қ ызметкерлер табелінің номері кү рделі болып табылатын қ ызметкерлерді мінездейтін қ асиеттер тә уелділігі:

Н_СОТР à ФАМ

Н_СОТР à Н_ОТД

Н_СОТР à ТЕЛ

Жоба атының жоба номерінен тә уелділігі кү рделі кілт бө лігінен тә уелді болып табылады: