开发等式比较SQL查询语句的一种模型推理方法
文献类型：期刊论文
| 作者 | 杨波 ; 薛锦云 |
| 刊名 | 计算机工程与应用
 |
| 出版日期 | 2007 |
| 卷号 | 43期号:22页码:99-102,164 |
| 关键词 | 等式比较 SQL查询语句 模型推理 一阶谓词逻辑 开发过程 查询语句 逻辑表达式 一阶谓词 直觉推理 有章可循 推理方法 固定形式 对应关系 类典型 应用 描述 |
| ISSN号 | 1002-8331 |
| 其他题名 | model reasoning method for developing equality comparison sql query statements |
| 中文摘要 | 尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性.提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法:并且按照由简单到复杂的顺序给出了两个应用实例. |
| 语种 | 中文 |
| 公开日期 | 2011-07-01 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。