markdown编辑器判断范式的简单使用(一）

一、

∵$X_2\to X_4$
∴$(X_1,X_2)\to X_4$
又∵$(X_1,X_2)\to X_3$
∴$(X_1,X_2)\to (X_1,X_2,X_3,X_4)$
∴候选码为（$X_1$,$X_2$),非主属性为$X_3,X_4$
又∵$(X_1,X_2)\to X_4,X_2\to X_4$
∴$X_4$对（$X_1,X_2$）部分函数依赖
即Y关系为第一范式，候选码为$(X_1,X_2)$

二、

∵$B\to C$
∴$(A,B)\to C$
又∵$（A,B)\to D$
∴$（A,B)\to (C,D)$
∴$（A,B)\to (A,B,C,D)$,即(A,B)为候选码。
又∵$(A,C)\to （B,D)$
∴A,C为候选码
又∵D没有部分依赖或传递依赖于码
∴它属于3NF，又关系F中包含$B\to C$,而B不包含码
∴它不属于BCNF

三、

∵$(X,Y)\to Z$,且$Y\to W$
∴（X,Y)为候选码
∵$W\to Y$，$(X,Y)\to Z$
∴$(W,X)\to (W,X,Y,Z)$
即（W,X)为候选码
∴Z是非主属性
由于Z完全依赖于码，且Z没有传递依赖于码
∴它是3NF
又∵关系中包含$W\to F$,而W没有码
∴它不是BCNF

还有LaTeX数学公式的补充
1.X←Y

$X \leftarrow Y$	

2.X→Y

$X \rightarrow Y$ 

$X\nleftarrow Y$

$X \nleftarrow Y$

或

$X \not\leftarrow Y$	

$X\nrightarrow Y$

$X \nrightarrow Y$

或

$X \not\rightarrow Y$

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

$X \overset F \rightarrow Y$ 

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

$X \overset F \longrightarrow Y$

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

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

X⊂Y

$X \subset Y$

X⊃Y

$X \supset Y$

10
X⊄Y

$X \not\subset Y$

11
X⊅Y

$X \not\supset Y$

12
$X\subseteq Y$

$X \subseteq Y$

13
X⊇Y

$X \supseteq Y$

14
X⊈Y

$X \nsubseteq Y$

15
X⊉Y

$X \nsupseteq Y$