3. The method according to claim 2 , said performing conceptual model relational inference on said constraint-normalized query statement further comprising performing subsumption inference on said constraint-normalized query statement; and said performing normal-form normalization on said transformed query statement to obtain said logic rules comprising performing disjunctive normal-form normalization on said transformed query statement.
4. The method according to claim 3 , said checking validity of said logic rules further comprising: syntax checking whether said logic rules that have undergone normal-form normalization conform to defined syntax of a logic rule descriptive language.