Проверка FD на множестве отношений - Нужно проверить решение

Question

У меня проблемы с доказательством функциональных зависимостей с помощью Аксиом Армстронга. С этим я борюсь. Пусть R(A,B,C,D,E) - схема отношений и F = {A→CD, C→E, B→D} 1. Докажите: F: BC-> DE

Что я имею:

1 Дано B->D 1. Дополнение C на 1, BC-> DC

2. Разложение на 2, до н.э.-> D до н.э.-> С

3. Транзитивность по BC-> C, BC-> E

4. Союз на БК -> Д а и 4, БК -> ДЭ

Не уверен, что это правильное решение.

Answer 1

Вы абсолютно правы, мой друг. Ваше доказательство безупречно.