1) Path set strong closure
路径集强闭包
2) path closure
路径闭包
1.
Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法。
2.
Based on the definition of XFD, the inference rules for XML and logical implication is studied and a set of inference rules is presented and in- ference rules s correctnessand completeness is proved, as well as a path closurealgorithm and membership algorithm are presented.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。
3) path implication closure
路径蕴涵闭包
1.
By using the path implication closure as a tool, the algorithm cannot only effectively eliminate redundant nodes or predicates, but also identify invalid path expressions.
该算法以路径蕴涵闭包为工具,不仅可以删除路径表达式的冗余,还可以识别无效路径表达式。
4) strong semi-closure
强半闭包
1.
The concepts,including strong semi-interior,strong semi-closure and strong semi-boundary,were introduced in topological spaces.
在拓扑空间中引入强半内部、强半闭包和强半边界等强半子集概念,通过与拓扑子集、半拓扑子集的相关性质进行对比,研究了强半子集的若干性质。
5) FD closure
FD集闭包
6) closure of a set
集的闭包
补充资料：闭包关系
闭包关系
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])·
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条