开发等式比较SQL查询语句的一种模型推理方法

• 作者: 杨波 薛锦云
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 等式比较 SQL查询语句 模型推理 一阶谓词逻辑
• 年，卷（期）: 2007,（22）
• 所属期刊栏目: 产品、研发、测试
• 页码范围: 99-102,164
• 页数: 5页
• 分类号: TP311
• 字数: 6857字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.22.031

摘要

尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性.提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法:并且按照由简单到复杂的顺序给出了两个应用实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨波	中国科学院软件研究所	120	1993	20.0	41.0
3	薛锦云	中国科学院软件研究所	77	745	15.0	23.0