




已阅读5页,还剩15页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
2020年2月10日3时56分 数据库原理及应用 1 数据库原理及应用 熊才权主讲 湖北工业大学计算机学院 2020年2月10日3时56分 数据库原理及应用 2 2 5关系演算 2 5 1元组关系演算2 5 2域关系演算 2020年2月10日3时56分 数据库原理及应用 3 2 4关系演算 关系演算以数理逻辑中的谓词演算为基础 常见的谓词如下表所示 2020年2月10日3时56分 数据库原理及应用 4 种类 按谓词变元不同分类1 元组关系演算 以元组变量作为谓词变元的基本对象元组关系演算语言ALPHA2 域关系演算 以域变量作为谓词变元的基本对象域关系演算语言QBE 2020年2月10日3时56分 数据库原理及应用 5 元组关系演算 1 在元组关系演算 TupleRelationalCalculus 中 元组关系演算表达式简称为元组表达式 其一般形式为 t P t 元组成为谓词变元 其中 t是元组变量 表示一个元数固定的元组 P是公式 在数理逻辑中也称为谓词 也就是计算机语言中的条件表达式 t P t 表示满足公式P的所有元组t的集合 2020年2月10日3时56分 数据库原理及应用 6 元组关系演算 2 在元组表达式中 公式由原子公式组成 定义2 4原子公式 Atoms 有下列三种形式 R s s i u j s i a或a u j R是关系 s和u是元组 a是常量 在一个公式中 如果元组变量未用存在量词 或全称量词 符号定义 那么称为自由元组变量 Free 否则称为约束元组变量 Bound 2020年2月10日3时56分 数据库原理及应用 7 元组关系演算 3 定义2 5公式 Formulas 的递归定义如下 每个原子是一个公式 其中的元组变量是自由变量 如果P1和P2是公式 那么 P1 P1 P2 P1 P2和P1 P2也都是公式 如果P1是公式 那么 s P1 和 s P1 也都是公式 公式中各种运算符的优先级从高到低依次为 和 和 在公式外还可以加括号 以改变上述优先顺序 公式只能由上述四种形式构成 除此之外构成的都不是公式 2020年2月10日3时56分 数据库原理及应用 8 元组关系演算 4 例2 16图2 20的 a b 是关系R和S c g 分别是下面五个元组表达式的值 图2 20元组关系演算的例子 R1 t S t t 1 2 R2 t R t S t R3 t u S t R u t 3 u 1 R5 t u v R u S v u 1 v 2 t 1 u 2 t 2 v 3 t 3 u 1 2020年2月10日3时56分 数据库原理及应用 9 元组关系演算 5 在元组关系演算的公式中 有下列三个等价的转换规则 P1 P2等价于 P1 P2 P1 P2等价于 P1 P2 s P1 s 等价于 s P1 s s P1 s 等价于 s P1 s P1 P2等价于 P1 P2 2020年2月10日3时56分 数据库原理及应用 10 元组关系演算 6 关系代数表达式到元组表达式的转换例2 17R 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 2 u 2 t 3 u 3 t 4 v 1 t 5 v 2 t 6 v 3 表示 设投影操作是 2 3 R 那么元组表达式可写成 t u R u t l u 2 t 2 u 3 F R 可用 t R t F 表示 F 是F的等价表示形式 譬如 2 d R 可写成 t R t t 2 d 2020年2月10日3时56分 数据库原理及应用 11 元组关系演算的例子 例2 16图2 20的 a b 是关系R和S c g 分别是下面五个元组表达式的值 图2 20元组关系演算的例子 R1 t S t t 1 2 R2 t R t S t R3 t u S t R u t 3 u 1 R5 t u v R u S v u 1 v 2 t 1 u 2 t 2 v 3 t 3 u 1 2020年2月10日3时56分 数据库原理及应用 12 元组关系演算语言ALPHA 由E F Codd提出INGRES所用的QUEL语言是参照ALPHA语言研制的语句检索语句GET更新语句PUT HOLD UPDATE DELETE DROP 2020年2月10日3时56分 数据库原理及应用 13 元组关系演算语言ALPHA 检索操作GETGET工作空间名 定额 表达式1 操作条件 DOWN UP表达式2 插入操作建立新元组 PUT修改操作HOLD 修改 UPDATE删除操作HOLD DELETE 2020年2月10日3时56分 数据库原理及应用 14 2 4关系演算 2 4 1元组关系演算2 4 2域关系演算 2020年2月10日3时56分 数据库原理及应用 15 域关系演算 域关系演算的查询表达式为 x1 x2 xn 其中x1 x2 xn代表域变量 代表演算公式 是由关系 域变量 常量及运算符组成的公式 域关系演算的结果是符合给定条件的域变量值序列的集合 也就是一个关系 域关系演算以元组变量的分量 即域变量 作为谓词变元的基本对象 2020年2月10日3时56分 数据库原理及应用 16 域关系演算 域关系演算的结果是符合给定条件的域变量值序列的集合 也就是一个关系 域关系演算以元组变量的分量 即域变量 作为谓词变元的基本对象 2020年2月10日3时56分 数据库原理及应用 17 域关系演算 域演算的原子公式有以下两种形式 R x1 xk R是k元关系 每个xi是常量或域变量 x y 其中x y是常量或域变量 但至少有一个是域变量 是算术比较运算符 2020年2月10日3时56分 数据库原理及应用 18 2 4 2域关系演算 一种典型的域关系演算语言由M M Zloof提出1978年在IBM370上得以实现QBE也指此关系数据库管理系统lQBE QueryByExample基于屏幕表格的查询语言查询要求 以填写表格的方式构造查
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 标签感知嵌入与表征学习
- 毕业实习教育总结(30篇)
- 专业车辆碰撞责任界定与赔偿协议
- 场地环境风险评估合同
- 民间借贷财产保全法律文书定制服务协议
- 2025年中考考前最后一卷化学(深圳卷)(全解全析)
- 乡镇宗教活动方案
- 吉林医药宿舍管理制度
- 学校节日活动管理制度
- 公司高管用车管理制度
- LY/T 2192-2013林木种质资源共性描述规范
- 八年级英语下册期末复习课件
- GB/T 14561-2019消火栓箱
- 2023年湖南省普通高中学业水平考试生物试卷及答案
- 人教版五年级下册数学《期末测试》课件
- 某市道路客运班线管理台账
- DB37-T 1854-2020 山东省化工装置安全试车工作规范-(高清版)
- 消防安全管理评分表
- 国际足联球员经纪人规则
- 电梯更换钢丝绳施工方案
- 植物保护学考试复习资料
评论
0/150
提交评论