1) merge dependency set
归并依赖集
2) Minimal merge dependency set
最小归并依赖集
3) induction dependency
归纳依赖
5) dependency set
依赖集
1.
A algorithm based on the dependency set is proposed for parallel scheduling problem in the formal program verification.
针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。
6) functional dependency set
函数依赖集
1.
It is a fundamental work to find out a F_(min) of a given functional dependency set while normalizing a relational pattern.
构造了一个求解最小函数依赖集Fmin的计算机算法。
补充资料:归并
①把这个并到那个里头;并入:撤消第三组,把人~到第一组和第二组。②合在一起;归拢:把三笔账~起来,一共是五千五百元。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条