第三章 关系运算.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第三章 关系运算

六、关系模型的形式定义(有三个组成部分) 数据结构: 数据操作: 完整性规则: 四、关系代数表达式及其应用实例 举例 假设学生数据库中的关系模式如下: S(SNO, SNAME, AGE, SEX, SDEPT) C(CNO, CNAME, CDEPT, TNAME) SC(SNO, CNO, GRADE) 试用关系代数表达式表示每个查询语句。 如果P1和P2是公式,在元组关系演算的公式中,存在下列等价转换规则: P1∧P2 ? ┐(┐P1∨┐P2) P1∨P2 ? ┐(┐P1∧┐P2) (?s)(P1(s)) ? ┐(?s)(┐P1(s)) (?s)(P1(s)) ?┐(?s) (┐P1(s)) P1?P2 ? ┐P1∨P2 6. 实例:用元组表达式形式表示下列查询 1. 原子公式有下列三种形式: ① R(t): R 是关系名,t 是元组变量。 ② t[i]θu[j]: t 和 u是元组变量,θ是算术比较运算符。 ③ t[i]θC 或 Cθu[i]: t 和 u 是元组变量,c 是常量。 2.约束变量和自由变量 在一个公式中,如果一个元组变量的前面没有存在量词ョ或全称量词?的符号定义,称之为自由元组变量,否则称为约束元组变量。 3. 运算符及优先次序为: i.括号中运算符优先级最高 ii.算术比较运算符最高; iii.量词 :存在量词ョ 全称量词? iv.逻辑运算符:? 、∧、∨ 优先级最高 4. 公式中变量的递归定义如下: ①每个原子公式是一个公式。其中的元组变量是自由变量; ②如果?1和?2是元组关系演算公式,则: ?1∧?2,?1∨?2,┓?1也是元组关系演算公式; ③若?是元组关系演算公式,则(?t)(?)也是元组关系演算公式; ④若?是元组关系演算公式,则(?t)(?)也是元组关系演算公式; ⑤在元组演算公式中,各种运算符的优先次序为: 括号,算术比较运算符,ョ, ?,? 、∧、∨ ⑥有限次地使用上述五条规则得到的公式是元组关系演算公式, 其他公式不是元组关系演算公式。 5. 用元组关系演算表达式表示关系运算 并: R∪S {t|R(t)∨S(t)} 差: R-S {t|R(t)∧? S(t)} 笛卡儿积:R×S {t|(?u)(?v)(R(u)∧S(v)∧t[1]=u[1]∧…∧ t[r]=u[r]∧t[r+1]=v[1] ∧ …∧t[r+s]=v[s])} 投影:πi1,i2,…ik (R) {t|(?u)|R(u)∧t[l]=u[i1]∧…∧t[iK]=u[iK]}} 选择:σF(R) {t|R(t)∧F’} F’是F在元组演算中的等价表示形式。 例: 用元组表达式形式表示下列查询: 1.检索供应零件给工程J1,且零件编号为P1的供应商编号SNO。 {t|(?u)(SPJ(u)∧u[2]=‘P1’∧u[3]=‘J1’∧t[l]=u[1])} 2.检索使用了编号为P3零件的工程编号和名称。 {t|(?u)(?v)(J(u)∧SPJ(v)∧v[2]=‘P3’∧u[l]=v[3] ∧t[l]=u[1]∧t[2]=u[2])} {t|(?u)(?v)(SPJ(u)∧SPJ(v)∧u[3]=v[3]∧u[2]=‘P3’ ∧v[2]=‘P5’∧t[l]=u[3])} 3.检索至少使用了编号为P3和P5零件的工程编号JNO。 {t|(?u)(?v)(J(u)∧SPJ(v)∧((u[l]=v[3])? v[2]≠’P3’) ∧t[1]=u[1]∧t[2]=u[2])} 4.检索不使用编号为P3零件的工程编号JNO和工程名称SNAME。 5.检索使用了全部零件的工程名称JNAME。 {t|(?u)(?v)(?w)(J(u)∧P(v)∧SPJ(w)∧u[l]=w[3]∧v[1]=w[2] ∧t[1]=u[2])} {t|(?u)(SPJ(u)∧(?v

文档评论(0)

xiaolan118 + 关注
实名认证
文档贡献者

你好,我好,大家好!

版权声明书
用户编号:7140162041000002

1亿VIP精品文档

相关文档