数据库 数据依赖例题、markdown中LaTeX

题目1

一．
Y(X1,X2,X3,X4)
(X1,X2)→X3
X2→X4
侯选码？
属于第几范式？

答：由题意易知X2->X4，因此(X1,X2)->X4，又因为(X1,X2)->X3，而且X1、X2、X3、X4都无法单独推出其他全部函数，所以(X1,X2)是候选码。但是X2是部分依赖于X4，不符合2NF的定义中规定的完全依赖。因此它是第一范式。

题目2

二．
R（A，B，C，D）
F={AB→D，AC→BD，B→C}
侯选码？
最高属于第几范式？

答：由题目中AC->BD可知：AC->B并且AC->D。A、B、C、D易知无法单独推出其他函数。AB可以推出D，又因为题中说B->C，所以AB->C，因此AB是其中一个候选码；AC->BD，所以AC也是其中一个候选码，而AD易知无法再继续推出其他函数。因此此题中有两个候选码AB和AC。该题中AB->D和AC->D都是完全依赖（没有部分依赖），而且传递需要码，所以它是第三范式。

题目3

三．
R（X，Y，Z，W）
F={Y←→W，XY→Z}
侯选码？
最高属于第几范式？

答：Y<–>W可知Y->W，W->Y。因为XY->Z，Y->W（XY->W），因此XY是候选码。W->Y（XW->Y），而且XW->W，XW->X，W->Y，XY->Z，因此XW可以传递->Z，所以XW也是一个候选码。
因为非主属性只有Z，Z完全依赖于码，因此是2NF。又因为它都是完全依赖，且传递需要码，所以也是3NF。所以最终是3NF。

 
 

markdown - LaTeX数学公式

$X\leftarrow Y$

$X \leftarrow Y$	//左箭头

$X\to Y$

$X \rightarrow Y$ 	//右箭头

$X\nleftarrow Y$

$X \nleftarrow Y$	//no左箭头

$X\nrightarrow Y$

$X \nrightarrow Y$	//no右箭头

$X\nleftarrow Y$

$X \not\leftarrow Y$	//not左箭头

$X\nrightarrow Y$

$X  \not\rightarrow Y$	//not右箭头

$X\stackrel{F}{\to }Y$

$X \overset F \rightarrow Y$ 

$X\stackrel{F}{⟶}Y$

$X \overset F \longrightarrow Y$

$X\stackrel{P}{\to }Y$

$X \overset P \rightarrow Y$  

$X\stackrel{P}{⟶}Y$

$X \overset P \longrightarrow Y$

 
$X\stackrel{传递}{\to }Y$

$X \overset {传递} \rightarrow Y$ 

 
$X\stackrel{传递}{⟶}Y$

$X \overset {传递} \longrightarrow Y$

箭头上方带有字符的话，如果是字符直接overset CHAR，如果是字符串就是overset {STRING}

$X\subset Y$

$X \subset Y$

$X\supset Y$

$X \supset Y$

sub是左，sup是右

$X\not\subset Y$

$X \not\subset Y$

$X\not\supset Y$

$X \not\supset Y$

$X\subseteq Y$

$X \subseteq Y$

$X\supseteq Y$

$X \supseteq Y$ 

$X⊈Y$

$X \nsubseteq Y$

$X⊉Y$

$X \nsupseteq Y$

真子集的话就在supset或subset后面加一个eq（equal）