基本释义:

闭包有限

网络释义

1)closure finite,闭包有限

2)finite closure,有限闭包

3)closure finite,闭包有限的

4)Finite closure of attributes,有限属性闭包

5)closure finite complex,闭包有限复形

6)closure finite cell complex,闭包有限胞深复形

用法和例句

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.

本文定义了时态类型集的强封闭集、属性集的有限闭包、属性集在给定时态类型上的有限依赖基、属性集的有限依赖基等概念。

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.

由于成员籍问题的解决对设计有效的模式分解算法必不可少,由此定义了时态类型集的强封闭集、属性集的有限闭包、属性集在给定时态类型上的有限依赖基、属性集的有限依赖基及特殊有限依赖基等概念,给出了求属性集的有限闭包、有限依赖基和特殊有限依赖基、时态混合集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析。