Если y - подмножество x, то x - ›y - тривиальная функциональная зависимость (это хорошо известно). Но я сомневаюсь: y не является подмножеством x и x U y = R, тогда я могу сказать, что x - ›y - тривиальная функциональная зависимость (я читал об этом в какой-то статье)
Добавляем к вышеупомянутому вопросу: почему X U Y = R выполняется в случае многозначных зависимостей (тривиальных)? Может кто-нибудь привести пример, чтобы я мог понять?