問題タブ [functional-dependencies]

R(ABCDE) として関数依存関係 F が設定されている関係を考えてみましょう。

R を 3NF に分解するとどうなりますか?

与えられた FD から正規形を導き出す方法を説明するのを手伝ってください。

私はグーグルで検索してみました、いいえを読んでください。の PDF を調べましたが、特定の FD から通常の形式に到達する一般的なプロセスを見つけることができませんでした。推論規則は知っていますが、適用できません。誰かが私を助けてくれませんか。上記のシナリオの（ちょうど）一般的なプロセスを説明してください。答えはありますが、方法を理解したいです。リンク/ドキュメントが役立つ場合があります。

前もって感謝します。

PS: 競争試験の準備をしています。あと 1 週間です。

Haskellでは、型の「ファミリ」（たとえば、Nの一部の値の場合はN行N要素の行列）と、「関連する」型の並列ファミリ（たとえば、NのN要素ベクトル）がある場合Nの同じ値）、および各ファミリから1つの特定の型を必要とする操作（たとえば、N行N要素の行列とN要素の列ベクトルの乗算）では、その型クラスを宣言できますか？手術？

この特定の例では、次のようになります。

ただし、タイプを制約する方法はわかりませんv。このようなことは可能ですか？

複数の関連する型の型クラスを宣言するという一般的な質問に対する回答と、行列とベクトルの乗算のための型クラスを宣言するという特定の質問に対する回答の両方を歓迎することに注意してください。私の特定のケースでは、N（2、3、および4）の値の小さな既知のセットしかありませんが、Haskellの型システムで何をエンコードできるかを理解することに一般的に興味があります。

編集：MultiParamTypeClasses私はこれを使用しFunctionalDependenciesて、以下のGabrielGonzalezとMFlamerによって提案されたように実装しました。これは、私の実装の関連する部分が次のようになってしまったものです。

これは、の型署名でありvmul、それ自体で部分的に適用されます。

これはすべてとてもエレガントだと思います。答えてくれてありがとう！:)

したがって、次の機能依存関係があります。

ここで私が考えているのは、FD を分離して、すべての要素の右側に要素が 1 つだけになるようにすることです。

次に、左側の各要素のクロージャーを見つけます。

今、私が混乱しているのは、冗長性を減らして最小限の閉鎖を得る方法です。この情報でどれを取り除くことができますか?

キーと値のペアの関係の種類に特定の制約を加えた、Data.Map 用の特別なスマート コンストラクターを作成したいと考えています。これは私が表現しようとした制約です:

各フィールドには、関連付ける値のタイプが 1 つだけあります。Speed私の場合、フィールドを にマップするのは意味がありませんByteString。Speedフィールドは一意にマップする必要がありますFloat

しかし、次のタイプのエラーが発生します。

使用-XKindSignatures:

Kind の不一致が発生する理由は理解していますが、toPair一致Fieldしない and で使用するコンパイル時の型チェッカー エラーになるように、この制約をどのように表現できますかValue。

#haskell から a を使用するように提案されGADTましたが、まだ理解できていません。

これの目標は、書くことができるようになることです

Mapキー/値の不変条件が尊重される安全な s を作成できるようにします。

したがって、これは型チェックする必要があります

しかし、これはコンパイル時エラーであるはずです

編集：

私の特定の要件は不可能だと思い始めています。私の元の例を使用して

Fooとに制約を課すには、タイプ レベルで とをBar区別する何らかの方法が必要です。したがって、代わりに2つのGADTが必要ですFooIntFooFloatBar

との両方が同じタイプでタグ付けされてPairいる場合にのみ保持されるのインスタンスを作成できるようになりましたFooBar

そして、私は私が望むプロパティを持っています

xs = [FooInt, FooFloat]しかし、それには異種のリストが必要になるため、書く能力を失います。Mapさらに、シノニムを作成しようとすると、タイプのみまたはタイプのみのどちらかでtype FooBar = Map (Foo ?) (Bar ?)立ち往生しています。これは私が望んでいるものではありません。私が気付いていない強力な型クラスの魔法がない限り、それはかなり絶望的に見えます。MapIntFloat

YouTube で正規化に関するこのビデオを見ていましたが、今は混乱していると言わざるを得ません。ビデオには 25 のいいねと 1 つの嫌悪しかありませんが、エラーがある可能性があります。

正規化

具体的には、5 分マークにある 2NF セクションに関するものです。

作成者は、「割り当ての説明」列は割り当て ID 列に依存すると述べていますが、同じ割り当て ID に対して異なる割り当ての説明があります。次に、このテーブルを 2 つのテーブルに分割することで、このテーブルを 2NF に「正規化」します。そのうちの 1 つには割り当て ID と割り当ての説明のみが含まれます。そして、このテーブルは 1NF (非一意の主キー) でもありませんが、どうして 2NF になるのでしょうか?

このビデオが 2NF に関して正しいか間違っているか教えてもらえますか?

Monad Transformers Step by Stepを読んでいます。6 ページで、 のいくつかのサブクラスを紹介しながらMonad、筆者は次のコード例を示しています。

その| m -> e部分はどういう意味ですか？

私は以下のように呼ばれる病院での手術を追跡するためのテーブルを持っていSurgery_Recordます。

私の仮定は次のとおりです。

1. 患者の再訪はありません
2. すべての患者は1回の手術しか受けていません
3. 特定の手術室は1日に1回だけ使用されます

私は次の機能依存性を理解しました：

1. Patient_ID、Theatre_ID ---> Surgery_Date
2. Surgery_Record_ID ---> Patient_ID
3. Patient_ID ---> Surgery_ID、Surgery_Record_ID、Theatre_ID
4. Patient_ID、Surgery_ID ---> Theater_ID
5. Surgery_Record_ID、Patient_ID、Surgery_ID、Theatre_ID ---> Surgery_Date

上記の依存関係から、候補キーは{Patient_ID、Theatre_ID} {Patient_ID、Surgery_ID}および{Surgery_Record_ID、Patient_ID、Surgery_ID、Theatre_ID}であることがわかりました。

では、私のテーブルは第2正規形に違反していますか？私はこれを行うのが非常に新しいので、私のFDが正しいかどうかを確認するのを手伝ってください。よろしくお願いします

機能的な依存関係を取得するように求められる問題がありますが、それらを正しく取得したかどうかは完全にはわかりません。このトピックは少し混乱しているようです。間違ってください！

これらは私が思いついたFDです：

現在、データベース理論のクラスに在籍しており、関数の依存関係の説明中に気分が悪くなりました。このコースには教科書がないので、これまで Google でなんとかしなければなりませんでした。relvar と関数の依存関係のリストを指定して、次のように要求する割り当てがあります。

• relvar のキーを特定する
• revlar を 3NF にある relvar に分解する

割り当てに関する問題のいくつかを次に示します。

少なくともキーは単純なプロセスのように見えますが、そのためのアルゴリズムはありません! どんな助けでも大歓迎です。

Ramakrishnan による本のデータベース管理システムを読んでいて、スキーマの改良と正規形に関連する章で、次のような文を見ました。

分解規則もあります。

では、私の質問は、たとえば R=XABCDE と X をキーとします。次に、X--->XABCDE なので、2 番目の規則を繰り返し使用すると、X-->A、X--->B などと言えます。次に、X がすべての属性を決定することを意味します。しかし、私はここで混乱しています:次に、同じ X 値に対して異なる A 値があるような行をテーブルに含めることはできません。たとえば、X を人物属性の ID 番号、A をその人物が所有する車のモデルとします。その場合、人は 2 台の車を持つことはできませんが、そのような制約はなく、2 台以上の車を持つことができなければなりません。

ここで何が間違っていますか？誰でも助けることができますか？

ありがとう