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.

Key words: equality comparison, SQL query statements, model reasoning, an order predicate logic

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

关键词: 等式比较, SQL查询语句, 模型推理, 一阶谓词逻辑