| 开发等式比较SQL查询语句的一种模型推理方法 |
| |
| 引用本文： | 杨 波,薛锦云.开发等式比较SQL查询语句的一种模型推理方法[J].计算机工程与应用,2007,43(22):99-102. |
| |
| 作者姓名： | 杨 波 薛锦云 |
| |
| 作者单位： | 1.中国科学院 软件研究所，北京 100080 2.江西财经大学 信息管理学院，南昌 330013 3.江西师范大学 计算机工程学院，南昌 330022 |
| |
| 摘 要： | 尝试将模型推理引入一类典型的SQL查询语句（等式比较SQL查询语句）的开发过程中;以便使这类SQL查询语句的开发过程有章可循，减少盲目的直觉推理尝试，保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式，描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法;并且按照由简单到复杂的顺序给出了两个应用实例。
|
| 关 键 词： | 等式比较 SQL查询语句 模型推理 一阶谓词逻辑 |
| 文章编号： | 1002-8331（2007）22-0099-04 |
| 修稿时间： | 2007-01 |
Model reasoning method for developing equality comparison SQL query statements |
| |
| YANG Bo,XUE Jin-yun.Model reasoning method for developing equality comparison SQL query statements[J].Computer Engineering and Applications,2007,43(22):99-102. |
| |
| Authors: | YANG Bo XUE Jin-yun |
| |
| Affiliation: | 1.Institute of Software，Chinese Academy of Science，Beijing 100080，China 2.School of Information Management，Jiangxi University of Finance and Economy，Nanchang 330013，China 3.School of Computer Engineering，Jiangxi Normal University，Nanchang 330022，China |
| |
| Abstract: | Manage to introduce model reasoning method into developing course for a typical kind of SQL query statements(equality comparison SQL query statements);in order to make developers have rules to follow in the developing course of this kind of SQL query statements,reduce unnessary reasoning trials,ensure correctness of SQL query statements.Put forward a kind of an order predicate logic expression in fixed form,describe the corresponding relations between this kind of expressions and equality comparison SQL query statements.Sum up three developing steps,form a kind of method for developing equality comparison SQL query statements,give two application examples from simpleness to complex. |
| |
| Keywords: | equality comparison SQL query statements model reasoning an order predicate logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
