首页|期刊导航|计算机工程与应用|开发等式比较SQL查询语句的一种模型推理方法

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

杨波薛锦云

计算机工程与应用2007，Vol.43Issue(22)：99-102,164,5.

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

Model reasoning method for developing equality comparison SQL query statements

杨波 ¹薛锦云²

作者信息

1. 中国科学院软件研究所,北京100080
2. 江西财经大学信息管理学院,南昌330013
折叠

摘要

关键词

等式比较/SQL查询语句/模型推理/一阶谓词逻辑

分类

信息技术与安全科学

引用本文复制引用

杨波,薛锦云..开发等式比较SQL查询语句的一种模型推理方法[J].计算机工程与应用,2007,43(22):99-102,164,5.

基金项目

国家自然科学基金(the National Natural Science Foundation of China under Grant No.60273092). （the National Natural Science Foundation of China under Grant No.60273092）

计算机工程与应用

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量1

下载量0

段落导航