形式描述方法 meaning in English

formal description technique

In this thesis , schema extraction from semistructured data and description of xml schema are also studied , and a algorithm for extracting datalog rules from data as well as a formal description of oem - based xml dtd schemas are proposed also . 4
本文还对模式的抽取及xml模式的描述形式进行了研究，提出了使用simulation算法抽取datalog规则的算法思想和基于oem ( objectexchangemodel )的xmldtd模式的形式描述方法。