数据库关系演算实例.pptxVIP

1第二章关系数据库2.1关系模型概述2.2关系数据结构2.3关系的完整性2.4关系代数2.5元组演算2.6域演算2.7小结

2.5关系演算2以数理逻辑中的谓词演算为基础按谓词变元不同进行分类关系演算以元组变量作为谓词变元的基本对象元组关系演算语言ALPHA元组关系演算：以域变量作为谓词变元的基本对象域关系演算语言QBE域关系演算：贰壹叁

2.5.1公式3由提出INGRES所用的QUEL语言是参照ALPHA语言研制的01在元组演算系统中称{t|φ(t)}为元组演算表达式，其中t为元组变量，且为自由变元，φ(t)为元组关系演算公式，简称公式，它由原子公式和运算符组成01

1、原子公式4子公式有三类：01):?R为关系名，t为元组变量，R（t）表示t是R中的元组这样一个命题函数。02]θu[j]：t和u是两个元组，i和j表示元组分量的序号，θ是算术比较符，所表示的命题函数是元组t第i个分量与元组u第j个分量满足θ关系。03]θC或Cθt[i]：表示的命题函数是元组第i个分量与常数C满足θ关系。04

2、逆归定义元组运算公式5每一个原子公式是一个公式φ1，φ2是公式则φ1∧φ2，φ1∨φ2，01┑φ1也是公式域值为T={t1,t2,…tn}??则：0203

3、元组运算公式中运算符优先次序6算术比较符逻辑运算符量词次之，且量词高于量词?括号最优先

元组运算公式{t|φ(t)}表示了所有使φ为真的元组集合，它所表示的仍是一个关系，其中t为自由变元。01典型的数据库为ALPHA(P60—P65)02

2.5.2关系代数用元组运算替代8]∧....t[m+n]=v[n]}S={tm+n|(?um)∧(?vn)∧R(u)∧S(v)∧S={t|R(t)∧┑S(t)}?S={t|R(t)∨S(t)}t[2]=u[2]∧...t[m]=u[m]∧笛卡尔积差并

2.5.2关系代数用元组运算替代9投影Πx(R)={tk|(?u(R(u)∧t[1]=u[i1]∧…t[k]=u[ik]))}选取R)={t|R(t)∧P}

2.5.3元组演算运算实例10查找l1从书店s1购买的图书号及其册数t2|?u(LBS(u)∧u[1]=l1∧u[3]=s1∧u[2]∧t[2]=u[4])}

2.5.3元组演算运算实例11取出馆址在上海shanghai的馆名和电话号码2|?u(L(u)∧u[3]=shanghai∧t[1]=u[2]∧t[2]=u[4])}

2.5.3元组演算运算实例12取出S3发行的图书书名和数量|(?u)(?v)(LBS(u)∧B(v)∧u[3]=S3∧]∧t[1]=v[2]∧t[2]=u[4])}

2.5.3元组演算运算实例13查找选购了所有图书的馆名(?v)(u)(?w)(L(v)∧B(u)∧LBS(w)∧v[1]∧w[2]=u[1]∧t[1]=v[2])}

2.5.3元组演算运算实例14查找同时收藏有b1和b2这两本书的图书馆名|(?u)(?v)(?w)(LBS(u)∧LBS(v)∧L(w)b1∧v[2]=b2∧u[1]=v[1]∧1]∧t[1]=w[2])2.5.3元组演算运算实例15?⑥查找没有收藏computer这本书的图书馆名???{t1|(?u)(v)(?w)(L(u)∧LBS(v)∧B(w)∧???????w[2]=computer∧v[2]≠w[1]∧u[1]=v[1]???????∧t[1]=u[1])}???或者???{t1|┑((?u)(?v)(?w)(L(u)∧LBS(v)∧B(w)∧???????w[2]=computer∧v[2]=w[1]∧u[1]=v[1]???????∧t[1]=u[1])）}????注意：第二种方法存在安全问题

第二章关系数据库16关系模型概述关系数据结构关系的完整性关系代数元组演算域演算小结

2.6域演算17类似于元组运算，只不过公式中的变量用元组各分量对应的域变量来描述，域演算的谓词变元是域变量，域演算表达式的一般形式为：,t2,...tk|φ(t1,t2,...tk)}1,t2,...tk分别是域变量，φ是域演算公式

2.6.1公式18递归定义域运算公式：???1、原子公式???①R(t1,t2…tn)，R为n元关系，ti是域变量或常量，表示的谓词含义：以t1,t2…tn为分量的元组在关系R中???②tiθuj：ti为元组t第i个分量，uj为元组u第j个分量，θ为算术比较符，表示的谓词含义为t的第i个分量与u的第j个分量满足θ关系。???③tiθc：c为常量，表示的谓司含义是t的第i个分量与常数C满足