关系演算-点.pptVIP

3.5 关系演算 元组关系演算表达式的一般形式 {t | φ(t)} 其中t为元组变量，φ( t )是以元组变量t为基础的公式。 1．?原子公式是公式； 2．?假如φ1 ( t )和φ2 ( t )是公式，那么￢φ1，φ1∧φ2，φ1∨φ2也都是公式，它们为真的条件分别是：“φ1非真”，“φ1和φ2皆为真”，“φ1与φ2中至少有一个为真”； 3. 假如φ是公式，那么( )(φ)和( )(φ)也都是公式，它们为真的条件分别是：“至少有1个元组t使得φ为真”，“所有的元组t都使φ为真”。其中 为存在量词， 为全称量词。若在变量前加上量词，则变量为约束变量。 4. 只有按上述三个规则的有限次组合形成的才是公式。 原子公式 1．R ( t )，表示t是关系R的一个元组； 2． ，其中t和s是元组变量， 是算术比较运算符（如、= 等）， 表示元组t的第i个分量与元组s的第j个分量满足 关系， 3．t[i] C或C t[i]，其中C表示一个常量，其他含义同上。t[i] C表示t的第i个分量与常量C满足 关系，例如t[1]8表示t的第1个分量小于8。 关系演算公式中，运算符的优先级如下： 算术比较运算符优先级最高； 量词优先级次之，且存在优于全称； 逻辑运算符优先级最低，且￢的优先级高于∧，∧的优先级高于∨； 若加括号，则括号内优先。 1．交 R∩S用{ t | R( t )∧S ( t ) }表示。 2．并 R∪S用{ t | R( t )∨S ( t ) }表示。 3．差 R―S用{ t | R( t )∧￢S ( t ) }表示。 4．选择 σC（R）用{ t | R( t )∧C’ }表示。 其中C’是C的等价条件，只是把C中的属性名在C’中换成t[i]的形式，i代表属性对应元组的第几个分量。 5．投影 π i1, i2, …in(U) ={t(n)|( )(U(u)∧t[1]= u[i1] ∧t[2]=u[i2]∧…∧t[n]=u[in])} 其中n为投影后得到的元组t的分量数，u[ij]（j=1,2,…,n）代表元组t的属性j所对应的元组u的相应分量。 6．笛卡尔积 R╳S用如下形式表示： =r[1] ∧… ∧t[m]=r[m] ∧t[m+1]=s[1]∧… ∧t[m+n]=s[n])} 7．自然连接 自然连接的表示基本上与笛卡尔积相似，假设关系R为R（A，B），关系S为S（B，C，D），那么R与S的自然连接可以用关系演算表达式表示如下： { |( (R(r)∧S(s) ∧t[1]=r[1]∧t[2]=r[2]∧t[2]=s[1] ∧t[3]=s[2]∧t[4]=s[3])) 8．θ连接 R（A，B）与S（B，C，D）的θ连接： R R.B≠S.B S 可用元组关系演算表达式表示如下： { |( ) ( ) (R(r)∧S(s)∧t[1]=r[1] ∧t[2]=r[2]∧t[3]=s[1]∧t[4]=s[2] ∧t[5]=s[3])∧r[2] ≠s[1]}} { t | R( t )∨S ( t )} { t |( ) (R( t )∧S ( u )∧t[1]=u[1])} 域关系演算的原子公式有两种： R ( x1,x2, … , xk )，其中R是一个关系，它具有k个属性，xi（i=1,2,…,k）是一个常量或者域变量。如果 ( x1, x2, … , xk )是R的一个元组，那么R ( x1,x2, … , xk )为真。 xθy，其中x和y是常量或者域变量，θ是算术比较运算符（如、= 等等）。如果x和y满足关系θ，则 xθy为真。 域关系演算表达式的一般形式是： {x1, … , xk |φ(x1, … , xk ) } 其中x1, x2, … , xk是域变量，φ是公式。 该表达式的含义：使φ为真的域变量x1, x2, …, xk组成的元组的集合。 假设元组关系演算表达式为{ t |φ( t ) }，转换方法如下： 1.如果t是有n个分量的元组变量，则为t的每个分量t[i]引进一个域变量ti，用ti替换公式中的t[i]。域关系演算表达式形式为 { t1, t2, … , tn |φ(t1, t2, … , tn ) } ? 2.出现存在量词(