第六章様式練習問題とMarkdown-Unicode-LaTeX使用
2753 ワード
文書ディレクトリパターン 第1題 第二題 第三題 まとめ 符号説明 パターン
1 NF:2 Dテーブルの各コンポーネントは、分離できないデータ項目でなければなりません.2 NF:不完全依存が存在しない3 NF:伝達依存BNCFが存在しない:X→Y Xrightarrow Y X→YかつY上位レベルのパターンには必ず下位レベルのパターンが含まれます.
第一題
Y(X 1,X 2,X 3,X 4)(X 1,X 2)→X 3 X 2→X 4候補コード?何番目のパターンに属しますか?
分析:X 2→X 4のため、(X 1、X 2)→X 4;(X 1,X 2)→X 3なので(X 1,X 2)→(X 1,X 2,X 3,X 4).したがって、候補コード:(X 1,X 2);非プライマリ属性:X 3,X 4.(X 1,X 2)→X 4,X 2→X 4のため、候補コード(X 1,X 2)に対する非主属性X 4の部分関数依存性が存在する.だから2 NFには属していません.結論:候補コード(X 1,X 2)は、第1のパターンに属する.
第二題
R(A,B,C,D)F={AB→D,AC→BD,B→C}候補コードを求めますか?最高は何番目のパターンに属しますか?
解析:観察により候補コード:(A,B)、(A,C)非主属性:DはDがコードに部分的に依存したり伝達したりしないため、3 NFに属することが直接発見された.BCNFに属さないB→Cのため、Bはコードを含まない.
第三題
R(X,Y,Z,W)F={Y←→W,XY→Z}候補コードを求めますか?最高は何番目のパターンに属しますか?解析:XY→X,XY→Y,XY→Z,Y→W,XY→WなのでXYはkey WX→X,WX→W,W→Y,XW→XY,XY→Z,XW→W,W→Y,WX→YなのでWXはkey候補コード:(X,Y)(X,W);非主属性:Zは2 NFであり、Zが完全にコードに依存しているため(非主属性はZのみ)は3 NFであり、Zが伝達されていないのでコードに依存しているのはBCNF W→Yではなく、決定者がkeyを含まないため最高は3 NFである
このテーマの候補コードは(X,W)最初はまだできていなかったので、主にY←→Wという条件があまりはっきり書かれていないので、この条件を分解して書いたほうがいいと思います.
まとめ
判断時の第数パターンは,まず候補コードの判断を行い,さらに主属性と非主属性を判断することを前提とする.さらに関連するパターン条件に基づいて判断し、反例を挙げる方法を考えればよい.
シンボルの説明
X ← Y X\leftarrow Y X←Y X → Y X\rightarrow Y X→Y X ↚ Y X leftarrow Y X↚Y X ↛ Y X rightarrow Y X↛Y X ↚ Y X ot\leftarrow Y X←Y X ↛ Y X ot right arrow Y X→Y X→F Y Xoverset Fright arrow Y X→FY X⟶FY Xoverset Flongright arrow Y X⟶FY X→P Y Xoverset Prigharrow Y X→PY X⟶P Y X Xoverset Plongright arrow Y X⟶Plongright arrow Y X⟶PY X X→Y Xoverset{伝達}righarrow Y X→Y X X X X X X X X X X X X X Y Y Yoverset{伝達}righarrow Y X→Y X X X X X X X X X X X Xオーバーセット{伝達}longrightarrow Y X⟶伝達Y(S n o,C n o)→F G r a d e(Sno,Cno)overset Frightarrow Grade(Sno,Cno)→FGrade X⟶F Y Xstackrel{F}{longrightarrow}Y X̸ Y X ot\subset Y X⊂Y X ⊅ Y X ot\supset Y X⊃Y X ⊆ Y X\subseteq Y X⊆Y X ⊇ Y X\supseteq Y X⊇Y X ⊈ Y X subseteq Y X⊈Y X ⊉ Y X supseteq Y X⊉Y
1 NF:2 Dテーブルの各コンポーネントは、分離できないデータ項目でなければなりません.2 NF:不完全依存が存在しない3 NF:伝達依存BNCFが存在しない:X→Y Xrightarrow Y X→YかつY上位レベルのパターンには必ず下位レベルのパターンが含まれます.
第一題
Y(X 1,X 2,X 3,X 4)(X 1,X 2)→X 3 X 2→X 4候補コード?何番目のパターンに属しますか?
分析:X 2→X 4のため、(X 1、X 2)→X 4;(X 1,X 2)→X 3なので(X 1,X 2)→(X 1,X 2,X 3,X 4).したがって、候補コード:(X 1,X 2);非プライマリ属性:X 3,X 4.(X 1,X 2)→X 4,X 2→X 4のため、候補コード(X 1,X 2)に対する非主属性X 4の部分関数依存性が存在する.だから2 NFには属していません.結論:候補コード(X 1,X 2)は、第1のパターンに属する.
第二題
R(A,B,C,D)F={AB→D,AC→BD,B→C}候補コードを求めますか?最高は何番目のパターンに属しますか?
解析:観察により候補コード:(A,B)、(A,C)非主属性:DはDがコードに部分的に依存したり伝達したりしないため、3 NFに属することが直接発見された.BCNFに属さないB→Cのため、Bはコードを含まない.
第三題
R(X,Y,Z,W)F={Y←→W,XY→Z}候補コードを求めますか?最高は何番目のパターンに属しますか?解析:XY→X,XY→Y,XY→Z,Y→W,XY→WなのでXYはkey WX→X,WX→W,W→Y,XW→XY,XY→Z,XW→W,W→Y,WX→YなのでWXはkey候補コード:(X,Y)(X,W);非主属性:Zは2 NFであり、Zが完全にコードに依存しているため(非主属性はZのみ)は3 NFであり、Zが伝達されていないのでコードに依存しているのはBCNF W→Yではなく、決定者がkeyを含まないため最高は3 NFである
このテーマの候補コードは(X,W)最初はまだできていなかったので、主にY←→Wという条件があまりはっきり書かれていないので、この条件を分解して書いたほうがいいと思います.
まとめ
判断時の第数パターンは,まず候補コードの判断を行い,さらに主属性と非主属性を判断することを前提とする.さらに関連するパターン条件に基づいて判断し、反例を挙げる方法を考えればよい.
シンボルの説明
X ← Y X\leftarrow Y X←Y X → Y X\rightarrow Y X→Y X ↚ Y X leftarrow Y X↚Y X ↛ Y X rightarrow Y X↛Y X ↚ Y X ot\leftarrow Y X←Y X ↛ Y X ot right arrow Y X→Y X→F Y Xoverset Fright arrow Y X→FY X⟶FY Xoverset Flongright arrow Y X⟶FY X→P Y Xoverset Prigharrow Y X→PY X⟶P Y X Xoverset Plongright arrow Y X⟶Plongright arrow Y X⟶PY X X→Y Xoverset{伝達}righarrow Y X→Y X X X X X X X X X X X X X Y Y Yoverset{伝達}righarrow Y X→Y X X X X X X X X X X X Xオーバーセット{伝達}longrightarrow Y X⟶伝達Y(S n o,C n o)→F G r a d e(Sno,Cno)overset Frightarrow Grade(Sno,Cno)→FGrade X⟶F Y Xstackrel{F}{longrightarrow}Y X̸ Y X ot\subset Y X⊂Y X ⊅ Y X ot\supset Y X⊃Y X ⊆ Y X\subseteq Y X⊆Y X ⊇ Y X\supseteq Y X⊇Y X ⊈ Y X subseteq Y X⊈Y X ⊉ Y X supseteq Y X⊉Y
$X \leftarrow Y$ $X \rightarrow Y$
$X
leftarrow Y$ $X
rightarrow Y$
$X \not\leftarrow Y$ $X \not\rightarrow Y$
$X \overset F \rightarrow Y$ $X \overset F \longrightarrow Y$
$X \overset P \rightarrow Y$ $X \overset P \longrightarrow Y$
$X \overset { } \rightarrow Y$ $X \overset { } \longrightarrow Y$
$(Sno,Cno) \overset F \rightarrow Grade$
$X \stackrel {F} {\longrightarrow} 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$