В википедии есть довольно хороший пример: Четвертая нормальная форма .Есть ли какая-то конкретная часть, которую вы не понимаете?
Возможно, вы захотите взглянуть на Многозначная зависимость .
ОБНОВЛЕНИЕ: Так в чем же разница между тривиальными и нетривиальными зависимостями?
Это зависит от того, идет ли речь о функциональных или многозначных зависимостях.
Тривиальная функциональная зависимость X -> Y - это та, где Y является подмножеством X.Поскольку X -> Y означает «Y можно определить из X», это тривиально верно для любых X и Y, где Y состоит из атрибутов X;очевидно, если мы знаем X, мы можем определить Y, если он содержит только элементы из X!
Тривиальная многозначная зависимость X ->-> Y - это та, где Y содержит каждый атрибут, не входящий вX.Обратите внимание, что он также может содержать атрибуты в X.Этот тип многозначной зависимости также справедлив для всех X и Y и поэтому тривиален.Это следует из определения многозначной зависимости:
обозначает (x, y, z) кортеж, имеющий значения для X, Y, R − X − Y, все вместе равные x, y, z, соответственно, тогда всякий раз, когда кортежи (a, b, c) и (a, d, e) существуют в r, кортежи (a, b, e) и (a, d, c) также должны существоватьв т.
В тривиальной многозначной зависимости набор z = R - X - Y пуст, поэтому требование уменьшается до (0 - пустой набор):
кортежи (a, b, 0) и (a, d, 0) существуют в r, кортежи (a, b, 0) и (a, d, 0) также должны существовать в r.
Что, очевидно, верно.