問題タブ [functional-dependencies]

2NFで正規化する際に混乱があります

FDのセットを検討してください

ここでキーはABD、ABCです

プライム属性-A、B、C、D

非素数属性-E

2NF-関係が 2NF にあるためには、キーに応じて非プライム属性が完全に機能する必要があります。

FD3 は 2NF に違反しますか? CD はキーの適切なサブセットですか?もう 1 つ質問したいのは、2NF に違反している場合、どの FD を別の関係に置くかをどのように決定するのですか?助けてください

リレーション スキーマ r(A、B、C、D、E、F) に機能的な依存関係のセット F がある場合:

A --> BCD

BC --> DE

B --> D

D --> A

B+は何でしょう??

本当にわかりません。なぜそれが必要なのですか？つまり、同じ型パラメーターを使用する場合、それらは同じ型でなければならないということです。

コンパイラが無限ループを回避するのに役立つと聞きました。誰かがそれについてもう少し詳しく教えてもらえますか？

最後に、Real World Haskellでの関数従属性の使用に関して従う必要のある「パターンとプラクティス」はありますか？

【フォローアップ質問】

上記のコードでは、コンテナと要素の両方に同じ型変数「a」を使用しました。したがって、コンパイラはこれら2つの型が同じ型であると推測できると思います。

しかし、GHCiでこのコードを試したところ、次のフィードバックがありました。

それらの1つがタイプ'Char'として指定されているのに、なぜもう1つはまだ未解決のタイプ' element'であるのですか？

私は最近、関数従属性と型族を紹介されました。クラスプロジェクトのために、JavaとHaskellでCのサブセットのインタープリターを作成（完了）しました。用語の評価関数のHaskell実装では、明示的なパターンマッチングを使用して「関数テーブル」を構築し、リテラルを表す値コンストラクターをアンラップする必要がありました。不幸な状況（ただし、Javaよりもはるかにきれいです）。

しばらく検索した後、「コレクション」の例に出くわしました。これを抽象構文に適用して、リテラルの一般的な「注入先」関数と「プロジェクト元」関数を作成できるかどうか疑問に思いました。私は2つの最初のテストの試みを思いついた：

（関数従属性の使用：インジェクション関数とプロジェクション関数は、litを使用したLitへのインジェクションと同様に、明示的なタイプアノテーションなしで機能します。ただし、Litからのプロジェクション関数はタイプせず、「予期されたタイプと推測されたタイプを一致させることができませんでした」というエラーが発生します。 ）。ll'

（型族を使用します。ここでの問題は、明示的な注釈がないと、Haskellに引数から正しい戻り型を推測させることができず、総称関数lit :: Val l -> Eを記述できないことunlit :: E -> Val lです。）

私は型族をよく理解しておらず、関数従属性を薄っぺらに把握しています。しかし、私は2つのことを知りたいと思います。（a）必要な関数を入力して実装できるかどうか。（b）ここで基本的なことを誤解している場合。ほぼ動作しますが、しばらくの間タイプチェッカーと戦っています。

編集これは不明確だったので、私が欲しいものの単純なモデルです。このクラスBinは、基本的に私が望む機能を実装しています。しかし、これからASTを作成するために、さまざまな「ラップ可能およびラップ解除可能」値を一緒に収集することはできません。

こんにちは、機能要件と非機能要件について保険をかけていますが、これらは正しいですか？

機能的：

プレーヤーがアカウントを作成します。

プレイヤーは地域を選択します。

プレーヤープレーヤーの種類を選択します。

プレーヤーTypeA/プレーヤーTypebビューゲーム統計。

プレイヤーTypeAは対戦相手リストを表示します。

Player TypeA /PlayerTypebジョブリストからターゲット/アサシンを選択します。

プレイヤーTypeA/プレイヤーTypebは対戦相手のマップを表示します。

プレイヤーTypeAは武器を表示します。

プレイヤーTypeAは武器を装備しています。

プレイヤーTypeAは武器を撃ちます。ヒット確率を計算します。

対戦相手のプレイヤーが攻撃されます。対戦相手が排除したプレイヤーTypeAはポイントを獲得します。

Player TypeA /PlayerTypebがメッセージを送信します。

プレーヤーTypebはターゲット履歴を表示します。

このプログラムにはGPS接続が必要です。これは機能要件ですか？

非機能的：????? それらは私の機能的なものに基づいていますか？

彼らが私の質問に答えることができれば、私はみんなに真剣にクッキーを与えます！

関係 R = {P, Q, R, S, T} と関数依存関係 F = {P -> Q, {Q, R} -> S, S -> {Q, R}, {S, T } -> ファイ}。F に冗長な機能依存関係はありますか? もしそうなら、それらを取り除き、R から 3NF への関係を分解します。

これに答えてください

うまくいかずにインストラクターに連絡を取ろうとしましたが、このプロセスを本当に理解したいと思っていますが、資料をどれだけ読んでも、これを私の小さな脳に合わせることができないようです. 誰かが次の質問で私を助けてくれますか?

a. B+ を計算します。

これは次のようなものだと思います。これは正しいようですか？

B+ は B の閉包を表します。
B --> D
B+ = {BD}
D --> A
B+ = {ABD}
A --> BCD
B+ = {ABCD}
BC --> DE
B+ = {ABCDE}

リレーションのすべての属性は B で見つけることができます。したがって、B はリレーションの主キーです。

b. AF がスーパーキーであることを (アームストロングの公理を使用して) 証明します。

F は上記の関係に現れないので、どうすればよいかわかりません。

c. 上記の一連の機能依存関係 F の正規カバーを計算します。導出の各ステップに説明を付けてください。

d. 正準被覆に基づいて r の 3NF 分解を与えます。

私は過去数時間、これを取得しようとしてきました。私が解決した唯一の答えを以下に含めました。

質問：

Q->WR ホールド

アドバイスをいただければ幸いです

私はデータベース理論のコースを受講していますが、一連の関数従属性を前提として、キーを推測する方法を読んだ後はわかりません。

問題の例があります：

関数従属性を持つ関係R（ABCDEFG）のすべてのキーを検索します

次のうちどれが重要であるかを特定することにより、知識を示します。

誰かが私に機能従属性を分解して、属性のいくつかの組み合わせが重要であると結論付ける方法を教えてもらえますか？私はこれらのタイプの問題の多くに直面することを期待しており、それに取り組む方法を理解する必要があります。

次の FD セットの最小限のカバーを見つける必要があります。

AB -> D D->B

可能かどうかにかかわらず、発見のカバーに慣れていませんか？上記で難しいと感じているのは、一種の循環関係ですか？