关系运算----关系演算.pdfVIP

2.4 关系运算(二)——关系演算 关系代数是将整个关系看作变元，并以其作为基本运算单位，同时以集合方法为关系运 算的理论基础。如果将组成关系的基本成分例如元组或者属性域看作变量，以其作为基本运 算单位，同时以数理逻辑中谓词演算为相应关系演算的理论基础，就得到了另外一种形式的 关系数据语言——关系演算。 关系演算基于谓词演算。在谓词演算中，如果谓词中的变元是关系中的元组，则得到所 谓元组关系演算；如果谓词中的变元是关系中的属性域，则得到所谓域关系演算。这样，关 系演算就分为元组关系演算和域关系演算两类。 在 2.4 节和 2.5 节，均以本章 2.3.4 节中的关系数据库{S,C,SC}为背景举例。这里 S (S#,Sn,Sex,Sa,Sd)；C (C#,Cn,P#,Tn) ；SC (S#,C#,G)，其中各个属性的含义见2.3.4 节。 2.4.1 元组关系演算 如果在一阶谓词演算表达式中，变量是以元组为演算单位，就称其为元组关系演算 (Tuple Relation Calculus)，其中元组变量表示关系中的元组，变量取值范围是整个关系。 1. 关系的元组演算表示 (1) 关系与谓词的对应 为了得到关系操作的元组关系演算表达式，需要考虑关系与谓词的联系。 由关系R 确定的谓词P 在数理逻辑中我们知道，关系可用谓词表示，n 元关系可以由n 元谓词表示。 设有关系R ，它有元组(r ,r ,…,r ) ，定义关系R对应如下一个谓词 1 2 m P (x ,x , …,x ) 。 1 2 n 当t =(r ,r , …,r )属于R 时，t为P 的成真的真值指派，而其他不在R 中的任意元组t则是P 1 2 m 的成假指派。即是说，由关系R定义一个谓词P具有如下性质： P(t) = T (当t 在R 中) ； P(t) = F (当t 不在R 中) 。 由谓词P 表示关系R 由于关系代数中R 是元组集合，一般而言，集合是可以用满足它的某种特殊性质来刻 画与表示。如果谓词P 表述了关系R 中元组的本质特性，就可以将关系R 写为： R={t | P(t)} 这个公式就建立了关系(元组集合) 的谓词表示，称之为关系演算表达式。 (2) 元组关系演算表达式 元组关系演算表达式的严格数学描述是由“归纳定义”方式完成的。按照通常的思路， 元组演算表达式是由“关系演算公式”组成；“关系演算公式”是由“原子公式”组成。 ① 原子公式 下述三类称为元组演算原子公式，简称原子公式： 谓词R(t)是原子公式。 u(i)θv(j)是原子公式。 u(i)θa 是原子公式。 其中，t =(r ,r ,…,r )是P 的成真指派；u(i)表示元组u 的第i个分量，v(j)表示元组v 的第j 1 2 m 个分量；a是常量，u(i)θa表示u 的第i个分量与常量a有关系θ。 ② 关系演算公式 利用原子公式可以递归定义关系演算公式： 原子公式是公式。 如果φ ，φ 是公式，则φ φ ，φ φ ，φ φ 和 φ 均是公式。 1 2 1 ∧ 2 1 ∨ 2 1→ 2 ¬ 1 如果φ是公式，r 是φ 中自由变元，则 r(φ) ， r(φ)是公式。 ∃ ∀ 所有公式由且仅由上述三种方式经过有限次操作生成。 在公式中，各种运算的优先次序规定如下： 比较运算符： 、 、≤、≥、= 、≠。 ∃ ∀ 量词： 、 。 否定词： 。 ¬ ∧ ∨ 合取、析取、蕴含运算符： 、 、→。 ③ 关系演算表达式