《02关系数据库基本原理-关系模型和关系代数2.pptVIP

关系代数 五个基本操作 笛卡尔积（Cartesian Product） 形式定义 假设：R的元数r，基数为m；S的元数s，基数为n R×S≡{t | t＝tr，ts ∧ tr∈R ∧ ts∈S} R×S的元数为r + s，基数m×n 参与运算的R和S关系，不要求有同名属性 若有同名属性，在属性名前加“关系名.”来标注 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系代数 五个基本操作 投影（Projection） 对关系进行垂直分割（感兴趣的列），属性可任意排列 表示 Π属性或序号列表（关系名） 形式定义 Πi1，…，im(R)≡{t | t＝ ti1，…，tim ∧ t1，…，tk∈R } 性质 Π属性表1(Π属性表2（R） ) ≡Π属性表1（R） 属性表1∈属性表2 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系代数 五个基本操作 选择（Selection） 据条件对关系做水平分割，选取符合条件的元组 表示 σ选择条件（关系名） →σF（R），F是命题公式 形式定义 σF（R） ＝ { t | t∈R ∧ F（t）= true } 性质 a) σF1(σF2(R) ) ≡ σF2（σF1（R）） b) σF1σF2 ( …(σFn( R))) ≡ σF1 ∧F2 ∧ … ∧ Fn(R) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系代数 五个基本操作 示例 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系代数 四个组合操作 交（intersection） 前提 相同的关系模式（并兼容：两关系具有相同的目，对应属性域相同且两个关系的属性排列次序一样） 定义 R和S的交，是由属于R又属于S的元组构成的集合 记为R∩S 形式定义 R∩S ≡ { t︱t∈R ∧ t∈S } 推导 R∩S = R-（R-S），或 R∩S = S-（S-R） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系代数 四个组合操作 交（intersection） 示例 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系代数 四个组合操作 连接（join） 形式定义 R ? S≡{ t︱t = tr，ts∧tr∈R∧ts∈S∧triθtsj } 推导 R ? S ≡σiθ(r+j) （R × S），其中r是关系R的元数 表示连接是在（R × S）中，挑选第i个分量和第(r+j)个分量满足θ操作的元组 说明：两个关系的同域属性比较 θ连接：θ? { ?，?，?，?，?，? } 等值连接： θ? { ? } F连接： F ? F1 ∧…∧ Fn，Fk ? iθ j （∧、∨、┐） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 关系代数 四个组合操作 连接（join） 示例 1）θ连接： R ? S， 或 R ? S 2）等值连接： R ? S，或 R ? S 3）F连接： R ? S， 或 R ? S Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty