Model reasoning method for developing equality comparison SQL query statements
Xue Jin-yun · Computer Engineering and Applications Journal · 2007
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.