的关系数据库.pptVIP

2.4 关系演算-元组演算 （1）元组关系演算中的原子公式 ① R(t) t—元组变量 R—关系名 R(t)表示：t是关系R的一个元组。 关系R可表示为：{t|R(t)} ② t[i]θC 或 Cθt[i] C—常量 表示：元组t的第i个分量与常量C之间满足θ关系。 ③ t[i]θu[j] 其中：t，u–元组变量 θ–算术比较符 t[i]–t的第i个分量 u[j]–u的第j个分量 t[i]θu[j]表示：元组t的第i个分量与元组u的第j个分量之间满足θ关系。 2.4 关系演算-元组演算 （2） 公式的递归定义 ① 每个原子公式是公式。 ② 若ф1和ф2是公式，则?ф1、ф1∨ф2、ф1∧ф2、ф1- ф2也是公式。 ③ 若ф是公式，则(?t)(ф)、(?t)(ф)也是公式。 ④ 有限次使用上述3条规则得到的公式都是元组关系演算表达式。 公式中各种运算符的优先级： 算术运算符、量词(??)、逻辑运算符(? ∧∨-) 高 低 括号优先 关系演算表达式 关系代数表达式 ● 用关系演算表达式表达五种基本运算： R∪S={ t | R(t)∨S(t) } R－S={ t | R(t) ∧ ┓S(t) } R×S ={ t(n+