LaTeX 公式的练习

数据依赖 使用的符号 markdown - Unicode - LaTeX

可参考以下文章：

Unicode Math Symbols

Unicode Arrows

Latex各种箭头符号总结

常用数学符号的 LaTeX 表示方法

Unicode Arrows【Unicode箭头】：
← → ↑ ↓ ↚ ↛ ↮
X → Y； X ↛ Y

Unicode Math Symbols【Unicode数学符号】 :
⊂ ⊃ ⊄ ⊅ ⊆ ⊇ ⊈ ⊉
X ⊂ Y； X ⊄ Y

---

$X\leftarrow Y$ $X\to Y$
$X\nleftarrow Y$ $X\nrightarrow Y$
$X\nleftarrow Y$ $X\nrightarrow Y$
$X\leftarrow \to Y$
$X\stackrel{F}{\to }Y$ $X\stackrel{F}{⟶}Y$
$X\stackrel{P}{\to }Y$ $X\stackrel{P}{⟶}Y$
$X\stackrel{传递}{\to }Y$ $X\stackrel{传递}{⟶}Y$
$(Sno,Cno)\stackrel{F}{\to }Grade$
$X\stackrel{F}{⟶}Y$

$X \leftarrow Y$ $X \rightarrow Y$ 
$X \nleftarrow Y$ $X \nrightarrow Y$
$X \not\leftarrow Y$ $X  \not\rightarrow Y$
$X \leftarrow \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$

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

侯选码：$（X1,X2）$
$因为X2\to X4，所以(X1,X2)\to X4；又因为(X1,X2)\to X3，所以(X1,X2)\to (X1,X2,X3,X4)。$

第一范式（1NF）
因为$(X1,X2)\to X4,X2\to X4$，存在非主属性X4对候选码$（X1,X2）$的部分函数依赖；
所以不属于2NF。

---

二．
$R(A,B,C,D)$
$F=$ {$AB\to D,AC\to BD,B\to C$}
侯选码？
最高属于第几范式？

侯选码：$(A,B),(A,C)$

第三范式（3NF）
属于3NF 因为D没有部分依赖或传递依赖于码
不属于BCNF 因为$B\to C$,B不包含码

---

三．
$R(X,Y,Z,W)$
$F=$ {$Y\leftarrow \to W,XY\to Z$}
侯选码？
最高属于第几范式？

侯选码：$(X,Y),(W,X)$
$XY\to X,XY\to Y,XY\to Z,Y\to W,XY\to W所以XY是侯选码WX\to X,WX\to W,W\to Y,XW\to XY,XY\to Z,XW\to Z,WX\to W,W\to Y,WX\to Y所以WX是侯选码$

第三范式（3NF）

是2NF，因为Z完全依赖于码（非主属性只有Z）
是3NF，因为Z没有传递依赖于码
不是BCNF $W\to Y$，决定者不包含侯选码
所以最高为3NF

---