数据库系统概论 关系代数：专门的关系运算

专门的关系运算

（1） R，t∈R，t[Ai]
设关系模式为R(A1，A2，…，An)
它的一个关系设为R
t∈R表示t是R的一个元组
t[Ai]则表示元组t中相应于属性Ai的一个分量

（2） A，t[A]， A(上面有一横）
若A={Ai1，Ai2，…，Aik}，其中Ai1，Ai2，…，Aik是A1，A2，…，An中的一部分，则A称为属性列或属性组。
t[A]=(t[Ai1]，t[Ai2]，…，t[Aik])表示元组t在属性列A上诸分量的集合。
A(上面有一横）则表示{A1，A2，…，An}中去掉{Ai1，Ai2，…，Aik}后剩余的属性组。

（3） tr ts(上面有一个弧)
R为n目关系，S为m目关系。
tr ∈R，ts∈S， tr ts(上面有一个弧)称为元组的连接。
tr ts(上面有一个弧)是一个n + m列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。

（4）象集Zx
给定一个关