| 基于谓词逻辑的除法运算语义及其SQL实现 |
| |
| 引用本文： | 王路帮,张庆元,储成哲.基于谓词逻辑的除法运算语义及其SQL实现[J].浙江万里学院学报,2008,21(2):32-34. |
| |
| 作者姓名： | 王路帮 张庆元 储成哲 |
| |
| 作者单位： | 浙江万里学院,宁波,315100 |
| |
| 摘 要： | 关系数据库是具有严格数学模型的一种数据库系统，该系统有效地解决了数据存储和数据应用问题；除法运算是关系数据库的基本运算之一，在MS SQL里面较难实现相关操作．文章利用谓词逻辑的基本推理方法有效地分解了除法运算的基本过程，给出了除法运算的基本语义，并对除法运算提供了有效的SQL实现手段，从而提供了MS SQL实现除法运算的有效手段，也为MS SQL有关的教学提供了操作模式．
|
| 关 键 词： | 关系代数 谓词演算 SQL除法 |
| 文章编号： | 1671-2250(2008)02-0032-03 |
| 修稿时间： | 2007年6月1日 |
Division Operation Semantics and Realization by SQL Based on Predicate Logic |
| |
| WANG Lu-bang,ZHANG Qing-yuan,CHU Cheng-zhe.Division Operation Semantics and Realization by SQL Based on Predicate Logic[J].Journal of Zhejiang Wanli University,2008,21(2):32-34. |
| |
| Authors: | WANG Lu-bang ZHANG Qing-yuan CHU Cheng-zhe |
| |
| Institution: | (Zhejiang Wanli University,Ningbo 315100) |
| |
| Abstract: | The RDB （Relational DataBase）is a kind of database, with a strict mathematics model, which has solved data storage and applyications. Division is one of the basic operations, which is difficult to be realized. The paper developed a method to realize the division in MS SQL, which decomposes the division process with predicate logic. The paper proposes a method about division, also gives a teaching method about division operation in MS SQL. |
| |
| Keywords: | relational algebra predicate calculus SQL division |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
