| 关系代数派生算子语义表达式间等价性证明 |
| |
| 引用本文： | 杨波,薛锦云.关系代数派生算子语义表达式间等价性证明[J].计算机科学与探索,2008,2(1):97-103. |
| |
| 作者姓名： | 杨波 薛锦云 |
| |
| 作者单位： | 1. 江西省高性能计算技术重点实验室,江西师范大学,南昌,330022;中国科学院,软件研究所,北京,100080;江西财经大学,信息管理学院,南昌,330013
2. 江西省高性能计算技术重点实验室,江西师范大学,南昌,330022 |
| |
| 基金项目： | 国家自然科学基金
,
国家重点基础研究发展计划(973计划) |
| |
| 摘 要： | 关系代数的派生算子在关系数据库查询语言中得到了广泛应用。它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式。但有关的文献资料都没有给出这两种表达式等价性的严格证明。文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性。从派生算子(主要是除算子)语义的原始算子表达式出发,根据关系代数表达式的特点,通过一步步的等价变换,得到派生算子语义的一阶逻辑表达式。所使用的变换方法能为关系代数表达式的正确性证明打下基础。
|
| 关 键 词： | 关系代数的派生算子 原始算子 一阶逻辑 除算子 等价变换 |
| 修稿时间： | |
Proof of equivalence between semantic expressions of derived relational algebra operators |
| |
| YANG Bo,XUE Jinyun.Proof of equivalence between semantic expressions of derived relational algebra operators[J].Journal of Frontier of Computer Science and Technology,2008,2(1):97-103. |
| |
| Authors: | YANG Bo XUE Jinyun |
| |
| Affiliation: | 1. Jiangxi Key Lab of High Performance Computing Technology， Nanchang 330022， China 2. Institute of Software， Chinese Academy of Sciences， Beijing 100080， China 3. School of Information， Jiangxi University of Finance and Economy， Nanchang 330013， China |
| |
| Abstract: | The derived relational algebra operators are widely used in the relational database query languages.There are two kinds of representations for their semantics. One is the expression described by original relational operators， the other is the expression described by one order logic. However， the strict equivalence proof of the two different semantic expressions is not given in related documents. The present study manages to prove the equivalence of the two different kinds of semantic expressions through a series of formal deductions step by step according to some related characteristics of relational algebra. The beginning of these deductions is the semantic expression described by original relational operators； the end is the semantic expression described by one order logic. The foundation of correctness proof of relational algebra expressions can be laid by the present deduction method. |
| |
| Keywords: | derived relational algebra operators original relational algebra operators one order logic relational division operator formal deductions |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
