第5正規形の非キー列の複合キーの関数依存関係を表現することは可能ですか？ 私は3つのテーブルを持って、私が知っているように users
----------
id
name
events
----------
id
name
events_users
---------------------------
id
user_id
event_id
participati
動作しない私は、これは、例えば、正常に動作するようです一見無害 class Pair p a | p -> a where
one :: p -> a
two :: p -> a
を思い付い instance Pair [a] a where
one [x,_] = x
two [_,y] = y
しかし、私はタプルに問題があります。以下の定義はコン
関数の依存関係に関する質問があります。たとえば、私がclass Graph g a b | g -> a, g -> bと書くと、具体的なgは、aとbという1つのタイプにのみ関連付けることができます。実際には、同じgと異なるaとbの2つのインスタンスを宣言しようとすると機能しません。 しかし、コンパイラ（GHC）は次のような場合には、依存関係を使用することができないようで、 class (Eq a
を考えてみましょう： {-# OPTIONS -fglasgow-exts #-}
data Second = Second
data Minute = Minute
data Hour = Hour
-- Look Ma', a phantom type!
data Time a = Time Int
instance Show (Time Second) where
私はFDのこのセットの最小限のカバーを見つけるはずです。私の答えが正しいかどうか教えてください。 XZ平面> Z XZ平面> Y XZ平面> B YA-> C YA-> G C-> B- W > G XZ平面> G マイANS WER： X-> Z（削除Z属性、自明なFD） Z-> Y（それは1からX-> Z-> Yを伴うので、Xを削除） Z- G> YA-> C YA-> G C-> B- W>
こんにちは、私は機能的要件と非機能的要件について確かめていますが、これは正しいですか？ 機能： プレーヤーはアカウントを作成します。 プレーヤーは地域を選択します。 プレーヤータイプを選択します。 Player TypeA/Player Typebビューゲームの統計。 Player TypeA Views相手リスト。 Player TypeA/Player Typebターゲット/アサシンをジョブリ