数据库系统基础讲义第05讲关系模型之关系演算.pdfVIP

数据库系统之一 --基本知识与关系模型 战德臣 哈尔滨工业大学 教授.博士生导师 黑龙江省教学名师 教育部大学计算机课程教学指导委员会委员 Research Center on Intelligent Computing for Enterprises Services, Harbin Institute of Technology 第5讲关系模型之关系演算 战德臣 哈尔滨工业大学 教授.博士生导师 黑龙江省教学名师 教育部大学计算机课程教学指导委员会委员 Research Center on Intelligent Computing for Enterprises Services, Harbin Institute of Technology 本讲学习什么? 战德臣教授 基本内容 1. 关系演算之关系元组演算 2. 关系演算之关系域演算 3. 关系演算之安全性 4. 关于三种关系运算的一些观点 重点与难点 关系元组演算公式的递归定义；关系域演算公式的递归定义 关系元组演算公式：与、或、非、存在量词、全称量词 用关系元组演算公式表达查询的思维训练 用QBE语言表达查询的思维训练 关系元组演算、域演算和关系代数在表达查询方面的思维差异 关系元组演算 战德臣 哈尔滨工业大学 教授.博士生导师 黑龙江省教学名师 教育部大学计算机课程教学指导委员会委员 Research Center on Intelligent Computing for Enterprises Services, Harbin Institute of Technology 关系元组演算 (1)概述 战德臣教授 前面出现过关系演算形式 如，并运算定义中： R S = { r | rR rS } 再如，差运算定义中：R S = { r | rR r S } 关系演算是以数理逻辑中的谓词演算为基础的 关系演算是描述关系运算的另一种思维方式 SQL语言是继承了关系代数和关系演算各自的优点所形成的 按照谓词变量的不同，可分为关系元组演算和关系域演算 关系元组演算是以元组变量作为谓词变量的基本对象 关系域演算是以域变量作为谓词变量的基本对象 关系元组演算 (2)关系元组演算公式的形式 战德臣教授 关系元组演算公式的基本形式： { t | P(t) } 上式表示：所有使谓词P 为真的元组t 的集合 t 是元组变量 t r 表示元组t 在关系r 中 t [A] 表示元组t 的分量，即t 在属性A 上的值 P 是与谓词逻辑相似的公式, P(t)表示以元组t 为变量的公式 P(t)可以如下递归地进行定义 关系元组演算 (3)关系元组演算公式的完整定义 战德臣教授 关系元组演算公式的基本形式：{ t | P(t) } 其中公式P(t)可以递归地进行构造： 三种形式的原子公式是公式 s ∈R