13. The transformation apparatus according to claim 12 , said computing device performing conceptual model relational inference on said constraint-normalized query statement comprising: said computing device performing subsumption inference on said constraint-normalized query statement; and said computing device performing normal-form normalization on said transformed query statement to obtain logic rules comprising: said computing device performing disjunctive normal-form normalization on said transformed query statement.
13. The transformation apparatus according to claim 12 , said computing device performing conceptual model relational inference on said constraint-normalized query statement comprising: said computing device performing subsumption inference on said constraint-normalized query statement; and said computing device performing normal-form normalization on said transformed query statement to obtain logic rules comprising: said computing device performing disjunctive normal-form normalization on said transformed query statement. 14. The transformation apparatus according to claim 13 , said syntax checker checking whether said logic rules that have undergone normal-form normalization conform to defined syntax of a defined logic rule descriptive language.