функциональные зависимости перехода и объединение

Question

Я думали, что,

Я знаю, что: если в → Ьса и мы знаем → (тривиальное) затем → а Союз права Так что это как мы можем поместить элемент левой стороны вправо

Но если это верно? , если a → bc , и мы знаем b → b (тривиальный) , затем путем объединения, ab → bc ?? Чувство странное, но если это может сработать, все равно, что мы также можем выбрать любой элемент правой руки и положить его в левую сторону. Это правда?

Спасибо, ребята!

Answer 1

Если a → bc, то ad → bc для любого атрибута d (отображается ли он в этой функциональной зависимости или нет). Действительно, на the reflexivity axiom ad → a, а затем ad → bc аксиомой транзитивности от ad → a и a → bc.