2021-04-26練習問題＋規範化練習

目次

例題

一.

.

3.

練習

例題
一.
Y（X 1、X 2、X 3、X 4）（X 1、X 2）→X 3（X 1、X 2）＞ライトアロw X 3（X 1、X 2）→X 3 X 2：X 4\ライトアロウX 4 X 2→X 4フュージョン？第何の範式に属しますか？
候補コードは(x 1,x 2)です。
非プライマリ属性はx 3,x 4.(X 1,X 2)→F X 3(X 1,X 2)\overset F\rightarrow X 3(X 1,X 2)→FX 3(X 1,X 2)→P X 3(X 1,X 2)\overset P\rightarrow X 3(X 1,X 2)→PX 3はファンクションに属しないので、第1の関数が存在します。
二.
R（A，B，C，D）F=｛A B→D AB\rightarrow D AB→D，A C→B AC\rightarrow BD AC→BD，B→C\rightarrow C B→C｝候補コード？最高は何番目のモデルですか？
候補コード（A，B）（A，C）の非プライマリ属性は、Dが部分的または伝達がコードに依存しないので、3 NFに属します。すべての決定要素がコードを含むわけではないので、BNFには属しません。だから最高は第三の範式に属します。
三.
R（X，Y，Z，W）F={Y←→W Y\lefterarrow\rightarrow W Y←W，X Y→Z XY\rightarrow Z→Z)フュージョン？最高は何番目のモデルですか？
候補コードは（X，Y）（W，X）非プライマリ属性Zであり、Zは完全にコードに依存しているため、第2のモデルに属する。Zはコードに依存して伝達されていないので、第三のモデルに属します。すべての決定要素にコードが含まれているわけではないので、BNFではないので、最高は第三のモデルに属します。
練習します
X←Y X\leftarrow Y Y X←Y X→Y X\rightarrow Y X→Y Y Y Y Y lefterarrow Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y X↛Y X線arrow Y X↚ Y X ot\lefterrow Y X←Y X↚ Y X ot\lefterrow Y X←Y

$X\leftarrow Y$
$X\rightarrow Y$
$Y 
leftarrow Y$
$X 
rightarrow Y$
$X \not\leftarrow Y$
$X \not\leftarrow Y$

X→F Y Y Y\overset F\overset F\overset F\lefffterarrow Y Y Y X←FY Y+fffffffffffarrow Y Y Y Y Y←FY X←FY Y+overset P\rightarrow Y Y Y Y X転送転送転送転送転送+Everververset+EEffffffffffrererearararrow Y Y Y Y Y Y Y Y X←EEEEX←X←PX←X←X←X←PX←PX←PX←PX←PX←PX←PY転送転送転送転送転送転送転送+EEEEEverververververver）→F G r a d e（S n o，Cno）\overset F\rightarrow Grade（Sno，Cno）→FGrade X⟵F Y\overset F\longleft F\longleftarrow Y X XЅF Y Y\stackrel{F}\longright arrow}Y X

$X \overset F\rightarrow Y$
$X\overset F\leftarrow Y$
$X\overset P\rightarrow Y$
$X\overset P\leftarrow Y$
$X\overset {  }\leftarrow Y$
$X\overset {  }\rightarrow Y$
$(Sno,Cno)\overset F\rightarrow Grade$
$X\overset F\longleftarrow Y$
$X \stackrel {F} {\longrightarrow} Y$
$X \stackrel {P} {\longrightarrow} Y$

x⊂yx\subset y y x⊂yx⊃y\supset y x⊃y⊃y x⊃y⊄ y xot\subset y xy x⊅ y xot\supseteq y x𕥂⊃y⊃y y y\subseteq y x x_;yy x x x\supsteq y y y x\supseeq y y x x x𕥎yy y x x x x x x x𕥘yy x x x x x x x x𕥝y

$x\subset y$
$x\supset y$
$x\not\subset y$
$x\not\supset y$
$x\subseteq y$
$x\supseteq y$
$x
subseteq y$
$x
supseteq y$