BCNF/3NF的判断方法

判断是否是 3NF 的条件：对于 R 上的每个函数依赖 X->A （X 是关系 R 属性的一个子集，
A 是 R 的一个属性） ,以下条件中的一个成立：
1 X ∈ A
2 X 是超码
3 A 是 R 的码的一部分

判断是否是 BCNF 的条件：对于 R 上的每个函数依赖 X->A（X 是关系 R 属性的一个子
集，A 是 R 的一个属性） ,以下条件中的一个成立：
1 X ∈ A
2 X 是超码

例子如下：

(a).
{ACD}+
= {A、C、D、B、E}
{BCD}+
={B、C、D、E、A}
{EDC}+
={E、D、C、A、B}
ACD、BCD、CDE are keys for R.

(b)判断是否是 3NF 的条件：对于 R 上的每个函数依赖 X->A （X 是关系 R 属性的一个子集，
A 是 R 的一个属性） ,以下条件中的一个成立：
1 X∈ A
2 X 是超码
3 A 是 R 的码的一部分
A->B 满足条件 3
BC->E 满足条件 3
ED->A 满足条件 3
所以 R 是 3NF
(c)判断是否是 BCNF 的条件：对于 R 上的每个函数依赖 X->A（X 是关系 R 属性的一个子
集，A 是 R 的一个属性） ,以下条件中的一个成立：
1 X ∈ A
2 X 是超码
A->B 不满足 1&2
BC->E 不满足 1&2
ED->A 不满足 1&2
所以 R 不是 BCNF

转载于:https://www.cnblogs.com/instant7/p/4201160.html

BCNF/3NF的判断方法相关推荐

范式BCNF,3NF的判断方法
步骤:1.求出关系模型R的所有候选码 2.根据BCNF和3NF的定义进行判断. 例题1 Consider the following relational schema R(A,B,C). suppo ...
java 返回值判断_在Java中判断方法重载的条件除了参数外,还可以通过返回值类型判断。_学小易找答案...
[单选题]若int x;且有下面的程序片断,则输出结果是() . for (x=3; x<6; x++) { printf((x%2) ? "##%d" : "** ...
python判断sqlite连接状态_python3 自动识别usb连接状态,即对usb重连的判断方法
在做自动化测试时,遇到两种情况需要判断usb是否已连接上(注,本文仅针对用adb命令来control手机) 一种是在开测时(前提是同时要测试多台), 希望等待所有设备usb全部识别后同时进行测试.对于 ...
UA MATH563 概率论的数学基础中心极限定理3 推导一元随机变量独立性的判断方法
UA MATH563 概率论的数学基础中心极限定理3 推导一元随机变量独立性的判断方法上一讲我们基于测度论定义了事件.事件序列.σ\sigmaσ-代数与随机变量的独立性,并给出了基于π−λ\pi- ...
UA SIE545 优化理论基础函数凸性的一些有趣的判断方法
UA SIE545 优化理论基础函数凸性的一些有趣的判断方法 Convex function f:S→Rf:S \to \mathbb{R}f:S→R where SSS is a nonempty ...
java 对象转json,java首字母小写,判断方法是否为javabean方法
将java对象转成json可用的类库很多,知名的有fastjson,jackson等,今天在做项目的时候发现项目没有上述依赖,用的是google的gson,因此封装方法将java对象转成gson代表的 ...
OTL、OCL、BTL电路及其判断方法
OTL.OCL.BTL电路及其判断方法 OTL(Output Transformer Less)电路,称为无输出变压器功放电路.是一种输出级与扬声器之间采用电容耦合而无输出变压器的功放电路,它是高保真 ...
.Net常用正则判断方法
.Net常用正则判断方法原文:.Net常用正则判断方法 /// <summary>/// 判断string类型否为数字/// </summary>/// <param ...
java三点确定圆弧_圆弧方向判断方法和三点确定一个圆的计算方法
圆弧方向判断方法设p1=(x1,y1) p2=(x2,y2) p3=(x3,y3) 求向量 p12=(x2-x1,y2-y1) p23=(x3-x2,y3-y2) 则当 p12与p23的叉乘(向量积 ...

BCNF/3NF的判断方法

BCNF/3NF的判断方法相关推荐

最新文章

热门文章