Что происходит с многозначными зависимостями?Подпадают ли они под BCNF или четвертую нормальную форму или что-то подобное?
4NF предполагает устранение многозначных зависимостей.
Более низкие нормальные формы, включая BCNF, включают функциональные зависимости.
Статьи Википедии о нормальных формах на самом деле довольно хороши.