数据库关系代数除法讲解.pdfVIP

数据库关系代数除法讲解 【数据库原理】关系代数篇——除法讲解 陈宇超编辑总结 : 除法运算的一般形式示意图 如何计算 R÷S 呢,首先我们引进 ”象集 ”的概念 ,具体意义瞧下面的陈述即可理解 关系 R与关系 S 拥有共同的属性 B、C , R÷S 得到的属性值就就是关系 R包含而 关系 S 不包含的属性 ,即 A 属性 在 R关系中 A 属性的值可以取 { a1,a2,a3,a4 } a1 值对应的象集为 { (b1,c2) , (b2,c1) , (b2,c3) } a2 值对应的象集为 { (b3,c7) , (b2,c3) } a3 值对应的象集为 { (b4,c6) } a4 值对应的象集为 { (b6,c6) } 关系 S 在 B、C 上的投影为 { (b1,c2) , (b2,c1) , (b2,c3) } 只有 a1 值对应的象集包含关系 S 的投影集 ,所以只有 a1 应该包含在 A 属性中 所以 R÷S 为 A a1 【例题一】为了更好的理解除法的实际作用 ,请瞧下面的例题 设有教学数据库有 3 个关系 (以下四小问均用除法的思想解决 ) 学生信息关系 student(sno,sname,age,sex) 学生选课关系 sc(sno,cno,score) 学校课程关系 course(cno,cname) Student 表 sno sname age sex S001 陈晓 16 男 数据库关系代数除法讲解 S002 周倩 21 女 S003 华南 19 男 S004 曹匀 21 女 S005 郑威 20 男 Course表 cno cname C001 计算机科学 C002 诗歌鉴赏 C003 资本论 SC表 sno cno score S001 C001 88 S001 C002 95 S001 C003 99 S002 C001 97 S002 C003 84 S003 C002 69 S005 C002 77 S005 C003 98 SQL 语言中没有全称量词 ,具体实现时可以把带有全称量词的谓词转换为等 价的带有存在量词的谓词。 解决这类的除法问题一般采用双嵌套 not exists 来实现带全称量词的查询 解决所谓 forall 的问题