关系代数中“除法”运算的SQL查询实现.pdfVIP

维普资讯 第27卷 第 3期 河 北 理 工 学 院 学 报 lf．27 No．3 2005年 8月 JournalofHebeiInstituteofTechnology Aug．2005 文章编号：1007．2829(2005)03-0081-04 关系代数中 “除法运算的 SQL查询实现 吕震宇 ，阎红灿 ，刘保相 (1．问北理工大学 经管学院 ，-间北 盾山 063009；2．河北理工大学 理学院 ，河北 唐 山o630o9) 关键词：关系代数；谓词演算；除法：SQL 摘 要：利用离散数学作为分析工具，给出了关系代数中除法运算的各种查询原理，特别阐述 了SQL查询语句的实现，无论是教学还是实际应用具有一定的指导意义。 中图分类号 ：O158 文献标识码 ：A 0 引言 在数据库查询语言中，有关系代数、关系演算及结构化查询语言等多种方式，应用最为广泛的是结构化 查询语言SQL。SQL中的SELECT查询语句功能强大，使用灵活，为软件开发者提供了强有力的检索工具。 但是实现关系代数中的 “除法”运算一直是个棘手的问题。本文从离散数学中谓词演算的逻辑真值表人手， 通过化整为零的策略解决了此类问题，并由此给出了相应的SQL查询语句以及关系演算的ALPHA语句。 l 问题的提出 在关系代数中有一类典型的问题 ，如 “查询至少学习了学生 9‘5002’所学课程的学生学号”的问题 。用除 法运算实现(描述为：n ． (sc)÷(n (盯 ：． ．(SC))))。由于关系代数语言本身建立在关系集合运 算之上，直接进行集合运算 ，所以运算比较直观，而SQL语言间接实现集合运算，没有提供除法运算，所以 SELECT语句很难直接表示这类检索问题。 1．1 问题的分解 这里以一个具体实例说明应用离散数学中的谓词演算化整为零地求解过程。 设有一个学生一课程关系数据库，包括学生关系Student、课程关系Course和选修关系SC。如表 l所示。 要求：查询至少学习了学生 “95002”所学课程的学生学号。 表 l 学生一课程数据库 收稿时期 ：2004—12．24 作者简介：吕震宇 (1976一)，男，河北理工大学 经管学院讲师。 维普资讯 河 北 理 工 学 院 学 报 第27卷 课程号 课程名 1 2 3 4 Con Cname 数据库 数学 信息系统 操作系统 (b) (e) T-耋T T-耋F 求解过程分解为：分别从学生表中拿出每一个学生，判断是否学习了学生 “95002”所学课程，如果是，则 将其显示在结果中，否则不显示，直至将所有学生记录取完。例如取出学生 “李勇”，通过判断李勇是否学习 了学生 “95002”所学课程来决定李勇是否满足查询条件 ，然后取出刘晨进行判断直至最后。 现在论题变成了如何 “查询李勇是否学习了所有学生 “95002”所学课程”的命题。 下面看离散数学中的