Срок функциональной зависимости

Question

Я пытаюсь выяснить некоторые вопросы о функциональных зависимостях (базы данных). Является ли это предположение истинным или ложным и почему?

если A-> B, то AC-> B

Спасибо вам большое!

Мое решение:

Предположим, что A является подмножеством B, тогда B-> A (правило Армстронга). Следовательно, AC-> B, потому что A является подмножеством AC. Если AC-> A и A-> B, то AC-> B, согласно правилу транзитивности.

Answer 1

Если один A функционально определяет B, то добавление избыточных атрибутов в левую часть отношения не изменит истинную исходную зависимость.

В основном это правило аугментации в форме аксиом Армстронса, которое гласит, что если A -> B, то A,C -> B,C. Тогда по разложению A, C -> B