数据库 第3章 关系数据模型3.pptVIP

第3章 关系数据模型 3.1 关系模型的数据结构 3.2 关系数据操作 3.3 关系的完整性约束 3.4 关系代数 3.5 关系演算 3.5 关系演算 关系演算分为： （1）元组关系演算：这种演算以元组变量作为谓词变元的基本对象。 元组关系演算的代表语言为ALPHA。 （2）域关系演算：这种演算以域变量作为谓词变元的基本对象。 域关系演算的代表语言为QBE。 3.5.1 元组关系演算 1. 关系与谓词的联系 1）由关系R确定的谓词P 设有关系R，它有元组（r1,r1,……,rm），定义R对应P （x1,x1,……,xn）一个谓词 2）由谓词P表示关系R R={t | P（t）} 2. 关系演算表达式 1）原子公式（Atoms） （1）谓词P（t）是原子公式。 （2）u（i）θv（j）是原子公式。 （3）u（i）θa是原子公式。 2）关系演算公式 （1）每个原子是一个公式。其中的元组变量是自由变量。 （2）如果P1和P2是公式，那么┐P1、P1∨P2、P1∧P2和P1?P2也都是公式。 （3）如果P1是公式，那么（?s）（P1）和（?s）（P1）也都是公式。 （4）公式只能由上述四种形式构成，除此之外构成的都不是公式。 2. 关系演算表达式(续) 3）公式中运算的优先次序 运算符的优先次序为： （1）比较运算符：，，≤ ，≥ ，=，≠ 。 （2）量词： ? ， ? 。 （3）否定词：┐。 （4）合取、析取、蕴含运算符： ∧ ， ∨ ，→。 4）关系演算表达式 关系演算表达式的一般形式为：{t | φ（t）} 5）关系演算的安全限制 一个表达式{t | φ（t）}要成为安全的，其中的公式φ就应该满足下面三个条件： （1）若t满足公式φ，即t使得φ为真，则t的每个分量必须是DOM（φ）中的元素。 （2）对φ中每一个形为 (? t)(w(t))的子公式，如u 满足W，即u使得w为真，则u的每一个分量一定属于DOM（φ）。 （3）对φ中每一个形为(? t)(w (t))的子公式，如u 不满足W，即u使得w为假，则u的每一个分量一定属于DOM（φ）；也就是说，若u的某个分量不属于DOM（φ），则w（u）为真。 2. 关系演算表达式(续) 6）五个基本数据操作的元组演算表示 （1）并。R ∪ S={t | R(t) S（t）}。 （2）差。R–S =（t | R（t） ┐S（t））。 （3）选择。σ F（R）= {t | R（t） F}，其中F是一个谓词公式。 （4）投影。 其中t(k)所表示的元组有k个分量，而t[i]表示t的第i个分量，u[j]表示u的第j个分量。 （5）笛卡儿乘积。 3.5.2 域关系演算 1. 域演算表达式 其中： 是域变量， 是域演算公式 2. 三类原子公式 （1） 其中：R是关系名，是域变量，表示由分量组成的元组属于关系R。 （2） 其中：和是域变量，θ是比较运算符；表示和满足比较关系。 （3） 或者 其中：是域变量，c是常量，θ是比较运算符；或者表示和c满足比较关系。 3.5.3 关系代数、元组演算、域演算的等价性 （1）每一个关系代数表达式都有一个等价的安全的元组演算表达式。 （2）每一个安全的元组演算表达式都有一个等价的安全的域演算表达式。 （3）每一个安全的域演算表达式都有一个等价的关系代数表达式。 小结 关系模型由数据结构、关系操作集合、关系的完整性约束三部分构成。 关系可以定义为元组的集合 关系模型必须遵循实体完整性规则、参照完整性规则和用户定义的完整性规则。 关系查询语言建立在关系运算基础之上。 关系运算主要分为关系代数和关系演算两类。 关系代数以集合论中代数运算为基础；关系演算以数理逻辑中谓词演算为基础。关系代数、安全的元组关系演算、安全的域关系演算在关系的表达和操作能力上是完全等价的。