关系数据库理论问题

Question

函数依赖推理规则
　　
CD→E,B→D => CB→E
A→BC => A→B,A→C是用了FD（函数依赖 funtional dependency)的推理规则设U是关系模式R的属性集，F是R上成立的只涉及到U中属性的FD集，则有以下三条推理规则
1 自反性 若 Y<=X<=U 则 X->Y 在R上成立
2 增广性 若 X->Y 在R上成立，且Z<=U,则 XZ->YZ 在R上成立
3 传递性 若 X->Y 和 Y->Z 在R上成立 ,则X->Z 在R上成立由以上3条得出的推理规则
4 并规则 若 X->Y 和 X->Z 在R上成立 ,则X->YZ 在R上成立
5 分解规则 若 X->Y 在R上成立, 且Z<=Y 则X->Z 在R上成立
6 伪传递规则 若 X->Y 和 WY->Z 在R上成立 ,则WX->Z 在R上成立
关系模式分解要注意的问题
1 无损联接
设关系模式R(A B C) 分解成p={AB ,AC}
r: A B C r1: A B r2: A C
1 1 1 1 1 1 1
1 2 1 1 2
r1自然连接r2=r2 有损联接
r: A B C r1: A B r2: A C
1 1 4 1 1 1 4
1 2 3 1 2 1 3r1自然连接r2为
A B C
1 1 4
1 1 3
1 2 4
1 2 3 
<>r保持FD分解
设数据库模式p={R1,R2...Rn}是关系模式R的一个分解,F是R上FD集，p中每一个模式Ri上的
FD集是Fi，若{F1,F2...Fn}与F是等价的,那么分解p保持FD比如R(WNO,WS,WG) 有WNO->WS,WS->WG,
R分解为R1{WNO,WS} R2{WNO,WG} 这个分解是无损分解但不满足FD，违反了WS->WG
函数依赖和模式分解大致就是这些内容，范式就是靠函数依赖分解的