不动点语义 meaning in English
fixpoint semantic
Examples
- 3 . schemas for semistructured data differ , however , from those for relational or object - oriented data . therefore , typing system and schema formalisms for xml - based semistructured data are extensively studied , and the algorithms both for computing type classification with maximal fixpoints semantics and maximal simulation are proposed , respectively
三、对半结构数据的类型及模式的描述形式进行了研究，并分别给出了使用最大不动点语义计算半结构数据类型划分的算法思想和最大仿真( simulation )计算方法的思想。