逻辑蕴涵
网络释义专业释义
... logarithmic table 对数表 logical entailment 逻辑蕴涵 logical expression 逻辑表达 ...
基于148个网页-相关网页
2、平凡依赖（Trivial Dependency） 3、逻辑蕴涵（Logical Implications） 设R(U)是属性集U上的关系模式，F是R上的函数依赖集合，如果对于R的任意一个使F成立的关系实例r，函数依赖X→Y均成立，则称F逻...
基于42个网页-相关网页
的逻辑蕴涵 FD
-
logical implication - 引用次数：6 参考来源 - 基于约束的XML数据库模式规范化研究logic implication - 引用次数：2 参考来源 - 空值环境下NFD?NMVD混合强保持逻辑蕴涵问题 in C
-
logical entailment
-
logical implication
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
由于DTD的复杂性，使得XFD的逻辑蕴涵问题研究比较困难。
Due to complicacy of DTD, it is difficult to study the logical implication of XFD.
-
编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。
Coding DTD can test the logical implication problem of XML function dependency in linear time.
-
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
-
So the mathematical notions of infinity or logical notions like logical entailment are beyond a child of this age.
因此,对于无限这个数学概念,或者是,像逻辑蕴涵这样的逻辑概念,超出了该年龄阶段儿童的理解范围
应用推荐