指出下列各关系模式属于第几范式,并说明理由,同时给出范式推导过程。 1)R1(U1,F1),其中U1={A,B,C,D},F1={B→D,AB→C}。 2)R2(U2,F2),其中U2={A,B,C,D},F2={A→C,D→B}。 3)R3(U3,F3),其中U3={A,B,C,D},F3={A→C,CD→B}。 4) R4(U4,F4),其中 U4=(A,B,C,D,E},F4={AB→CE,E→AB,C→D}。 5)R5(U5,F5),其中 U5={W,X,Y,Z},F={X→Z,WX→Y}。
时间: 2023-06-24 17:07:39 浏览: 147
第二范式(NF)-关系模型设计_范式
1) R1 属于第二范式(2NF)。因为U1 中有一个非主属性(D)只依赖于部分候选键(B),所以需要将其分离出来形成新关系。将关系 R1 拆分为 R1(U1,F1') 和 R1'(BD,F1''),其中 F1'={AB→C},F1''={B→D},U1'={A,B,C},U1''={B,D}。此时 R1(U1,F1) 就被分解为 R1(U1',F1') 和 R1'(U1'',F1'') 两个关系,且满足 2NF。
2) R2 属于第一范式(1NF)和第三范式(3NF)。因为 U2 中每个属性都是原子的,所以满足 1NF;又因为 F2 中不存在传递依赖关系,所以满足 3NF。
3) R3 属于第一范式(1NF)和第三范式(3NF)。因为 U3 中每个属性都是原子的,所以满足 1NF;又因为 F3 中存在传递依赖关系 CD→B,所以需要将其分离出来形成新关系。将关系 R3 拆分为 R3(U3,F3') 和 R3'(CD,B,F3''),其中 F3'={A→C},F3''={CD→B},U3'={A,C,D},U3''={C,B}。此时 R3(U3,F3) 就被分解为 R3(U3',F3') 和 R3'(U3'',F3'') 两个关系,且满足 3NF。
4) R4 属于第一范式(1NF)和第二范式(2NF)。因为 U4 中每个属性都是原子的,所以满足 1NF;又因为 F4 中存在部分依赖关系 AB→CE,所以需要将其分离出来形成新关系。将关系 R4 拆分为 R4(U4',F4') 和 R4'(ABCE,U4'',F4''),其中 F4'={E→AB,C→D},F4''={AB→CE},U4'={A,B,C,D},U4''={A,B,C,E}。此时 R4(U4,F4) 就被分解为 R4(U4',F4') 和 R4'(U4'',F4'') 两个关系,且满足 2NF。
5) R5 属于第一范式(1NF)和第三范式(3NF)。因为 U5 中每个属性都是原子的,所以满足 1NF;又因为 F5 中不存在传递依赖关系,所以满足 3NF。
阅读全文