...元的约束(Bound of variable)) 11.4.1 变元的约束 11.4.2 约束变元的换名与自由变元的代入 11.4.1变元的约束(Bound of variable)) 定义11.4.1:在谓词公式中,形如x(P(x))和x(P(x)) 的部分,称为谓词公式的x约束部分.
基于20个网页-相关网页
bound occurrence of a variable 变量的约束出现
The SHIP3 operator contains the statement that shows the result of the scalar subquery being bound in as a host variable.
SHIP3操作符包含一个语句，该语句表明标量子查询的结果放在一个主机变量中。
Note in the evaluation, if the pattern is a bound variable, or the element of the pattern is a bound variable, then the result of the pattern match becomes a comparison.
注意，如果模式是绑定的变量，或者模式的元素是绑定的变量，那么模式匹配的结果就会变成比较。
The @Factory annotation attaches a method to the creation process of an outjected variable, specified in the value of the annotation, when that variable has no value bound to it.
@Factory 注释向已提取变量的创建过程 附加了一个方法，这是在注释的值中指定的，当该变量没有绑定任何值时就会使 用该方法。
应用推荐