数据库系统2-5：域关系演算

文章作者 100test 发表时间 2007:03:10 17:00:11
来源 100Test.Com百考试题网

计算机等级考试训练软件《百宝箱》

　　

　　2.5.2.1域关系演算的定义
　　在域关系演算中，域关系演算的谓词变量是域变量，我们称：
　　{t1,t2,．．．,tk| f (t1,t2,．．．,tk)}
为谓词演算表达式，其中t1,t2,．．．,tk分别是域变量，f是域演算公式。一个谓词演算表达式表示一个关系，表示所有使 f为真的那些由t1,t2,．．．,tk组成的元组的集合。域关系演算公式由原子谓词公式和运算符组成。
　　域关系演算的原子谓词公式有三种类型：
　　①R(t1,t2,．．．,tk)
　　R是一个K目关系，ti为域变量或常量，R(t1,t2,．．．,tk)表示由属性t1,t2,．．．,tk组成的关系，所以关系R可表示为：
　　{t1,t2,．．．,tk| f (t1,t2,．．．,tk)}
　　②tiquj
　　ti,uj 为域变量，q为算术比较运算符，表示满足比较关系q的域变量。
　　③tiqC或Cq ti
　　其中ti为域变量，C为常量，q为算术比较运算符。
　　域关系演算公式的递归定义如下：
　　(1)原子谓词公式是域关系演算公式。
　　(2)若f1和f2是域关系演算公式，则f1ùf2，f1úf2，?f1和?f2也是域关系演算公式。
　　(3)若f是域关系演算公式，则$ti(f)(i=1,2,3．．．k)也是域关系演算公式。
　　(4)若f是域关系演算公式，则"ti(f)(i=1,2,3．．．，k)也是域关系演算公式。
　　(5)域关系演算公式中，各运算符的优先级与元组关系演算公式中运算符优先级的规则相同。
　　(6)有限次使用上述五条规则得到的公式是域关系演算公式外，其它公式不是域关系演算公式。
　　

　　QBE是一种域关系演算语言