Если у меня есть XY-> Z, это правда, что мы можем сделать вывод, что X-> Z, потому что:
XY-> ZY, так что
XY-> Z и XY-> Y
XY-> Y можно разложить до X-> Y
, и, поскольку X-> Y, мы можем разложить XY-> Z на X-> Z
правильно?
Нет, это не правильно. Это будет означать, что никогда не может быть составного ключа.
Рассмотрим X = номер заказа, Y = номер позиции заказа и Z = цена товара. Если ваше сокращение было правильным, только номер заказа будет определять цену товара, но в большинстве систем заказов в заказе может быть несколько товаров с разными ценами товара. Это имеет смысл для XY⟶Z, но X⟶Z в целом ошибочен.