ArmstrongのAxiomsとの機能依存性を証明する際に問題が発生しています。これは私が苦労しているものです。R（A、B、C、D、E）を関係スキーマとし、F = {A→CD、C→E、B→D} 1.証明：F：BC-> DE
私が持っているもの：
1与えられたB->D1. 1の拡張C、BC-> DC
2. 2での分解、BC-> D BC-> C
3. BC-> C、BC->Eでの推移性
4. BC-> Dおよび4のユニオン、BC-> DE
これが適切な解決策であるかどうかわからない。
また証明する：AC->BDこれは証明できないと思います。助けてください！
いくつかの明らかなスペルミスを除けば、ソリューションは正しいです。
または：
ac-> bdは一般的に証明できません。アームストロングの公理を調べると、派生したfdのrhsにXが表示されるためには、元のfdの1つのrhsで発生する必要があります。
Xは、元のfdのlhsにあるいくつかのX'のサブセットです。
また
fdはXによる拡張によって導出されます
1.）言及されていない制約を構成します。2.）が適用される場合、Xは元のfdのlhsにも表示されます。Xを排除する唯一の方法は、元のfdsの1つのrhsにXを表示する必要がある推移性によるものです。
bをXとして取り、ac->bdが証明できないことを確認します。
略語：
| 速記 | 拡張 |
|---|---|
| fd（s） | 関数従属性（/-cies） |
| lhs | 左側（方程式/導出の） |
| rhs | 右側 |