关系代数派生算子语义表达式问等价性证明

摘要：

关系代数的派生算子在关系数据库查询语言中得到了广泛应用.它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式.但有关的文献资料都没有给出这两种表达式等价性的严格证明.文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性.从派生算子(主要是除算子)语义的原始算子表达式出发,根据关系代数表达式的特点,通过一步步的等价变换,得到派生算子语义的一阶逻辑表达式.所使用的变换方法能为关系代数表达式的正确性证明打下基础.

关键词：关系代数的派生算子、原始算子、一阶逻辑、除算子、等价变换

所属期刊栏目：2

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60573080;国家重点基础研究发展计划973计划2003CCA02800

在线出版日期：2008-05-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：97-103