Аксиомы Армстронга сохраняются только для функциональных зависимостей, а не для многозначных зависимостей (фактически, на странице вики, вы можете видеть, что, даже если они имеют одно и то же имя, свойства разные).
В частности, правило разложения (свойство в вашем вопросе) не содержит форма Многозначные зависимости.
Это обсуждается в нескольких книгах базы данных. Например, есть пример об этом в книге Гарсия-Молина «Системы баз данных: полная книга». 2-е изд. Upper Saddle River, N.J, Pearson Prentice Hall, 2009, на стр. 109. Здесь представлено отношение к звездам Голливуда с их (несколькими) адресами и (несколькими) названиями и годами их фильмов. Таким образом, отношение имеет атрибуты:
(name, street, city, title, year)
с MVDS:
name →→ street, city (a star can have multiple addresses)
name →→ title, year (a star can have multiple movies)
Из этих зависимостей вы не может делать вывод, например, что:
name →→ street
name →→ city
, так как вы потеряете связь между улицей и городом адреса звезды.