The element's index is used in the logic of the predicate function.
项目的索引是用于述词功能的逻辑中。
Each element's index is used in the logic of the predicate function.
将在谓词函数的逻辑中使用每个元素的索引。
Notice that once again, we used a shorthand closure for the predicate function passed to the filter function.
请再次注意，我们为传递给filter函数的断言函数使用了一个简短的闭包。
If a query has a function template in a predicate or a select list, the function template must be part of the materialized query table.
如果查询在谓词或选择列表中具有一个函数模板，那么该函数模板必须是物化查询表的一部分。
This sounds like a lot of conditions, but so far it is straightforward: using the column, the index can be found and the spatial predicate is known using the function.
这听起来好像有一大堆的条件，但还是比较简单的：通过使用列可以找到索引，通过使用函数可以知道空间谓词。
As a slightly more sophisticated example, here is a query involving a spatial join, that is, a join where the join predicate is a spatial function.
作为一个稍微复杂些的示例，下面给出一个涉及空间联结(即其中的联结谓词是空间函数的联结)的查询。
This is like the take function, but it takes a predicate.
它类似于take函数，但它接受一个断言。
In the first query, the filtering predicate is expressed on the CHAR column "Zip" generated by the XMLTABLE function.
在第一个查询中，过滤谓词是在由xmltable函数生成的char列“Zip”上表达的。
The user-defined predicate is associated to the function equalString, as shown in italics in Listing 5.
用户定义谓词被关联到函数equalString，如清单 5中的斜体 部分所示。
XQuery does not have a special function or operator similar to the relational "between" predicate.
XQuery没有类似于关系查询中 “between” 谓词的专用功能或操作符。
In contrast to the previous queries, the following query adds a predicate on the message element using the contains XQuery function.
与前面的查询相反，以下查询使用containsXQuery函数在message元素上添加一个谓词。
The filter function applies the predicate, and if it returns true, the element in the sequence is added to the result.
filter函数被应用到这个断言，如果该断言返回true，序列中的元素就被加到此结果。
Now, if I may continue, once the CompareOther function has been written, the faithful needs only to write a binary predicate to wrap the comparison function.
既然这样，一旦CompareOther写好了，只需要写一个二元谓词将比较函数包装起来就可以了。
The problem is that the predicate with the fn: upper-case function prevents the use of XML indexes in DB2.
问题是如果使用包含fn：upper - case函数的谓词，就不会使用DB 2中的xml索引。
In the next example, the position function is used in the predicate for the XSL: apply-templates statement, which selects names that have a position of 1.
在下一个例子中，position函数用在xsl：apply - templates语句的谓词中，选择具有位置1的名称。
The aggregate function, COUNT, is applied to the records that remain after the stage-2 predicate filtering.
作为聚合功能的COUNT适用于在阶段2谓词过滤以后保留的记录。
The GENROW table function produces the values listed in the <VALUE LIST> of the IN predicate.
GENROW表函数会生成在IN 谓词的 <VALUELIST> 中所列的值。
Copies the contained elements, hash function, predicate, maximum load factor and allocator.
复制所含的元素、散列函数、谓词、最大负载因子和分配器。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
应用推荐