关系代数(2013-9-26).ppt

关系代数 关系数据模型源于数学，用二维表来组织数据； 二维表在关系数据库中称为关系； 关系数据库就是关系（或者说是表）的集合。 设关系模式为R(A1, A2, …, An)。它的一个关系设为R。t∈R表示t是R的一个元组。t[Ai]则表示元组t中相应于属性Ai的一个分量 。 关系代数概述 一种抽象的查询语言 用对关系的运算来表达查询 关系代数的运算分类 传统集合运算 包括并、交、差和广义笛卡儿积运算 专门关系运算 包括选择、投影、连接和除运算  关系代数运算的三要素 运算对象、运算符、运算结果 关系代数运算对象和运算结果均为：关系 运算符包括四类： 集合运算符、专门的关系运算符、算术比较符、逻辑运算符。 关系代数运算符 传统的集合运算——并 1. 并（Union） 关系R与关系S的并记作： R∪S = { t | t∈R ∨ t∈S } 结果仍为n目关系，由属于R或属于S的元组组成。 传统的集合运算——差 2. 差（Difference） 关系R与关系S的差记作： R-S = { t | t∈R ∧ t∈S } 其结果关系仍为n目关系，由属于R而不属于S的所有元组组成。 传统的集合运算——交 3. 交（ Intersection） 关系R与关系S的交记作： R∩S = { t | t∈R ∧t∈S } 其结果关系仍为n目关系，由既属于R又属于S的元组组成。关系的交可以用差来表示，即R∩S=R-（R-S）。 R与S的交集举例 传统集合运算小练习 已知关系R和S，请完成R∪S 、R－S、 S －R 和 R∩S 运算 R S 传统的集合运算——广义笛卡尔积 4. 广义笛卡尔积 两个分别为 n目和m目的关系 R和S的广义笛卡尔积是一个（n+m）列的元组的集合。元组的前n列是关系R的一个元组，后m列是关系S的一个元组。若R有k1个元组，S有k2个元组，则关系R和关系S的广义笛卡尔积有k1×k2个元组。记作： R×S = { trts | tr∈R ∧ts∈S } ? R: n目关系，k1个元组 ? S: m目关系，k2个元组 ? R×S –列：（n+m）列元组的集合??元组的前n列是关系R的一个元组??后m列是关系S的一个元组 –行：k1×k2个元组?? 广义笛卡尔积(续) 广义笛卡尔积 广义笛卡尔积 D1=导师集合= {张清玫，刘逸}， D2 =专业集合= {计算机，信息}， D3 =研究生集合={ 李勇，刘晨，王名} 则 D1 X D2 X D3 ={ (张清玫，计算机，李勇 ) , (张清玫，计算机，刘晨 ) , (张清玫，计算机，王名 ) , (张清玫，信 息，李勇 ) , (张清玫，信 息，刘晨 ) , (张清玫，信 息，王名 ) , (刘 逸，计算机，李勇 ) , (刘 逸，计算机，刘晨 ) , (刘 逸，计算机，王名 ) , (刘 逸，信 息，李勇 ) , (刘 逸，信 息，刘晨 ) , (刘 逸，信 息，王名 ) }, 共12个元组。笛卡儿积可对应一张二维表。 专门的关系运算——选择 1. 选择（ Selection） 在关系R中选择满足给定条件的元组，记做： σF (R) ={ t | t ∈R Λ F(t)=‘真’ } F是一个公式，由逻辑运算符（∧,∨, ┐ )连接各算术表达式组成。 算术表达式的基本形式为：XθY. θ ={, ≥ ,, ≤ ,=, ≠} 。 选择运算是从关系中选取使公式为真的元组。这是从行的角度进行的运算。 选择运算举例 选择运算举例 专门的关系运算——投影 2. 投影（ Projection） 关系R上的投影是从R中选择出若干属性列组成新的关系。记作： πA（R）= { t[A] | t∈R } 其中A为R中的属