1) 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.
该算法以路径蕴涵闭包为工具,不仅可以删除路径表达式的冗余,还可以识别无效路径表达式。
2) path implication
路径蕴涵
1.
The syntax and semantics of structural integrity constraints are defined,such as element exclusive inclusion,obligatory inclusion,path implication,path mutual-exclusion and path cooccurrence.
提出了基于元素的结构完整性约束和基于路径的结构完整性约束的概念,定义了排他性包含、必需性包含、路径蕴涵、路径互斥和路径同现的语法和语义,研究了它们的性质以及它们与DTD的关系,在此基础上,给出了将不能用DTD表达的结构完整性约束添加到DTD中的方法。
3) 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的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。
4) Path set strong closure
路径集强闭包
5) implication
[英][,ɪmplɪ'keɪʃn] [美]['ɪmplɪ'keʃən]
蕴涵
1.
Power Optimization of Technology-dependent Circuits Based on Static Logic Implications;
基于静态逻辑蕴涵的电路功耗优化
2.
Teaching reform of introduction to using quantification and realization of implication in the mathematical calculations performed tuple relationship and SQL;
关系演算和SQL中使用量词和实现蕴涵的教学方法探讨
3.
Direct Decomposability of Implication Operators on Product Lattices;
积格上蕴涵算子的直积分解(英文)
6) implications
[英][,impli'keiʃən] [美][,ɪmplɪ'keʃən]
蕴涵
1.
Several Classes of Implications Based on Binary Aggregation Operators on L~*;
几类基于L~*上二元聚合算子的蕴涵(英文)
补充资料：严格蕴涵演算
严格蕴涵演算
strict implication calculus
严格蕴涵演算[striet inl两ca坟”ca」。dlls;c二poro云“Mn月“R叫M“Mc，Hc月elf”el 基于严格蕴涵(strict imPlicat幻n)的一种逻辑演算(fogical calculus)，即与“如果··…那么……”相联系的逻辑运算上的一种演算.对于严格蕴涵来说，所谓的“(实质)蕴涵悖论”可完全地或部分地避免:一个假命题蕴涵任一命题，而任一命题蕴涵一个真命题. 严格蕴涵演算的目的是为了反映条件命题的前提与结论之问意义上的联系.存在一个完整的严格蕴涵演算系列(Lewis演算，Ackern‘，rm演算，及其他演算)，它们彼此之间的区分是由一些公式在某些演算中可以推出，而在另一些演算中不能推出的事实来确定(例如，在Lewis演算中“蕴涵悖论”仅仅部分地可避免，然而在Ackermann演算中却可完全避免).严格蕴涵演算同模态语句(“它是可能的”，“它是不可能的”，“它是必要的”等等)的形式体系化有密切联系;在某些演算中，严格蕴涵通过模态(1议汕涵ty)来表示，而在另一些演算中，模态是通过严格蕴涵来表示.【补注】其他试图避免“蕴涵悖论”的方法(例如牛言三段论(disjunctive syllogism)A八(门A VB)睁月)，有以相关逻辑(relevant 10百e)的名称出现的(IAll).11}中的Lewis演算的51一55也被视为Lc、s调查系统(Lewis sury即systelll)(【A3」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条