Рефлексивность

Если имеется некоторая совокупность атрибутов X = YZ (т.е. Y есть некоторое подмножество из X), тогда X à Y.

Это тривиальная функциональная зависимость, в которой зависимость (правая часть) содержится в детерминанте (левой части).

Из этой зависимости следует (если Z = Æ), что X à X.

Пополнение

Или расширение левой части.

Если существует функциональная зависимость X à Y, то XZ à YZ.

Важно, что функциональная зависимость X à Y или принадлежит F, или может быть логически выведена из F с помощью описываемых правил.

Пример:

Пусть дана схема отношения R(A B C D), для которой определена функциональная зависимость A à B. Рассмотрим некоторую реализацию отношения:

Дано

Следует

R

(A

B

C

D)

A

à

B

A

C

à

B

C

a1

b1

c1

d1

a1

b1

a1

c1

b1

c1

a2

b2

c1

d1

a2

b2

a2

c1

b2

c1

a1

b1

c1

d2

a1

b1

a1

c1

b1

c1

a3

b2

c2

d3

a3

b2

a3

c2

b2

c2

a1

b1

c2

d2

a1

b1

a1

c2

b1

c2

Транзитивность

Если X à Y и Y à W, то X à W.

Рассмотрим пример: