数据库原理 范式例题

定义

2NF
在这里插入图片描述
3NF
在这里插入图片描述
BCNF
在这里插入图片描述

例题

Y ( X 1 , X 2 , X 3 , X 4 ) Y(X1,X2,X3,X4) Y(X1,X2,X3,X4)
( X 1 , X 2 ) → X 3 (X1,X2) \rightarrow X3 (X1,X2)X3
X 2 → X 4 X2\rightarrow X4 X2X4
写出 候选码 和 所属范式

(1)分析
∵ \because X 2 → X 4 X2\rightarrow X4 X2X4
∴ \therefore ( X 1 , X 2 ) → X 4 (X1,X2) \rightarrow X4 (X1,X2)X4

∵ \because ( X 1 , X 2 ) → X 3 (X1,X2) \rightarrow X3 (X1,X2)X3
∴ \therefore ( X 1 , X 2 ) → ( X 1 , X 2 , X 3 , X 4 ) (X1,X2) \rightarrow (X1,X2,X3,X4) (X1,X2)(X1,X2,X3,X4)

  • 候选码: ( X 1 , X 2 ) (X1,X2) (X1,X2)

  • 非主属性: X 3 , X 4 X3,X4 X3,X4

(2)分析:
∵ \because X 2 → X 4 X2\rightarrow X4 X2X4
∴ \therefore X 4 → P ( X 1 , X 2 ) X4 \overset P \rightarrow (X1,X2) X4P(X1,X2)

所属范式:1NF

R ( A , B , C , D ) R(A,B,C,D) R(A,B,C,D)
F = { A B → D , A C → B D , B → C } F=\left\{ AB \rightarrow D,AC \rightarrow BD,B \rightarrow C\right\} F={ABD,ACBD,BC}
(1)侯选码
(2)最高属于第几范式

(1)
分析
∵ \because
( A , B ) → D (A,B) \rightarrow D (A,B)D
B → C B \rightarrow C BC
∴ \therefore
( A , B ) → ( C , D ) (A,B) \rightarrow (C,D) (A,B)(C,D)

候选码: ( A , B ) (A,B) (A,B) ( A , C ) (A,C) (A,C)
非主属性:D
(2)
分析:
∵ \because
D D D没有传递依赖或者部分依赖
∴ \therefore
是3NF
∵ \because
属性决定集中 B → C B \rightarrow C BC 不包含码

所属范式为:3NF
3.
R ( X , Y , Z , W ) R(X,Y,Z,W) R(X,Y,Z,W)
F = { Y → W , W → Y , ( X , Y ) → Z } F=\left\{ Y \rightarrow W,W \rightarrow Y,(X,Y)\rightarrow Z \right\} F={YW,WY,(X,Y)Z}
(1)候选码
(2)最高属于得范式

(1)候选码: ( X , Y ) (X,Y) (X,Y) ( X , W ) (X,W) (X,W)
(2)所属范式为:3NF

Ps:之前觉得这题分析太长了 就没写分析
今天新学了闭包得概念 用闭包感觉更清楚了

L = ( X ) L=(X) L=(X)
L R = ( Y , W ) LR=(Y,W) LR=(Y,W);
R = ( Z ) R=(Z) R=(Z

  • 对于 ( X , Y ) (X,Y) (X,Y)
    Y → W , ( X , Y ) → Z Y \rightarrow W, (X,Y)\rightarrow Z YW,(X,Y)Z
    即为候选码

  • 对于 ( X , W ) (X,W) (X,W)
    W → Y , ( X , Y ) → Z W\rightarrow Y,(X,Y)\rightarrow Z WY,(X,Y)Z
    即为候选码

你可能感兴趣的:(DB实验,sql)