请输入您要查询的百科知识:

 

词条 元组关系演算
释义

在元组关系演算中,元组关系演算表达式(简称为元组表达式)用表达式{t│Q(t)}来表示,其中t是元组变量,它表示一个定长的元组,Q(t)是公式,公式是由原子公式组成的。原子公式有下列三种形式:

.R(s),其中R是关系名,s是元组变量。它表示这样的一个命题:“s是关系R的一个元组”。

.s[i]θu[j],其中s和u都是元组变量,θ是算术比较运算符。该原子公式表示这样的命题:“元组s的第i个分量与元组u的第j个分量之间满足θ关系”。例如,s[1]<u[2]表示元组s的第一个分量必须小于元组u的第二个分量。

.s[i]θa或aθs[i],这里a是一个常量。前一个原子公式表示这样的命题:“元组s的第i个分量与常量a之间满足θ关系”。

在一个公式中,如果一个元组变量的前面没有存在量词Э或全称量词▽等符号,那么称之为自由元组变量,否则称之为约束元组变量。元组表达式的一般形式{t│Q(t)}中,t是Q中唯一的自由元组变量。

关系代数的6种基本运算均可用元组表达式来表示(反之亦然)。其表示如下:

1)并:R∪S={t│R(t)∨S(t)}

2)交:R∩S={t│R(t)∧S(t)}

3)差:R-S={t│R(t)∧┓S(t)}

4)投影:Πi1,i2,…ik(R)={t│(Эu)(R(u)∧t[1]=u[i1]∧t[2]=u[i2]∧…t[k]=u[ik])}

5)选择:σF(R)={t∣R(t)∧F’}

其中F’是F的等价表示形式。

6)连接

R∞FS={t│(Эu)(Эv)(R(u)∧S(v)∧t[1]=u[1]∧t[2]=u[2]∧…t[n]=u[n]∧t[n+1]=v[1]∧…t[n+m]=v[m]∧F’)}

【例4.10】根据表4.2营业库显示所有品名及其单价。

C01={t∣(Эu)(营业库(u))∧t[1]=u[品名]∧t[2]=u[单价]}

【例4.11】有两个关系R和S,计算:

R1={t∣R(t)∧┓S(t)}

R2={t∣(Эu)(S(t)∧R(u)∧t[3]<u[2])}

R3={t∣(▽u)(R(t)∧S(u)∧t[3]>u[1])}

的结果如图4.5所示。

R

A B C

1 2 3

4 5 6

7 8 9

S

A B C

1 2 3

4 5 6

7 8 9

R1

A B C

4 5 6

7 8 9

R2

A B C

4 5 6

7 8 9

R3

A B C

1 2 3

3 4 6

图4.5 元组关系演算

随便看

 

百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2025/2/27 16:26:46