求模式的投影(例题向)

简介: 求模式的投影(例题向)

设关系模式R(ABCD),F=(AB->C,D->B),则F在模式ACD的投影ΠACD(F)是什么


在ACD中选一个


x0=A  x1=A


x0=C   x1=C


x0=D   x1=DB


在ACD中选两个


x0=AC     x1=AC


x0=AD     x1=ADBC,所以AD是ACD的候选码


x0=CD    x1=CDB


除了平凡依赖:R中存在的FD有:D->B,AD->B,AD->C,CD->B

Πacd(F)=(AD->C)


R(ABCDE),F={AB->C,B->D,D->E),ΠABCE(F)是什么

在ABCE 中选一个

x0=A     x1=A

x0 =B    x1=BDE

x0=C     x1=C

x0=E     x1=E

在ABCE 中选2个

x0=AB     x1=ABCDE,即AB是ABCE的候选码

x0=AC     x1=AC

x0=AE     x1=AE

x0=BC     x1=BCDE

x0=BE     x1=BED


x0=CE     x1=CE


R中存在的FD有:B->DE,AB->CDE,BC->DE,BE->D

ΠABCE(F)={B->DE,AB->CE,BC->E}


目录
相关文章
|
3月前
|
PHP 计算机视觉
罗德里格斯公式推导,以及如何使用cv2.Rodrigues进行旋转矩阵和旋转向量之间的相互转化
罗德里格斯公式推导,以及如何使用cv2.Rodrigues进行旋转矩阵和旋转向量之间的相互转化
106 0
|
1月前
论多段图的最短路径问题(我认为本质上还是暴力枚举法)
本文讨论了多段图最短路径问题的解决方法,认为本质上是使用暴力枚举法,通过逐步计算每个阶段点的最短距离来确定从起点到终点的最短路径。
35 1
论多段图的最短路径问题(我认为本质上还是暴力枚举法)
|
5月前
|
计算机视觉
图像处理之给定任意四点不规则放缩
图像处理之给定任意四点不规则放缩
29 3
|
3月前
|
算法
平面中判断点在三角形内算法(同向法)
平面中判断点在三角形内算法(同向法)
25 0
|
6月前
|
移动开发 算法 C#
Leetcode算法系列| 6. Z 字形变换
Leetcode算法系列| 6. Z 字形变换
|
算法 Java 索引
单元格法近似求解多边形最大内接矩形问题【思路讲解+java实现】
单元格法近似求解多边形最大内接矩形问题【思路讲解+java实现】
225 0
射线法——判断一个点是否在多边形内部(适用于凸多边形和凹多边形)【关键原理解释+文字伪代码】
射线法——判断一个点是否在多边形内部(适用于凸多边形和凹多边形)【关键原理解释+文字伪代码】
684 0
【矩阵分析】矩阵幂级数 发散 条件 || 幂级数 与 解析函数 的关系 || 幂级数 收敛半径r 的求法
【矩阵分析】矩阵幂级数 发散 条件 || 幂级数 与 解析函数 的关系 || 幂级数 收敛半径r 的求法
【矩阵分析】矩阵幂级数 发散 条件 || 幂级数 与 解析函数 的关系 || 幂级数 收敛半径r 的求法
|
算法
算法练习题(六)——Z字型打印矩阵
算法练习题(六)——Z字型打印矩阵
115 0