1) reducible
[英][rɪ'dju:səbl] [美][rɪ'dusəbḷ]
可归约[的]
2) ground reducibility
基可归约性
3) imputable
[英][im'pju:təbl] [美][ɪm'pjutəbḷ]
可归罪的
4) reduction of a sentence
句子的归约;句子的归约
5) irreducible rule set
不可归约规则集
1.
Several works suggest proving termination by using triggering and activation graphs at compile-time, and computing an irreducible rule set is the key technique.
主动数据库中规则集的可终止性判定是一个重要问题,已经成为一个研究热点·有些研究工作提出了在编译阶段运用触发图和活化图的方法解决这个问题,其中的一个关键技术就是计算主动规则集的不可归约规则集·现有的计算方法由于具有一定保守性,使得计算出的不可归约规则集仍可进一步地归约,这无疑将影响到规则集的可终止性判定的准确性和运行阶段规则分析的效率·经过深入分析活化规则可无限执行的特点,提出了活化路径等概念·基于这些概念,提出了一个计算主动规则集的不可归约规则集的有效算法,使现有方法求得的不可归约规则集得到进一步的归约
6) Turing reducibility
图灵可归约性
补充资料：连续性与非连续性(见间断性与不间断性)
连续性与非连续性(见间断性与不间断性)
continuity and discontinuity
11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt，n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条