2.4 关系演算数据结构与算法.pdf

数据库原理与应用 元组关系演算 本节目录 CONTENTS 定义 元组关系演算与关系代数的关系 举例说明 总结 定义 定义 元组关系演算中，以元组为单位，通过谓词公式约束 所要查找元组的条件，可以表示为： t   ( t )  其中：t为元组变量，即查询的目， 称为元组演算的 谓词公式，即查询的条件。 t  ( t ) 表示使  ( t ) 为真的元组t 的集合。  ( t )可以通过原子公式、约束变 量、自由变量、运算符构成 原子公式分3类： R ( t ) ：R为关系名，表示t是R 中的元组。 t [ i ]θu [j ] ：表示“元组t的第i个分量与元组u 的第j 个分量进行比较运算θ” ，如t [2]u [ 3 ]。 t [ i ]θC ：表示“元组t的第i个分量与常量C进 行比较运算θ” ，如t [ 3 ]5。  ( t )约束变量与自由变量 若元组演算公式中的一个元组变量前有 “全称量词”和 “存在量词”，则称该变 量为约束元组变量，否则称自由元组变量。 在公式( t )  ( t )和(  t )  ( t )中, 称为 是量词的辖域。 t出现在(t)或(t)的辖域 内，t 为约束元组变量，被量词所绑定。 任何没有以这种方法显示绑定的变量都称 为自由变量。 任意 ( t )的递归定义 原子公式是公式 设 (t )和 (t )是公式，则┐ (t ) ， (t ) 1 1 2 2 1 1 1 1 ∧ (t ) ， (t ) ∨ (t )也是公式 2 2 1 1 2 2 设 ( t )是公式，t是 ( t )中的元组变量， 则( t )  ( t ) ，(  t )  ( t )也是公式 有限次使用上述规则得到的式子 都是公式  ( t )中运算符的优先级 公式运算符 高  算术比较符： ， ，≤ ，≥ ，≠ ，=  存在量词  和全称量词   逻辑运算符：¬ ，∧，∨，→ 低 元组关系演算 与关系代数的 关系 元组关系演算与关系代数的关系 并操作 R S R ∪S A B C A B C A B C a b c d a f a b c d a f d a f b g a c b d c b d