数据库关系演算实战：元组演算与域演算的5个典型查询案例解析

数据库关系演算实战元组演算与域演算的5个典型查询案例解析在数据库理论中关系演算是一种声明式的查询语言它允许用户描述想要获取的数据而不需要指定如何获取这些数据。关系演算主要分为两种形式元组关系演算和域关系演算。这两种演算方式虽然在表达形式上有所不同但本质上都是基于一阶逻辑来描述查询需求。对于数据库学习者来说理解这两种演算方式的语法差异和实际应用场景至关重要。本文将通过5个典型查询案例深入解析元组演算和域演算的具体应用并展示如何将它们转换为实际的SQL查询语句。我们还将特别关注QBE(Query By Example)语言中示例元素下划线的实战用法帮助读者快速掌握这两种重要的查询表达方式。1. 基础概念与语法对比在深入案例之前我们需要先明确元组演算和域演算的基本概念和语法形式。这两种演算方式虽然都用于描述数据库查询但在表达方式和变量类型上存在显著差异。1.1 元组关系演算元组关系演算以元组变量作为基本对象其基本形式为{ t | P(t) }其中t是元组变量P(t)是关于t的谓词公式。P(t)可以包含以下几种原子公式成员关系t ∈ R表示元组t属于关系R属性比较t[A] θ c其中θ是比较运算符(, , , , , )属性间比较t[A] θ u[B]比较不同元组的属性值例如查询所有年龄小于20岁的学生可以表示为{ t | t ∈ Student ∧ t[Sage] 20 }1.2 域关系演算域关系演算则以域变量作为基本对象其基本形式为{ x₁, x₂, ..., xₙ | P(x₁, x₂, ..., xₙ) }其中xᵢ代表域变量或常量P是关于这些变量的谓词公式。域演算的原子公式包括成员关系x₁, x₂, ..., xₙ ∈ R变量与常量比较x θ c变量间比较x θ y同样的年龄查询在域演算中可表示为{ sno, sname, sage, sdept | sno, sname, sage, sdept ∈ Student ∧ sage 20 }1.3 语法对比表格特性元组演算域演算基本变量类型元组变量域变量基本形式{ tP(t) }成员关系表达式t ∈ Rx₁,...,xₙ ∈ R属性/变量引用方式t[A]直接使用变量名量词使用∃t ∈ R, ∀t ∈ R∃x, ∀x典型应用场景强调元组整体操作强调属性间关系理解这些基本概念后我们将通过具体案例来展示它们的实际应用。2. 单表查询案例学生年龄筛选让我们从一个简单的单表查询开始比较元组演算和域演算在表达相同查询时的语法差异。2.1 问题描述查询学生表中年龄大于19岁的学生信息包括学号、姓名和年龄。2.2 元组演算解决方案在元组演算中我们可以这样表达{ t | t ∈ Student ∧ t[Sage] 19 }这个表达式可以解读为选择所有属于Student关系且Sage属性大于19的元组t。对应的SQL实现为SELECT sno, sname, sage FROM Student WHERE sage 19;2.3 域演算解决方案同样的查询在域演算中表示为{ sno, sname, sage | ∃sdept (sno, sname, sage, sdept ∈ Student ∧ sage 19) }这里我们使用了存在量词∃来表示我们只关心前三个属性而sdept属性虽然存在于关系中但在结果中不需要显示。对应的SQL与元组演算的转换结果相同。2.4 QBE语言实现在QBE(Query By Example)语言中这个查询可以通过以下方式表示StudentsnosnamesagesdeptP.P.P.19这里P.表示要投影(输出)的属性19是查询条件没有下划线的值是实际条件不包含在输出中的属性(sdept)留空3. 多条件组合查询特定年龄段的某专业学生接下来我们看一个稍微复杂一点的案例涉及多个条件的组合。3.1 问题描述查询计算机科学系(CS)年龄在18到20岁之间的学生姓名和学号。3.2 元组演算解决方案{ t | t ∈ Student ∧ t[Sdept] CS ∧ t[Sage] ≥ 18 ∧ t[Sage] ≤ 20 }这个表达式使用了逻辑与(∧)来组合多个条件。对应的SQLSELECT sno, sname FROM Student WHERE sdept CS AND sage BETWEEN 18 AND 20;3.3 域演算解决方案{ sno, sname | ∃sage ∃sdept (sno, sname, sage, sdept ∈ Student ∧ sdept CS ∧ sage ≥ 18 ∧ sage ≤ 20) }注意这里使用了存在量词∃来表示我们只关心学号和姓名尽管查询条件涉及其他属性。3.4 QBE语言实现StudentsnosnamesagesdeptP.P.≥18CS≤20在QBE中同一行的条件是AND关系不同行的条件是OR关系。这里所有条件都在同一行表示它们之间是AND关系。4. 多表连接查询学生选课信息关系演算的一个重要应用场景是多表连接查询。让我们看一个学生选课信息的案例。4.1 问题描述查询选修了数据库课程的学生的学号和姓名。4.2 元组演算解决方案{ t | ∃s ∈ Student ∃sc ∈ SC ∃c ∈ Course ( s[Sno] sc[Sno] ∧ sc[Cno] c[Cno] ∧ c[Cname] 数据库 ∧ t[Sno] s[Sno] ∧ t[Sname] s[Sname] )}这个表达式较为复杂它涉及三个关系的连接Student(学生)和SC(选课)通过Sno连接SC和Course(课程)通过Cno连接最后筛选课程名为数据库的记录对应的SQLSELECT s.sno, s.sname FROM Student s, SC sc, Course c WHERE s.sno sc.sno AND sc.cno c.cno AND c.cname 数据库;4.3 域演算解决方案{ sno, sname | ∃scno ∃grade ∃ccno ∃cname ∃sage ∃sdept ( sno, sname, sage, sdept ∈ Student ∧ sno, scno, grade ∈ SC ∧ ccno, cname ∈ Course ∧ scno ccno ∧ cname 数据库 )}这个表达式虽然看起来更复杂但实际上逻辑与元组演算版本相同只是使用了域变量而不是元组变量。4.4 QBE语言实现QBE中实现多表连接需要使用示例元素(带下划线的值)Student表StudentsnosnamesagesdeptP._XP._XSC表SCsnocnograde_X_YCourse表Coursecnocname_Y数据库这里_X和_Y是示例元素用于连接不同表相同的示例元素(_X)表示相同的值不同表的相同示例元素建立了连接关系5. 嵌套查询查找年龄最大的学生嵌套查询是关系演算中一个强大的特性让我们看一个查找年龄最大学生的案例。5.1 问题描述查询年龄最大的学生的学号和姓名。5.2 元组演算解决方案{ t | t ∈ Student ∧ ¬∃s ∈ Student (s[Sage] t[Sage]) }这个表达式使用了否定存在量词(¬∃)来表示不存在年龄比当前学生大的其他学生。对应的SQLSELECT sno, sname FROM Student WHERE sage (SELECT MAX(sage) FROM Student);5.3 域演算解决方案{ sno, sname | ∃sage ∃sdept ( sno, sname, sage, sdept ∈ Student ∧ ¬∃sno2 ∃sname2 ∃sage2 ∃sdept2 ( sno2, sname2, sage2, sdept2 ∈ Student ∧ sage2 sage ) )}这个域演算表达式同样使用了嵌套的否定存在量词来表达相同的逻辑。5.4 QBE语言实现QBE实现这个查询需要一些技巧主查询StudentsnosnamesagesdeptP.P._A子查询Studentsnosnamesagesdept_A这里_A是示例元素表示学生的年龄子查询中_A表示存在年龄大于_A的学生由于主查询要找出不存在更大年龄的学生所以需要在QBE界面中标记子查询为NOT EXISTS6. 使用量词的复杂查询选修了所有课程的学生最后我们看一个需要使用全称量词的复杂查询案例。6.1 问题描述查询选修了所有课程的学生的学号和姓名。6.2 元组演算解决方案{ t | t ∈ Student ∧ ∀c ∈ Course ∃sc ∈ SC ( sc[Sno] t[Sno] ∧ sc[Cno] c[Cno] )}这个表达式使用了全称量词∀来表示对于所有课程的概念。对应的SQLSELECT sno, sname FROM Student WHERE NOT EXISTS ( SELECT * FROM Course WHERE NOT EXISTS ( SELECT * FROM SC WHERE SC.sno Student.sno AND SC.cno Course.cno ) );6.3 域演算解决方案{ sno, sname | ∃sage ∃sdept ( sno, sname, sage, sdept ∈ Student ∧ ∀ccno ∀cname ( ccno, cname ∈ Course ⇒ ∃grade (sno, ccno, grade ∈ SC) ) )}这个域演算表达式同样使用了全称量词∀和蕴含(⇒)运算符来表达相同的逻辑。6.4 QBE语言实现QBE实现这个查询较为复杂通常需要借助否定存在来表示全称量词主查询StudentsnosnamesagesdeptP._XP._X子查询1(查找未被选修的课程)Coursecnocname_Y子查询2(验证学生是否选修了该课程)SCsnocnograde_X_Y在QBE界面中需要将子查询2标记为NOT EXISTS表示要找出没有未被选修课程的学生。