第2章关系模型.pptVIP

2.2关系代数关系运算符(b)运算符含义运算符含义专门的关系运算符σπ÷选择投影连接除逻辑运算符?∧∨非与或第27页，共54页，星期日，2025年，2月5日2.2关系代数2.2.1传统的集合运算1、并 并运算是一个二元运算符。参与运算的有两个关系，这两个关系的属性个数必须相同，并且，相同位置上的属性必须来自同一个域。并运算的结果是一个新的关系，其关系模式同原来的关系，关系实例是两个关系的关系实例的并。假设关系R和S可以进行并运算，R和S的并运算的形式化定义如下： R∪S={t|t?R∨t?S}第28页，共54页，星期日，2025年，2月5日2.2关系代数2.2.1传统的集合运算ABCa1b1c1a1b2c2a2b2c1ABCa1b2c2a1b3c2a2b2c1ABCa1b2c2a1b3c2a1b1c1a2b2c1RSR∪S∪第29页，共54页，星期日，2025年，2月5日2.2关系代数2.2.1传统的集合运算2、交 交运算类似于并运算，只是新关系的关系实例是两个关系的关系实例的交。两个关系R和S的交运算的形式化定义为：R∩S={t|t?R∧t?S}第30页，共54页，星期日，2025年，2月5日2.2关系代数2.2.1传统的集合运算ABCa1b1c1a1b2c2a2b2c1ABCa1b2c2a1b3c2a2b2c1ABCa1b2c2a2b2c1RSR∩S∩第31页，共54页，星期日，2025年，2月5日2.2关系代数2.2.1传统的集合运算3、差 差运算类似于并运算，新关系的关系实例是两个关系的关系实例的差。两个关系R和S的差运算的形式化定义为：R-S={t|t?R∧t?S}第32页，共54页，星期日，2025年，2月5日2.2关系代数2.2.1传统的集合运算ABCa1b1c1a1b2c2a2b2c1ABCa1b2c2a1b3c2a2b2c1ABCa1b1c1RSRS第33页，共54页，星期日，2025年，2月5日2.2关系代数2.2.1传统的集合运算4、笛卡尔积 两个分别具有n个属性和m个属性的关系R和S的笛卡尔积是一个具有（n+m）个属性的关系。新关系的关系模式由关系R和关系S连接而成，关系实例中的元组的前n列是关系R的一个元组，后m列是关系S的一个元组。若R有k1个元组，S有k2个元组，则关系R和关系S的笛卡尔积有k1×k2个元组，关系R和关系S的笛卡尔积记作：R×S={|tr?R∧ts?S}第34页，共54页，星期日，2025年，2月5日2.2关系代数2.2.1传统的集合运算ABCa1b1c1a1b2c2a2b2c1ABCa1b2c2a1b3c2a2b2c1RSR╳S╳ABCABCa1b1c1a1b2c2a1b1c1a1b3c2a1b1c1a2b2c1a1b2c2a1b2c2a1b2c2a1b3c2………………第35页，共54页，星期日，2025年，2月5日2.2关系代数2.2.2专门的关系运算1、选择 选择是一个一元运算符，选择的结果产生了一个新关系，新关系的关系模式与被操作的关系的关系模式相同，关系实例是被操作关系中满足条件的元组，是被操作关系的关系实例的一个子集。对关系R的选择操作记作：σF(R)={t|t?R∧F(t)=真} 其中F表示选择条件，它是一个逻辑表达式，取逻辑值“真”或“假”。第36页，共54页，星期日，2025年，2月5日2.2关系代数2.2.2专门的关系运算 逻辑表达式F的基本形式为：X1θY1[φX2θY2]… 其中θ表示比较运算符，它可以是＞，≥，＜，≤，＝或。X1，Y1等是属性名，或为常量，或为简单函数；属性名也可以用它在关系模式中的位置来代替；φ表示逻辑运算符，它可以是?，∧或∨；[]表示任选项，即[]中的部分可以要也可以不要；…表示上述格式可以重复下去。 选择运算是从行的角度进行的运算。第37页，共54页，星期日，2025年，2月5日2.2关系代数2.