Выдержка из книги
Мейер Д.N.
Теория реляционных баз данных
С помощью F-зависимости Y - - / С было получено значение для t ( К) из строки и, где К K W для некоторого множества ( возможно, пустого) W. Ключи К и Y не входят в одно и то же К -, так как t определена на Y и W, но не на К, следовательно, не определена на RJ.
