第二章关系数据库.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,s