2) finite closure
有限闭包
1.
In this paper, strong close set of set of temporal types, finite closure of attribution sets, finite dependency base of attribution sets based on a certain temporal type and finite dependency base of attribution sets are introduced; the algorithm of finite closure and finite dependency base of attribution sets and the proof for its termination and correction are given.
本文定义了时态类型集的强封闭集、属性集的有限闭包、属性集在给定时态类型上的有限依赖基、属性集的有限依赖基等概念。
2.
Thus, in this paper, strong close set of set of temporal types, finite closure of attribution sets, finite dependency base of attribution sets based on a certain temporal type, finite de.
由于成员籍问题的解决对设计有效的模式分解算法必不可少,由此定义了时态类型集的强封闭集、属性集的有限闭包、属性集在给定时态类型上的有限依赖基、属性集的有限依赖基及特殊有限依赖基等概念,给出了求属性集的有限闭包、有限依赖基和特殊有限依赖基、时态混合集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析。
3) closure finite
闭包有限
5) Finitely closed (or compactly closed) set
有限闭(紧闭)集
6) finitely metcicaly clozed
有限度量闭
补充资料：密闭
1.严密封闭。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条