关系代数全解.docxVIP

..

..word.zl.

关系代数(数据库)

关系代数是\o一阶逻辑一阶逻辑的分支，是\o闭包(数学)闭合于\o运算运算下的\o数学关系关系的集合。运算作用于一个或多个关系上来生成一个关系。关系代数是\o计算机科学计算机科学的一局部。

在纯数学中的\o关系代数(抽象代数)关系代数是有关于\o数理逻辑数理逻辑和\o集合论集合论的\o代数构造代数构造。

介绍

关系代数在\o1970年1970年\oEdgarF.CoddE.F.Codd发表\o关系模型数据的关系模型之前很少受到注意。Codd曾是\o查尔斯·桑德斯·皮尔士皮尔士选集编辑者\oArthurW.Burks〔页面不存在〕ArthurW.Burks的博士研究生。Codd提议这样一种代数作为数据库查询语言的根底。第一个基于Codd的代数的查询语言是\oISBL〔页面不存在〕ISBL，许多作者都认同这个先驱的工作展示了一个使Codd的想法成为有用语言的方式。\o商务系统12〔页面不存在〕商务系统12是追随ISBL先例的短命工业级实力的关系DBMS。在1998年\oChristopherJ.Date〔页面不存在〕ChrisDate和\oHughDarwen〔页面不存在〕HughDarwen提议了一种叫TutorialD的语言，意图用于教学关系数据库理论，它的查询语言也吸取了ISBL的想法。\oRel(DBMS)〔页面不存在〕Rel是TutorialD的一个实现。即使\oSQLSQL的查询语言也松散的基于了关系代数，尽管SQL中的操作数(表)不完全是关系，很多有用的关于关系代数的理论在SQL对应者中不成立。

因为关系被解释为某个谓词的\o外延外延，关系代数的每个运算在\o一阶逻辑谓词演算中都有对应者。例如，自然连接是逻辑AND()的对应者。如果关系R和S分别表示谓词p1和p2的外延，那么R和S的自然连接(RS)是表示谓词p1p2的外延的关系。

认识到Codd的代数事实上关于\o一阶逻辑一阶逻辑不完备是很重要的。实现它会引起不可逾越的特定计算困难。为了克制这些困难，他限制操作数为有限关系，并提议了对否认(NOT)和析取(OR)的有限支持。类似的限制在很多其他基于逻辑的计算机语言中也能见到。Codd定义术语关系完备性来称呼一个语言除了他提议的限制之外关于\o一阶逻辑一阶逻辑是完备的。在实践中这些限制对他的关系代数用于数据库用途的适用性没有不利作用。

原始运算

如同任何代数，一些运算是原始的，而可以通过原始运算来定义的另一些运算是导出的。尽管逻辑中的AND,OR和NOT的选取，某种程度上是任意性的是众所周知的，Codd对他的代数作了类似的任意选取。

Codd的代数的六个原始运算是“\o选择(关系代数)〔页面不存在〕选择〞、“\o投影(关系代数)〔页面不存在〕投影〞、\o笛卡尔积笛卡尔积(也叫做“叉积〞或“穿插连接〞)、\o并集并集、\o差集差集和“\o重命名(关系代数)〔页面不存在〕重命名〞。(实际上，Codd忽略了重命名，而ISBL的创造者显著的包括了它)。这六个运算在省略其中任何一个都要损失表达能力的意义上是根本的。已经依据这六个原始运算定义了很多其他运算。其中最重要的是\o交集交集、除法和自然连接。事实上ISBL显著的用自然连接替代了笛卡尔积，它是笛卡尔积的退化情况。

总之，关系代数的运算有与\o域关系演算域关系演算或\o元组关系演算元组关系演算同样的表达能力。但是出于前面介绍中给出的原因，关系代数有严格弱于没有函数符号的\o一阶谓词演算一阶谓词演算的表达能力。关系代数实际上对应于\o一阶逻辑一阶逻辑的子集，即没有递归和否认的\oHorn子