第二章 关系库2.4.2专门的关系运算.pptVIP

2.4.2专门的关系运算 专门的关系运算包括： 选择、投影、连接、除等。 为了叙述方便，我们先引入几个记号： ⒈ 分量：设关系模式为 R(A1, A2, …, An)。 它的一个关系设为R.?? t∈R表示t是R的一个元组。t[Ai] 则表示元组t中相应于属性Ai 的一个分量。 ⒉ 属性列或域列： 若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}后剩余的属性组。 ⒊ 元组的连接： R为n目关系，S为m目关系。 t r∈R ，t s∈S ，t r t s称为元组的连接（Concatenation）。 它是一个(n+m)列的元组，前n个分量为R中的一个n元组，后m个分量为S中的一个m元组。 ⒋ 象集（Images Set）： 给定一个关系R(X，Z)，X和Z为属性组。我们定义，当t[X]=x时，x在R中的象集（Images Set）为： Z x ={t[Z]|t∈R, t[X]=x} 它表示R中属性组X上值为x的诸元组在Z上分量的集合。 下面