... 一阶微分算子 first order differential operator 一阶谓词 predicate of first order 一阶谓词逻辑 first order predicate logic ...
基于6个网页-相关网页
predicate logic of first order [数] 一阶谓词逻辑
Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.
XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
In order to use this technique, the SQL must provide a predicate on the first key column of the partitioning index.
为了使用这种技术，SQL必须提供分区索引的第一个键列上的一个谓词。
应用推荐