database - 一連の関係でFDを証明する-ソリューションをチェックする必要がある

Question

ArmstrongのAxiomsとの機能依存性を証明する際に問題が発生しています。私はこれに苦労しています：

R（A、B、C、D、E）をリレーションスキーマとし、F = {A→CD、C→E、B→D}とします。

証明：F：BC-> DE

私が持っているもの：

1. 与えられたB->D
2. 1、BC->DCの拡張C
3. 2、BC-> D、BC->Cでの分解
4. BC-> C、BC->Eの推移性
5. BC-> Dおよび4、BC->DEのユニオン

これが適切な解決策であるかどうかわからない。

Answer 1

あなたは私の友人です。あなたの証拠は完璧です。