关系代数中的除法运算

除法运算的定义:

  RS÷S的意义就是:“在R和S的联系RS中,找出与S中所有的元组有关系的R元组”。

  这个概念的描述的非常抽象,刚开始学习的同学完全不知所云。这里通过一个实例来说明除法运算的求解过程

   设有关系R、S 如图所示,求R÷S 的结果

      求解步骤过程:      第一步:找出关系R和关系S中相同的属性,即Y属性。在关系S中对Y做投影(即将Y列取出);所得结果如下

      第二步:被除关系R中与S中不相同的属性列是X ,关系R在属性(X)上做取消重复值的投影为{X1,X2};       第三步:求关系R中X属性对应的像集Y

                      根据关系R的记录,可以得到与X1值有关的记录,如图3所示;与X2有关的记录,如图4所示

     第四步:判断包含关系                    R÷S其实就是判断关系R中X各个值的像集Y是否包含关系S中属性Y的所有值。对比即可发现:                    X1的像集只有Y1,不能包含关系S中属性Y的所有值,所以排除掉X1;                    而X2的像集包含了关系S中属性Y的所有值,所以R÷S的最终结果就是X2 ,

   也许你现在有点明白除法运算是如何操作的了,下面我们来引申一下,除法运算可以解决什么问题呢?      看下面一个小例子:               设有关系R,S以及RS,如图所示,求RS÷S的结果

    很容易求得结果为:{张三 }     所以你很容易看出来RS÷S 在这里解决的问题就是:“得到选修了所有课程的学生”    RS÷S的意义就是:“在R和S的联系RS中,找出与S中所有的元组有关系的R元组”。

除特别注明外,本站所有文章均为慕白博客原创,转载请注明出处来自https://geekmubai.com/programming/704.html

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏AI深度学习求索

算法图解|简单查找和二分查找算法

1884
来自专栏数据结构与算法

LOJ #109. 并查集

内存限制:256 MiB时间限制:2000 ms标准输入输出 题目类型:传统评测方式:文本比较 上传者: 匿名 提交提交记录统计讨论 1 测试数据 题目描...

27511
来自专栏机器学习养成记

【实用派】R语言中的便捷小操作

管道处理 管道处理避免了中间变量的生成,从而节省了内存,并且使代码直观易读,很大程度的简化代码。 R语言中,管道运算符为“dplyr”包中的“%>%”,指左边的...

3157
来自专栏*坤的Blog

hdu1043

1724
来自专栏李蔚蓬的专栏

第10-11周Python学习周记

3.时间允许的话,尽可能了解一些身为程序员必要掌握的知识(例如json,参考于网络资源)。

1231
来自专栏DannyHoo的专栏

IOS中的字典转模型2

版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/u010105969/article/details/...

1073
来自专栏令仔很忙

UML之类图

   在UML中,类图是用来描述类、接口、协作以及他们之间关系的图,用来显示系统中各个类的静态结构,类图是定义其他图的基础。

1322
来自专栏xingoo, 一个梦想做发明家的程序员

剑指OFFER之树的子结构(九度OJ1520)

题目描述: 输入两颗二叉树A,B,判断B是不是A的子结构。 输入: 输入可能包含多个测试样例,输入以EOF结束。 对于每个测试案例,输入的第一行一个整数n,m(...

19710
来自专栏技术博文

php pathinfo()的用法

pathinfo — 返回文件路径的信息  mixed pathinfo ( string $path [, int $options = PATHINFO_D...

3977
来自专栏xingoo, 一个梦想做发明家的程序员

Sqoop切分数据的思想概况

Sqoop通过--split-by指定切分的字段,--m设置mapper的数量。通过这两个参数分解生成m个where子句,进行分段查询。因此sqoop的spl...

1925

扫码关注云+社区

领取腾讯云代金券