1) four parts formula
四联公式
2) four famous formulas
四大公式
3) 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.
针对有环触发图对应规则集的终止性问题进行了研究,通过对触发图、活化图的分析,提出了联合公式的概念,在此基础上给出了有环触发图对应规则集的终止性判定算法,该算法的提出能够更精确地判定规则集的终止性。
4) cascading equations
级联公式
5) relevant formula
关联公式
6) quadruplex house
四联式住宅
补充资料：四种大乐──涅槃四种大乐
【四种大乐──涅槃四种大乐】
﹝出大涅槃经﹞
［一、无苦乐］，无苦乐者，谓无世间之苦乐也。世间之乐，即是苦因。故经云：不断乐者，则名为苦；以断乐故，则无有苦。无苦无乐，乃名大乐。此即涅槃之大乐也。（梵语涅槃，华言灭度。）
［二、大寂静乐］，谓涅槃之性是大寂静，以其远离一切愦闹法故，以大寂静，名为大乐，此即涅槃之大乐也。
［三、大知乐］，谓诸佛如来有大智慧，于一切法悉知悉见，名为大乐。此即涅槃之大乐也。
［四、不坏乐］，谓如来之身，非烦恼无常之身，犹如金刚不能毁坏。身不坏故，名为大乐。此即涅槃之大乐也。
﹝出大涅槃经﹞
［一、无苦乐］，无苦乐者，谓无世间之苦乐也。世间之乐，即是苦因。故经云：不断乐者，则名为苦；以断乐故，则无有苦。无苦无乐，乃名大乐。此即涅槃之大乐也。（梵语涅槃，华言灭度。）
［二、大寂静乐］，谓涅槃之性是大寂静，以其远离一切愦闹法故，以大寂静，名为大乐，此即涅槃之大乐也。
［三、大知乐］，谓诸佛如来有大智慧，于一切法悉知悉见，名为大乐。此即涅槃之大乐也。
［四、不坏乐］，谓如来之身，非烦恼无常之身，犹如金刚不能毁坏。身不坏故，名为大乐。此即涅槃之大乐也。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条