摘要
尝试将模型推理引入一类典型的SQL查询语句(等式比较SQL查询语句)的开发过程中;以便使这类SQL查询语句的开发过程有章可循,减少盲目的直觉推理尝试,保证SQL查询语句的正确性。提出了一种固定形式的一阶谓词逻辑表达式,描述了这种一阶谓词逻辑表达式与等式比较SQL查询语句的对应关系;总结了开发过程的三个步骤;形成了一种开发等式比较SQL查询语句的模型推理方法;并且按照由简单到复杂的顺序给出了两个应用实例。
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.
出处
《计算机工程与应用》
CSCD
北大核心
2007年第22期99-102,164,共5页
Computer Engineering and Applications
基金
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60273092)。
关键词
等式比较
SQL查询语句
模型推理
一阶谓词逻辑
equality comparison
SQL query statements
model reasoning
an order predicate logic
