functional-dependencies

2熱

1答えて

次のインスタンスがどの依存関係を満たしているかを知る方法は誰にも分かりますか？私はそれがB-> A、B-> C、A-> C、C-> A（およびその他の暗黙の依存関係）を満たす知っ A B C 1 0 1 1 1 1 が、私はどのようにの概念を把握することができていませんこのチャートからそれを見るだけです。どのように私はそれを読んで、それが0と1だけで満足するものを決定することになっていると

1熱

1答えて

無損失分解と依存関係の保存

誰か他の人を意味しますか？私のロジックは、すべての依存関係が保持されていれば情報が失われることはなく、同様に、分解がロスレスであれば、関数の依存関係に違反していなければならないということです。基本的に、依存関係の保持は、分解がロスレスであることを保証する方法です。私はそれを受け入れる/拒否するのに苦労しています。これらの両方が互いに保証されているのでしょうか、あるいは、一方が他方なしで実現で

4熱

1答えて

Haskell Collection APIの `Unfoldable` typeclassにおける関数依存関係の役割

ハスケルのData.Collectionライブラリの設計を理解しようとしていますが、これはScalaを熟知したバックグラウンドからのものです。（Scala analogを持っています）Functional Dependenciesを使用していますが、使用方法はわかりません。クラスでは、要素タイプiは、コレクションタイプcで決定されたとして示されています。観察不能な要素を持つコレクションの cl

5熱

2答えて

マルチプラム型のクラスと関数の依存関係ができないタイプファミリは何ですか

TypeFamilies,FunctionalDependencies、MultiParamTypeClassesで遊んでいます。そして、それはあたかもTypeFamiliesのように、他の2つの具体的な機能を追加していないようです。（しかしその逆ではない）。しかし、タイプファミリーはかなり好きなので、私は何かが欠けているように感じます。 TypeFamiliesでは可能ではないと思われる変換機

0熱

2答えて

機能的依存性F = {AB-> CD、A-> B}またはA-> C

私はR（A、B、C、D）またはA - > Cは正しいですか？私は公理をamstrongによって発見Fの閉鎖を試してみてください。 AB->C (decomposition from AB->CD) AB->D (decomposition from AB->CD) AB->AB (reflexivity) AB->A (decomposition from AB->AB) AB->B (

0熱

1答えて

このデータをさらに正規化する必要はありますか？

データを正規化して2番目の正規化段階に達しました。部分的な依存関係を見つけることができないため、このデータを3番目のNFにさらに正規化できるかどうかはわかりません。次に何をすればよいですか？

0熱

1答えて

損失または無損失分解

F（A→C、B→C、C→D、DC→C、CE）のセットでR（A、B、C、D、（A、D）、R2（A、B）、R3（B、E）、R4（C、D、E）、R5（A、E）の関係によって分解されたとする。この分解はロスレスかロスレスですか？私は行列の方法を使ってこの問題を解決しようとしましたが、私は5つの行列を1つの変数でいっぱいにすることができたので、答えは無損失となっています。しかし、損失性。どちらが正しい

0熱

2答えて

関数の依存関係をリストする - 推移的または複数の値を含む？

私はデータベース/ SQLにはかなり新しく、 "上記の機能上の依存関係は何ですか？" 4つの依存関係があると私は理解しています。機能は少なく、完全機能、推移的、多値です。 4つのタイプがすべてリストされることを期待しているのでしょうか？最初の2つだけの場合は特別な名前がありますか、それとも「依存関係」ですか？一方、リストの最初の2つは機能的な依存関係ですか？私は質問者のために話すことはできません

0熱

1答えて

レシピ成分の機能的な依存関係とBCNF分解の発見

私は、関係するスキーマが与えられた場合、すべての正しいFDを見つけるのにいくつか問題があります。 Recipe (userID, code, title, description, username, email, vegan, vegetarian, difficulty) with (userID, code) PK Ingredient (code, name, descript

2熱

1答えて

シンプトンの場合、関数の依存関係はサブトック関係を意味しますか？

FDの定義を見る。 XとYは、スキーマの属性のサブセットがある場合、私は両方の参照：Y⊆X. FD X→Yが些細場合にのみYの場合であれば FD X→Yが些細です⊆X. 「些細な」の別の特徴付けは「おそらく失敗することはできません」（CJ Date）。重要ではないが明示的に特徴付けられている場合、「些細ではない」（「もちろん」）。のドメインが1つの値を持つとします。任意関係Rはを含む場合、Rの