1) 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中的方法。
2) 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.
该算法以路径蕴涵闭包为工具,不仅可以删除路径表达式的冗余,还可以识别无效路径表达式。
3) 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;
积格上蕴涵算子的直积分解(英文)
4) implications
[英][,impli'keiʃən] [美][,ɪmplɪ'keʃən]
蕴涵
1.
Several Classes of Implications Based on Binary Aggregation Operators on L~*;
几类基于L~*上二元聚合算子的蕴涵(英文)
5) contain
[英][kən'teɪn] [美][kən'ten]
蕴涵
1.
On the culture of female reproduction worship contained in Chinese Characters;
试论汉字蕴涵的女性生殖崇拜文化
2.
Most scholars believe that people can not obtain new knowledge from deductive reasoning because the premiss of the deductive reasoning already contains its conclusion.
大多数学者认为演绎推理不可获取新的知识,原因在于演绎推理的前提已经蕴涵其结论。
6) connotation
[英][,kɔnə'teɪʃn] [美]['kɑnə'teʃən]
涵蕴
1.
The word "Long"in Chinese is rich in cultural connotations and its derivatives are numerous and varied in form.
汉语中与“龙”有关的词语数量多且形式灵活多样,在华夏文化中“龙”形象具有特殊的文化象征涵蕴,龙是祥瑞的象征,是专制皇权的象征,是中华民族的象征,龙文化的发展演变渊远流长。
补充资料：严格蕴涵演算
严格蕴涵演算
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」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条