1) 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.
由于成员籍问题的解决对设计有效的模式分解算法必不可少,由此定义了时态类型集的强封闭集、属性集的有限闭包、属性集在给定时态类型上的有限依赖基、属性集的有限依赖基及特殊有限依赖基等概念,给出了求属性集的有限闭包、有限依赖基和特殊有限依赖基、时态混合集成员籍问题的算法,并对算法的可终止性、正确性进行了证明,对时间复杂性进行了分析。
2) closure finite
闭包有限
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])·
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条