第二章关的系数据库.ppt

* * 2.3 关系演算 关系演算可分为元组关系演算和域关系演算两大类。 元组关系演算：以元组为变量。 域关系演算：以属性(域)为变量。 * * 一、 元组关系演算 { t | P (t) } 元组关系演算表达式的一般形式 t : 元组变量，表示一个定长的元组； P : 公式，即程序设计语言中的条件表达式，由原子公式组成； { t | P(t) } : 满足公式 P 的所有元组 t 的集合。 * * 一、 元组关系演算(续1) 1. 原子公式和公式的定义 1) 原子公式的三种形式 R(s)：R是关系名，s是元组变量，“s是关系R的一个元组”。 s[i]θu[j]：s和u是元组变量，θ是算术比较运算符，“元组s的第i个分量与元组u的第j个分量之间满足θ关系”。 s[i]θa 或 aθu[j]：a是常量。“元组s的第i个分量值与常量a之间满足θ关系” 或 “常量a与元组u的第j个分量值之间满足θ关系”。 * * 一、 元组关系演算(续2) 2) 关系演算的两个变量概念 自由元组变量：在一个公式中，元组变量未用存在量词 ? 或全称量词 ? 定义。 约束元组变量：与自由元组变量相反。 自由元组变量类似于程序设计语言中的外部变量或全局变量； 约束元组变量则类似于内部变量。 * * 一、 元组关系演算(续3) 3) 公式的递归定义 每个原子公式是一个公式。 如果P1和P2是公式，那么?P1