关系操作

关系代数运算

---

关系代数运算的分类

• 传统的集合运算
  • 并、交、差、广义笛卡尔积
• 专门的关系运算
  • 选择、投影、连接、除

---

表示记号

---

1. $R,\ t\in R,\ t[A_i]$
   • 设关系模式为$R(A_1, A_2, ..., A_n)$
   • 它的一个关系设为$R$。$t\in R$表示t是R的一个元组
   • $t[A_i]$则表示元组t中相应于属性$A_i$的一个分量

---

2. $A\ t[A]\ \overline{A}$
   1. 若$A={A_{i_1},\ A_{i_2},...,\ A_{i_k}}$ ，其中$A_{i_1},\ A_{i_2},...,\ A_{i_k}$是$A_1,\ A_2,\ A_3,...,\ A_n$中的一部分，则$A$称为属性列或者域列
   2. $t[A]=(t[A_{i_1}]，t[A_{i_2}]，…，t[A_{i_k}])$ 表示元组$t$在属性列$A$上诸分量的集合
   3. $\overline{A}$则表示${A_1,A_2,...,A_n}$中去掉${A_{i_1},\ A_{i_2},...,\ A_{i_k}}$ 后剩余的属性组

---

4. $\overparen{AB}$
   • R为n目关系，S为m目关系。$t_r\ \in R，t_s\ \in S， \overparen{t_r\ t_s}$称为元组的连接。它是一个n + m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。