| 开发等式比较SQL查询语句的一种模型推理方法 |
| 其他题名 | model reasoning method for developing equality comparison sql query statements
|
| 杨波; 薛锦云
|
| 2007
|
| 发表期刊 | 计算机工程与应用
 |
| ISSN | 1002-8331
|
| 卷号 | 43期号:22页码:99-102,164 |
| 摘要 | 尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性.提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法:并且按照由简单到复杂的顺序给出了两个应用实例. |
| 关键词 | 等式比较
Sql查询语句
模型推理
一阶谓词逻辑
开发过程
查询语句
逻辑表达式
一阶谓词
直觉推理
有章可循
推理方法
固定形式
对应关系
类典型
应用
描述
|
| 部门归属 | 中国科学院软件研究所,北京100080;江西财经大学信息管理学院,南昌330013;中国科学院软件研究所,北京100080;江西师范大学计算机工程学院,南昌330022
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11300
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
杨波,薛锦云. 开发等式比较SQL查询语句的一种模型推理方法[J]. 计算机工程与应用,2007,43(22):99-102,164.
|
| APA |
杨波,&薛锦云.(2007).开发等式比较SQL查询语句的一种模型推理方法.计算机工程与应用,43(22),99-102,164.
|
| MLA |
杨波,et al."开发等式比较SQL查询语句的一种模型推理方法".计算机工程与应用 43.22(2007):99-102,164.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论