元组关系演算的语义研究.pdfVIP

元组关系演算的语义研究 王小兵 西安电子科技大学计算机学院，陕西西安 (710071) E-mail ：xbwang@ 摘 要：针对一些文献存在的问题，规范了特性谓词在元组关系演算中的表达形式，研究了 完整性约束及空值对元组关系演算语义的影响，并通过实例加以说明。 关键词: 元组关系演算，特性谓词，完整性约束，空值 中图分类号: TP311 文献标识码: A 1. 引言 20 世纪60 年代诞生的数据库技术，经过近半个世纪的发展，形成了坚实的理论基础、 成熟的商业产品和广泛的应用领域。E.F Codd 提出的关系数据模型为当今主流的数据库管 理系统提供了坚实的数学基础。关系数据模型有三种等价的操作语言：关系代数、SQL、 关系演算，它们的非过程化程度依次递增，主要应用领域也不同。对于用户提出的查询要 求，需要由专业人员书写 SQL 语句并执行得到结果。有一些复杂的查询，不易直接写出 SQL 语句，此时可求助于元组关系演算，大致过程为：先写出查询的元组关系演算表达式； 再根据等价转化规则得到不含全称量词∀的元组关系演算表达式；最后将元组关系演算表 达式转化为 SQL 语句。不过，元组关系演算的抽象性和非过程性，产生了一些问题[1] [2] [3] 。对于这些问题，笔者进行了深入细致的分析，希望有助于人们对元组关系演算的学习 和使用。 2. 元组关系演算 元组关系演算是关系演算的一种，是以数理逻辑中的谓词演算为基础的。文献[2] 分 析元组关系演算的运行机制，介绍了一种易于正确理解和设计元组关系演算表达式的方法， 并通过实例揭示了它与SQL 之间的密切联系。经过仔细分析，笔者发现有一些问题值得商 榷。 下面以[2] 中“学生选修课程”这一数据库模式为例。该数据库模式包含三个基本表： S 表示学生基本情况，结构为S(s# , sn , age, sex)，各属性分别表示学号、学生姓名、年龄、 性别；C 表示课程基本情况，结构为C(c#, cn, tn)，各属性分别表示课程编号、课程名称、 任课教师姓名；SC 表示学生选课情况，结构为SC(s#, c#, g)，各属性分别表示学号、课程 编号和成绩。 [2] 提出查询，要求检索Wang 同学不学的课程的编号。在分析该查询的语义后，给 出了三种不同的方案，分别用元组关系演算表达式(1)、(2)、(3)来表示。由于SQL 只有与 存在量词∃对应的EXISTS 谓词，因而使用谓词逻辑中全称量词∀和存在量词∃之间的等 价转化公式，分别得到不包含∀的元组演算表达式(4)、(5)、(6)，最后以此为依据写出三种 不同形式的SQL 语句。 {t[c#]|C(t)∧w(SC(w)∧t[c#]≠w[c#] ∨v(S(v)∧w[s#]=v[s#] ∧v[sn]≠Wang))} (1) {t[c#]|C(t)∧w(SC(w)∧t[c#]≠w[c#] ∨v(S(v)∧(v[sn]≠Wang∨w[s#]≠v[s#])))} (2) {t[c#]|C(t)∧v(S(v)∧(v[sn]≠Wang∨w(SC(w)∧(w[s#]≠v[s#] ∨t[c#]≠w[c#]))))} (3) {t[c#]|C(t)∧¬w(SC(w)∧t[c#]=w[c#] ∧¬v(S(v)∧w[s#]=v[s#] ∧v[sn]≠Wang))} (4) -1- {t[c#]|C(t)∧¬w(SC(w)∧t[c#]=w[c#] ∧v(S(v)∧(v[sn]=Wang ∧[s#]=v[s#])))} (5) {t[c#]|C(t)∧¬v(S(v)∧(v[sn]=Wang ∧w(SC(w)∧(w[s#]=v[s#] ∧t[c#]=w[c#]))))} (6) 通过仔细分析，发现式(1)