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

• 作者: 杨波 薛锦云
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 关系代数的派生算子 原始算子 一阶逻辑 除算子 等价变换
• 年，卷（期）: 2008,（1）
• 所属期刊栏目: 学术研究
• 页码范围: 97-103
• 页数: 7页
• 分类号: TP311
• 字数: 6738字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2008.01.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨波		120	1993	20.0	41.0
4	薛锦云		77	745	15.0	23.0