1) united formula
联合公式
1.
Through static analysis for active database rule sets, we present the concept of united formula and the algorithm to determine whether the united formula is satisfied.
针对触发图中有环时,在实际运行中仅执行有限次,该规则集可能是可终止的,通过对规则集的静态分析,提出了联合公式的概念,给出了判定联合公式是否满足条件的算法和时间复杂度分析。
2.
Through study of the termination of rule set corresponding to cyclic triggering graph and analysis of triggering graph and activation graph, we present the concept of united formula and thereby the algorithm to determine termination of rule set corresponding to cyclic triggering graph.
针对有环触发图对应规则集的终止性问题进行了研究,通过对触发图、活化图的分析,提出了联合公式的概念,在此基础上给出了有环触发图对应规则集的终止性判定算法,该算法的提出能够更精确地判定规则集的终止性。
2) cascading equations
级联公式
3) four parts formula
四联公式
4) relevant formula
关联公式
补充资料：香港联合交易所加入国际交易所联合会
香港联合交易所加入国际交易所联合会
[香港联合交易所加入国际交易所联合会]1986年9月，香港联合交易所于近期内获得国际交易所联合会正式批准加人成为其会员。加人国际交易所联合会后，香港联合交易所成为一家受国际认可的交易所，外国银行亦会接受在香港上市的股票作为借贷抵押品，使香港股票成为一种国际有价证券。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条