数据库系统概论PPT教程-第二章 关系数据库.pptVIP

关系运算的安全性（续I） 当满足下列条件时，一个元组关系演算表达式{t |?（t）}是安全的： 如果?（t）为真，则元组t的每个分量都属于dom(?) 。 对于?中的每个形如(?t)(F(t))的子表达式，如果F(t)为真，则元组t的每个分量都属于dom(?) 。 对于?中的每个形如(?t)(F(t))的子表达式，如果F(t)为假，则元组t的每个分量都属于dom(?) 。 域关系演算表达式也必须满足类似的条件才是安全的。 关系运算的安全性 A B 1 B1 1 B2 2 B3 dom(┑R(t)) = {{1 , 2} , {B1 , B2 , B3}} A B 1 B3 2 B1 2 B2 R { t |┑R(t) } * * * * * * * * 做法：逐个考虑选课关系中的元组r，求r在姓名上的分量x，再求x在选课关系中的象集课程x，若课程x包含了所有的课程，则x是满足条件的一个元组。 * * * * 选择运算 基本定义 在关系R中选择满足给定条件的元组。 ?F(R)={t | t ? R ? F(t) = ‘真’} F是选择的条件，取逻辑值“真”或“假”。 F的形式：由逻辑运算符连接算术表达式而成。 逻辑运算符：?，?，? 算术表达式：X ? Y X，Y是属性名、常量、或简单函数。 ?是比较算符，? ?{ ? ,