数据库【高教版】关系演算【第二章】.ppt

An Introduction to Database System Review of chapter 1-3 域（Domain） ： 给定一组域D1，D2，…，Dn， 笛卡尔积为： {（d1，d2，…，dn）｜di?Di，i＝1，2，…，n｝ 元组（Tuple）： 分量（Component）: D1×D2×…×Dn的基数M为: Review of chapter 1-3 关系 ： 候选码（Candidate key）： 全码（All-key） ： 主码: 主属性： 视图表与基本表的区别: Review of chapter 1-3 Review of chapter 1-3 关系模式（Relation Schema）是型 关系是值，关系模式在某一时刻的状态或内容，动态的 关系模式是对关系的描述，静态的、稳定的 Review of chapter 1-3 关系模式可以形式化地表示为： R（U，D，DOM，F） R 关系名 U 组成该关系的属性名集合 D 属性组U中属性所来自的域 DOM 属性向域的映象集合 F 属性间的数据依赖关系集合 Review of chapter 1-3 关系数据库 在一个给定的应用领域中，所有关系的集合构成一个关系数据库 关系数据库的型：关系数据库模式，是对关系数据库的描述。关系数据库模式包括： 若干域的定义 在这些域上定义的若干关系模式 关系数据库的值：这些关系模式在某一时刻对应的关系的集合，通常就称为关系数据库。 Review of chapter 1-3 常用的关系操作 查询：选择、投影、连接、除、并、交、差、笛卡尔积 数据更新：插入、删除、修改 查询的表达能力是其中最主要的部分 选择、投影、并、差、笛卡尔积是5种基本操作 Review of chapter 1-3 关系代数语言： 用对关系的运算来表达查询要求 代表：ISBL Review of chapter 1-3 规则2.1 实体完整性规则（Entity Integrity） 若属性A是基本关系R的主属性，则属性A不能取空值 Review of chapter 1-3 规则2.2 参照完整性规则 若属性（或属性组）F是基本关系R的外码它与基本关系S的主码Ks相对应（基本关系R和S不一定是不同的关系），则对于R中每个元组在F上的值必须为： 或者取空值（F的每个属性值均为空值） 或者等于S中某个元组的主码值 Review of chapter 1-3 Review of chapter 1-3 2.1 关系模型结构 2.2 关系操作 2.3 关系的完整性 2.4 关系代数 2.5 关系演算 2.6 小结 概述 传统的集合运算 专门的关系运算 概 述 2.4 关系代数 ? 概述 ??传统的集合运算 ? 专门的关系运算 1. 并（Union） R和S 具有相同的目n（即两个关系都有n个属性） 相应的属性取自同一个域 2. 差（Difference） R和S 具有相同的目n 相应的属性取自同一个域 3. 交（Intersection） R和S 具有相同的目n 相应的属性取自同一个域 4. 笛卡尔积（Cartesian Product） 严格地讲应该是广义的笛卡尔积（Extended Cartesian Product） R: n目关系，k1个元组 S: m目关系，k2个元组 R×S 列：（n+m）列元组的集合 元组的前n列是关系R的一个元组 后m列是关系S的一个元组 行：k1×k2个元组 R×S = {tr ts |tr ?R ∧ ts?S } 2.4 关系代数 概述 传统的集合运算 专门的关系运算 2.4.2 专门的关系运算 先引入几个记号 （1） R，t?R，t[Ai] （2） A，t[A]， A 若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，则A称为属性列或属性组。 t[A]=(t[Ai1]，t[Ai2]，…，t[Aik])表示元组t在属性列A上诸分量的集合。 A则表示{A1，A2，…，An}中去掉{Ai1，Ai2，…，Aik}后剩余的属性组。 （3） tr ts R为n目关系，S为m目关系。 tr ?R，ts?S， tr ts称为元组的连接。 tr ts是一个n + m列的元组，前n个分量为R中的 一个n元组，后m个分量为S中的一个m元组。 （4）象集Zx 给定一个关系R（X，Z），X和Z为属性组。 当t[X]=x时，x在R中的象集（Images Set）为： Zx=