Chapter2关系运算.pptVIP

* * * * * * * * 3、商 1）定义： 设关系R和S的目数分别为r和s，且rs，s≠Φ，则关系R关于S的商是一个由r-s目元组组成的集合，且如果tr-s?π1,2,…,r-s(R)，则tr-s与S中的每一个元组us组成的新元组tr-s,us必在关系R中。 　　关系R关于S的商记为R÷S： R÷S={t|t=(t1r,t2r,…,trr-s)∧“如果tr-s?π1,2,…,r-s(R), 则对于所有的us?S，成立tr-s,us?R”} 二、专门的关系运算 3、商 2）运算过程 ①计算π1,2,…,r-s(R)； ②对于π1,2,…,r-s(R) 中每一个元组tr-s和所有us?S，如果均有tr-s,us?R成立，则tr-s属于结果关系R÷S中的元组；否则，不属于R÷S中的元组。 二、专门的关系运算 A B C D a b c d a b e f b c e f e d c d e d e f a b d e 关系R C D c d e f 关系S A B a b b c e d R÷S r-s 例2.3 已知关系R和S，求R÷S 二、专门的关系运算 3）示例 ①计算π1,2,…,r-s(R)； ②验证tr-s,us?R成立。 A B a b e d πA,B(R) 4、联接 1）设关系R和S的目数分别为r和s，θ是算术比较运算符，则联接运算定义为： 二、专