第三章 关系运算.pptVIP

3.半联接（semijoin）关系R和S的半联接操作记为R?S:R和S的自然联接在关系R的属性集上的投影即：R?S≡πR（R?S）第30页，共63页，星期日，2025年，2月5日关系R关系SR?SR?SS?RABCDabcdabcedbcddbcecadbABCabcdbccadBCDbcdbceadbBCDbcdbceadbABCabcdbcbbfcad第31页，共63页，星期日，2025年，2月5日§4关系演算以数理逻辑中的谓词演算为基础，用公式表示关系演算的条件。关系演算按所用到的变量不同可分为：元组关系演算－－－以元组为变量；域关系演算－－－以域为变量。一、元组关系演算形式：{t∣?(t)}其中t：元组变量；?：公式，公式有原子公式及运算符组成。第32页，共63页，星期日，2025年，2月5日1.原子公式有下列三种形式：①R（t）：R是关系名，t是元组变量。②t[i]θu[j]:t和u是元组变量，θ是算术比较运算符。③t[i]θC或Cθu[i]：t和u是元组变量，c是常量。2.约束变量和自由变量在一个公式中，如果一个元组变量的前面没有存在量词ョ或全称量词?的符号定义，称之为自由元组变量，否则称为约束元组变量。第33页，共63页，星期日，2025年，2月5日3.运算符及优先次序为：i.括号中运算符优先级最高ii.算术比较运算符最高；iii.量词：存在量词ョ全称量词?iv.逻辑运算符：?、∧、∨优先级最高第34页，共63页，星期日，2025年，2月5日4.公式中变量的递归定义如下：①每个原子公式是一个公式。其中的元组变量是自由变量;②如果?1和?2是元组关系演算公式，则:?1∧?2,?1∨?2,┓?1也是元组关系演算公式;③若?是元组关系演算公式，则(?t)(?)也是元组关系演算公式;④若?是元组关系演算公式，则(?t)(?)也是元组关系演算公式;⑤在元组演算公式中，各种运算符的优先次序为：括号,算术比较运算符,ョ,?,?、∧、∨⑥有限次地使用上述五条规则得到的公式是元组关系演算公式，其他公式不是元组