問題タブ [functional-dependencies]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
536 参照

functional-dependencies - 機能依存

私はSQLの関数依存性について勉強しています

質問があります。

機能的な依存関係があります

それが分解された関係かどうかを理解しようとしていました

たとえば、2 つの関係があります。

1 番目 = CAEB 2 番目 = CDF

BCNF または 3NF を使用する場合、これら 2 つの関係は分解されることを知りたいです。

私の考えでは、

最初と 2 番目は BCNF の分解ではありません

なぜなら、まず、

第二に、

そうですか?(BCNF についての概念を検索していたので、この質問に応募しようとしました。)

3NF部分はどうすればいいのかよくわかりません....(BCNFとほぼ同じように見えますが、よくわかりません...)

3NF部分のやり方を知っている人はいますか? ありがとう..

0 投票する
1 に答える
4938 参照

database - 関数従属性を指定して候補キーを計算します

関係R(ABCDEFG)に次の機能依存関係があるとします。

依存関係の左側、右側、またはその両方に表示されるかどうかに応じて、属性を左、中央、右のいずれかの列に配置する方法を使用して、候補キーを作成しました。左は属性が必要であることを意味し、中央は不明であり、右はキーの一部ではないことを意味します。

私はこれを得た:

ここから、個々の属性と順列のクロージャを作成しました:BC、BD、BE、BF、BG、CD、CF ...

AとCFのクロージャーのみがすべての属性を含み、したがって候補キーであることがわかりましたが、問題の解決策にはBFGもあります。

誰かが候補キーの計算で私が間違っていることを説明できますか?ありがとう

0 投票する
2 に答える
79032 参照

database - 最小限のカバーと機能の依存関係

次の機能依存関係を考えると、最小限のカバーをどのように計算しますか:

A -> B, ABCD -> E, EF -> GH, ACDF -> EG

講義ノートでは、最小限のカバーの派生を示していますが、私はそれを理解していません。

たとえば、ACDF を取り除く場合 -> E :

A -> B => AACD -> BACD -> E => ACD -> E => ACDF -> E

そして彼らは言う、同様に我々はACDF を保持しない -> G

そして、A -> Bであるため、 ABCD -> EがACD -> Eに推定されることは理解していますが、そこに到達する方法の正式なプロセスは理解していません。

だから私の質問は、セットの機能依存関係の最小限のカバーを生成する方法の説明を誰かが提供できますか?

0 投票する
2 に答える
291 参照

haskell - Haskellの関数従属性を持つあいまいな型変数

MultiParamTypeClassesと一緒にFunctionalDependencies-ExtensionofHaskellで遊んでいました。私は次のように定義しました。

これは正常に機能します(明示的な変換なしでIntとDoubleを追加できるようにするという最終的な目標を持って、IntとDoubleのインスタンスを試しました)。

negまたは(〜-)のデフォルトの実装を次のように定義しようとすると:

GHCi(7.0.4)は私に次のように言っています:

私はここで問題を理解していると思います。GHCは、どのゼロを使用するかを知りません。これは、ゼロである可能性があり、それが、正しい引数を持ち、を生成する~-ことを知っているだけのに供給されるためです。aa

では、まったく同じインスタンスからゼロにするように指定するにはどうすればよいですか。つまり、次のように表現するにはどうすればよいでしょうか。

とは、周囲のクラスのabcではなく、abとcであると思います。aでは、ローカル型変数への参照である型をどのように表現できますか?bc

0 投票する
1 に答える
1364 参照

database-normalization - 正規化 - IDENTYFING 推移的な依存関係

推移的な依存関係を特定するのに問題があります。その背後にあるコンセプトは理解していますが、それらを見て引き出すのは私の問題です。

だから私は知っている

A→B

B→Aというわけではない

べ→べ

次に、A → C は推移的な依存関係です。

このシナリオでは、推移的な依存関係を特定できないようです。

患者ID(PK)

Insurance_Co_ID (PK)

Doctor_ID (PK)

Fname

P_Lname

P_Street

P_City

P_Zip

P_電話

Ins_First_Contact

Ins_Second_Contact

Ins_Phone

Doc_Fname

Doc_Lname

Doc_Beeper

1NF、2NF、ect 図を作成し、部分的な依存関係と行列式を特定する方法を理解していますが、これに問題があります。調査を行った後の私の見解は、推移的な依存関係を 1 つだけ見つけることですが、それでもわかりません。(Doc_Fname) → (Doc_Lname) → (Doc_Beeper) そう (Doc_Fname) → (Doc_Beeper) or (Doc_Fname, Doc_Lname) → (Doc_Beeper)?

助けてください、ありがとう!

0 投票する
1 に答える
7234 参照

relational-database - 与えられた FD:s から候補キーを見つける方法は?

一連の機能依存関係と出力候補キーを入力として取る練習をしています。アルゴリズムはありますか?そのような場合、FD:s を入力し、出力としてスーパーキー/候補キーのリストを取得できる Web ベースの実装はありませんか?

ここSOで見つけたものを練習します。適切な質問は 、言及された機能的依存関係がある特定の関係の最高の正規形を見つける方法です

B->G

BI->CD

EH-> AG

G-> DE

候補キーが BFHI であることを確認しようとしたときに、これを正しく行っているかどうかを確認してください。

FD B->G は ABCDEFHI->ABCDEFGHI と書き換えられるため、ABCDEFHI はスーパーキーです。FD BI->CD は ABEFGHI->ABCDEFGHI と書き換えられるため、ABEFGHI はスーパーキーです。FD EH->AG は BCDEEFHI->ABCDEFGHI と書き換えることができるため、BCDEEFHI はスーパーキーです。FD G->DE は ABCFGHI->ABCDEFGHI と書き換えられるため、ABCFGHI はスーパーキーです。

私たちのスーパーキーでは、BFHI はすべてのキーにあります。したがって、BFHI は候補キーであり、検査からわかるようにこれ以上減らすことはできません (?)

私はこれを正しい方法で推論していますか?

拡張アルゴリズムが処理できる別の問題があります。それが機能する場合、 データベースの無関係な属性と分解

ここで、FD:s は

A->BCD

BC->DE

B->D

D->A

ここで、FB A->BCD は AEF->ABCDEF として記述できるため、AEF はスーパーキーです。FD BC->DE は ABCF->ABCDEF として書き換えられるため、ABCF はスーパーキーです。FD B->D は ABCEF->ABCDEF と書き換えられるため、ABCEF はスーパーキーです。FD D->A は BCDEF->ABCDEF として書き換えることができるため、BCDEF はスーパーキーです。すべてのスーパーキーについて、F はすべてのスーパーキーに含まれる唯一のメンバーであるため、F が唯一の候補キーです。

これは機能しますか?

回答/コメントをありがとう

0 投票する
1 に答える
117 参照

functional-dependencies - 機能依存性を特定する

関係:

会社名は携帯電話の所有者が働いている会社です。機能依存性は次のとおりです。

それは正しいですか、それとも私は何かが欠けていますか?

0 投票する
1 に答える
1241 参照

database - 機能の依存関係の最小限のカバー

ミニマルカバーの概念を理解するのにちょっと苦労しているので、それが正しいかどうか知りたいのですが、それは本当ですか:

属性 A1...An を持つリレーション R が与えられた場合

G が FD セット F の最小カバーである場合、R 内の属性のサブセット X ごとに、F 内の X のクロージャは G 内の X のクロージャと同じです。

0 投票する
2 に答える
607 参照

haskell - 「カバレッジ条件」とは何ですか?

Statemtl状態のトランスのソース

「カバレッジ条件」とは何ですか?私が言えるのは、それがMTPCとfundepsと関係があるということだけです。