Institutional Repository
| 开发等式比较SQL查询语句的一种模型推理方法 | |
| Alternative Title | model reasoning method for developing equality comparison sql query statements |
| 杨波; 薛锦云 | |
| 2007 | |
| Source | 计算机工程与应用
 |
| ISSN | 1002-8331 |
| Volume | 43Issue:22Pages:99-102,164 |
| English Abstract | 尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性.提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法:并且按照由简单到复杂的顺序给出了两个应用实例. |
| Keyword | 等式比较 Sql查询语句 模型推理 一阶谓词逻辑 开发过程 查询语句 逻辑表达式 一阶谓词 直觉推理 有章可循 推理方法 固定形式 对应关系 类典型 应用 描述 |
| Department | 中国科学院软件研究所,北京100080;江西财经大学信息管理学院,南昌330013;中国科学院软件研究所,北京100080;江西师范大学计算机工程学院,南昌330022 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11300 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 开发等式比较SQL查询语句的一种模型推理（458KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment