1) closure finite
闭包有限
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
闭包有限的
4) Finite closure of attributes
有限属性闭包
5) closure finite complex
闭包有限复形
6) closure finite cell complex
闭包有限胞深复形
补充资料：闭包关系
闭包关系
closure relation
闭包关系「d渭u比比lati阅;、，aM峨a““，oT“o山en，，el.闭包运算(elosure operation)，偏序集M中的 M到它自身的单值映射，使每个元素a任M，映为元素互〔M，称为a的闭包(dosure)，使得下列条件戍立:l)a‘a;2)若a(b，则丁毛b;以及3)贡=丁.如果元素a就是它自己的闭包，则称a是闭的(d“ed).在集M中，只要定出它所有的闭元，就唯一地确定了M的一个闭包运算.特别在M是由任意集合X的所有子集构成的集合，按集合的包含关系为序时，我们可在X上来谈论闭包运算.在任意集合X上，一个闭包运算可以这样来规定:任取一个由子集所成的族，其中包含X自身，而且关于任意多的交是封闭的，以这个族作为X的闭子集族.两个带有闭包运算的偏序集，如果存在一个偏序集的同构，使得闭集的象和闭集的原象都是闭的，则称它们是同构的.对于由X的所有子集所成的集合来说，一类在数学上有相当重要性的闭包运算要求满足下述附加条件:空集是闭集，X的二个子集的并的闭包等于它们的闭包的并.满足此条件的闭包运算称作集合x上的拓扑(topology on the set)·【补注】闭包运算又称作印粤纂于(dosure Operator)或攀篡于(joino沐ra‘or)(见[l])·集合X的一族子集，如果在任意交下是封闭的，则称之为闭包系(d洗uresystem).例如仿射空间A中所有子空间所成的族，如上所述，它给出A的子集上的一个闭包运算. 与有限并可交换的闭包运算，为表示崇敬【AI]的作者，常称作Kuratowski闭包运算(Kuratowskid谓ureo讲ration).具有闭包运算的压双e代数(Boolean al罗-bra)有时称作甲粤华攀(d，ure al罗bra)(见[A2])·
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条