第3章关系数据库..pptVIP

Confidential / All Right Reserved 第二章 关系数据库 第二章 关系数据库 第二章 关系数据库 2.1 关系数据库概述 关系数据库是支持关系模型的数据库系统 2.2 关系数据结构及形式化定义 2.2.1. 关系及相关概念 2.2 关系数据结构及形式化定义 2.2 关系数据结构及形式化定义 2.2 关系数据结构及形式化定义 2.2 关系数据结构及形式化定义 2.2 关系数据结构及形式化定义 2.2 关系数据结构及形式化定义 2.2 关系数据结构及形式化定义 2.2 关系数据结构及形式化定义 2.2 关系数据结构及形式化定义 2.2 关系数据结构及形式化定义 2.2.2 关系模式 定义2.1 关系的描述称作关系模式（Relation Schema）。它可以形式化的表示为 R（U，D，DOM，F） 2.2.2 关系模式 关系模式与关系 2.2.3 关系数据库 关系数据库也有型和值之分 关系数据库是支持关系模型的数据库系统 为了维护数据库中数据与现实世界的一致性，对关系数据库的插入、删除和修改操作必须有一定的约束条件，这就是关系模型的三类完整性： 1. 实体完整性（Entity Integrity） 2. 参照完整性（Referential Integrity） 2. 参照完整性（Referential Integrity） 2. 参照完整性（Referential Integrity） 3. 用户自定义的完整性（User-defined Integrity） 关系数据库是支持关系模型的数据库系统 2.4.1 关系代数概述 传统的集合运算 是 二目运算（两个运算对象） 1. 并 （Union） 2. 差 （Difference） 3. 交 （Intersection） 4. 广义笛卡尔积 （Extended Cartesian Product ） 四种: 选择(selection) : ? 行操作 投影(Project) : ? 列操作 连接(join) : 两个表之间的 横向拼接 除（Division） ：÷ 行、列操作 相关概念 传统的集合运算是二目运算，包括并、交、差、广义笛卡尔积四种运算。传统的集合运算将关系看成元组的集合，其运算是从关系的“水平”方向，即行的角度来进行的。 设关系R，S具有相同的目n（即，两个关系都有n个属性），且相应的属性都取自同一个域，则可以定义并、交、差运算如下： ⒈并（Union） 关系R与关系S的并由属于R或属于S的元组组成。其结果关系仍为n目关系。记作：  R∪S={t|t∈R∨t∈S} ⒉差（Difference） 关系R与关系S的差由属于R而不属于S的所有元组组成。其结果关系仍为n目关系。记作：  R－S={t|t∈R∧t ? S} ⒊交（Intersection Referential integrity） 关系R与关系S的交由既属于R又属于S的元组组成。其结果关系仍为n目关系。记作：  R∩S={t|t∈R∧t∈S} 传统的集合运算是二目运算，包括并、交、差、广义笛卡尔积四种运算。传统的集合运算将关系看成元组的集合，其运算是从关系的“水平”方向，即行的角度来进行的。 设关系R，S具有相同的目n（即，两个关系都有n个属性），且相应的属性都取自同一个域，则可以定义并、交、差运算如下： ⒈并（Union） 关系R与关系S的并由属于R或属于S的元组组成。其结果关系仍为n目关系。记作：  R∪S={t|t∈R∨t∈S} ⒉差（Difference） 关系R与关系S的差由属于R而不属于S的所有元组组成。其结果关系仍为n目关系。记作：  R－S={t|t∈R∧t ? S} ⒊交（Intersection Referential integrity） 关系R与关系S的交由既属于R又属于S的元组组成。其结果关系仍为n目关系。记作：  R∩S={t|t∈R∧t∈S} 专门的关系运算包括选择、投影、连接、除等。为了叙述上的方便，先引入几个记号。 （1）设关系模式为R（A1，A2，…，An）。它的一个关系设为R。t∈R表示t是R的一个元组。t［Ai］则表示元组t中相应于属性Ai的一个分量。 （2）若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，则A称为属性列或域列。t［A］=（t［Ai1］，t［Ai2］…，t［Aik］）表示元组t在