第二章关系数据库﹝2016﹞.pptVIP

2.4.1元组关系演算 在元组关系演算的公式中，有下列三个等价的转换规则： ① P1∧P2等价于┐(┐P1∨┐P2)； P1∨P2等价于┐（┐P1∧┐P2）。 ② （?s）（P1（s））等价于┐(?s)（┐P1（s））； （?s）（P1（s））等价于┐(?s）（┐P1（s））。 ③ P1?P2等价于 ┐P1∨P2。 2.4.1元组关系演算 关系代数表达式到元组表达式的转换 R∪S可用{ t | R（t）∨S（t）}表示； R-S可用{ t | R（t）∧┐S（t）} 表示； R×S可用{ t |（?u）（?v）（R（u）∧S(V) ∧t[1]=u[1] ∧t[2]=u[2]∧t[3]=u[3]∧t[4]=v[1] ∧t[5]=v[2] ∧t[6]=v[3]）} 表示。 设投影操作是π2,3（R），那么元组表达式可写成： { t |(?u)（R（u）∧t[l]=u[2]∧t[2]=u[3]）} σF（R）可用{ t |R(t)∧F‘}表示，F’是F的等价表示形式。譬如 σ2=d（R）可写成{ t |（R（t）∧t[2]=d）。 关系演算的应用实例 例2.9 对于关系模式： Salvaging(prj_no,prj_name,start_date,end_date,Prj_status) Stock(mat_no,mat_name,speci,warehouse,amount,unit,total) Out_stock(prj_no,mat_no,amount,get_date,department) 例2.7中查询语句的关系代数表达式形式也可以用元组表达式形式表示： （1）检索所有规格的护套绝缘电线的物资编号、库存地点及库存数量 ｛t｜( u)(Stock(u)∧u[2]=’ 护套绝缘电线’∧t[1]=u[1] ∧t[2]=u[4] ∧t[3]=u[5])｝ （2）检索规格为BVV-120的护套绝缘电线的物资编号、库存地点及库存数量 ｛t｜( u)(Stock(u)∧u[2]=’ 护套绝缘电线’∧u[3]=’BVV-120’ ∧t[1]=u[1] ∧t[2]=u[4] ∧t[3]=u[5])｝ （3）检索项目号为的抢修项目所使用的物资名称 ｛t｜( u)( v)(Stock (u)∧Out_stock (v) ∧v[1]=∧u[1]=v[2] ∧t[1]=u[2]｝ 这里u[1]=v[2]是Stock和Out_stock进行自然连接操作的条件，在公式中不可缺少。 （4）检索使用了护套绝缘电线的所有抢修项目编号、名称、所用物资编号及规格 ｛t｜( u)( v) ( w) (Stock (u)∧Out_stock (v) ∧Salvaging(w)∧u[2]=’护套绝缘电线’∧u[1]=v[2] ∧v[1]=w[1]∧t[1]=w[1] ∧t[2]=w[2] ∧t[3]=u[1] ∧t[4]=u[3]｝ （5）检索不用物资编号为m001的物资的所有抢修项目编号 ｛t｜( u)( v) (Salvaging (u)∧Out_stock (v)∧（u[１]=v[1] = v[2]≠’m001’∧t[1] =u[1]｝ （6）检索使用了物资编号为m001或m002的抢修工程的工程号， ｛t｜( u) (Out_stock (u)∧(u[2]=’m001’∨u[2]=’m002’) ∧t[1] =u[1])｝ （7）检索同时使用了物资编号为m001和m002的抢修工程的工程号 πS#(σ1=6∧2=m001∧7=m002(Out_stock×Out_stock)) ｛t｜( u)( v) (Out_stock (u)∧Out_stock (v)∧u[2]=’m001’∧v[2]=’m002’∧u[1] =v[1]∧t[1]= u[1])｝ （8）检索被所有的抢修工程都使用了的物资编号及物资名称、规格。 ｛t｜( u)( v)( w) (Stock(u)∧Salvaging (v)∧Out_stock (w)∧u[1]=w[2]∧v[1] =w[1]∧t[1] =u[2]) ∧t[2]=u[3]｝ （9）检索所用物资包含抢修工用全部物资的抢修工程号。 ｛t｜( u)( Salvaging (u)∧( v)( Out_stock (v)∧v[1]=’201000016’=(w)( Out_stock (w)∧w[1] = u[1]∧w[2]=v[2]))) ∧t[1]=u(1)｝ 2.4.2 域关系演算 １．域关系演算表达式 域关系演算(Domain Relational Calculus)类似于元组关系演算，不同之处是用域变量代