Это не функциональные зависимости, а многозначные (они обычно обозначаются двуглавой стрелкой). Курс -> ---> Книги означает, что после того, как курс был установлен, все лекторы должны использовать все книги, т. Е. Всякий раз, когда (L1, B1) и (L2, B2) соответствуют определенному курсу, так и (L2, B1). ) и (L1, B2).
Курс -> ---> Книги тривиально подразумевает курс -> ---> Лектор, так как они оба относятся к одной паре книг и лекторов. В общем, всякий раз, когда X -> -> Y, он также содержит X -> -> R-Y, где R - множество всех атрибутов.