| Title: | 开发等式比较SQL查询语句的一种模型推理方法 |
| Alternative Title: | model reasoning method for developing equality comparison sql query statements
|
| Author: | 杨波
; 薛锦云
|
| Keyword: | 等式比较
; SQL查询语句
; 模型推理
; 一阶谓词逻辑
; 开发过程
; 查询语句
; 逻辑表达式
; 一阶谓词
; 直觉推理
; 有章可循
; 推理方法
; 固定形式
; 对应关系
; 类典型
; 应用
; 描述
|
| Source: | 计算机工程与应用
|
| Issued Date: | 2007
|
| Volume: | 43, Issue:22, Pages:99-102,164 | | Department: | 中国科学院软件研究所,北京100080;江西财经大学信息管理学院,南昌330013;中国科学院软件研究所,北京100080;江西师范大学计算机工程学院,南昌330022
|
| Abstract: | 尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性.提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法:并且按照由简单到复杂的顺序给出了两个应用实例. |
| Language: | 中文
|
| Content Type: | 期刊论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/11300
|
| Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 开发等式比较SQL查询语句的一种模型推理方法.pdf（458KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
杨波,薛锦云. 开发等式比较SQL查询语句的一种模型推理方法[J]. 计算机工程与应用,2007-01-01,43(22):99-102,164.
|
|
|
