易学笔记-系统分析师考试-第5章 数据库系统/5.2 数据模型/5.2.2 关系模型

• 关系模式表示

1. 关系表示为：R(A1,A2,A3,...An)，其中R为关系名，A为属性名
2. R可以理解为数据表，R的关系是静态的，A的值是动态的

• 关系运算

1. 并：指的是两个关系在集合上的并集，表示为
2. 差：指的是两个关系区别的集合,表示为:
3. 交：指的是两个关系集合上的交集，表示为：
4. 笛卡尔乘积：指的是两个关系的笛卡尔乘积，表示为：
5. 投影：从一个关系中抽取指明的属性，若R为一个包含属性A的关系，则投影表示为：
6. 选择：从关系R中抽取满足给定条件的记录，表示为：
7. 连接：从两个笛卡尔积中选择属性之间满足一定条件的元组（元组可以理解为记录），
8. 除法运算：设有关系R（X，Y）和S（Z），如果Y和Z具有相同的属性和属性值，则 R（X，Y）÷S（Z）所得的结果是R在X上投影的一个子集，然后该子集与 S（Z）进行笛卡尔运算
   1. 举例：

• 元组演算

1. 元组演算表达式
   1. 元组概念：理解为记录集合
   2. 元组变量
      1. 自由元组变量：不存在量词或者全称量词
      2. 约束元组变量：存在量词或者全称量词
   3. 元组表达式，表达形式为，其中t为元组变量，P为公式，也称为谓词
   4. 原子公式
      1. 作用：组成元组表达式
      2. 公式表示形式
         1. R（s）：R是关系名，s为元组变量（也即是属性变量、列变量）
         2. s[i]u[j]，其中s和u是元组变量，是算式运算符，s[i]表示第i个分量值 ，u[j]表示第j个分量值 ，例如s[2]<u[3]表示元组s的第2个分量值小于u的第3个分量值
      3. 公式演变
      4. 关系代数表达式转换为元组表达式