bound variable

bound variable

[¦bau̇nd ′ver·ē·ə·bəl]
(mathematics)
In logic, a variable that occurs within the scope of a quantifier, and cannot be replaced by a constant.

bound variable

(1)
A bound variable or formal argument in a function definition is replaced by the actual argument when the function is applied. In the lambda abstraction

\ x . M

x is the bound variable. However, x is a free variable of the term M when M is considered on its own. M is the scope of the binding of x.

bound variable

(2)
In logic a bound variable is a quantified variable. See quantifier.
References in periodicals archive ?
contains as field constraint a bound variable, called declaration.
c is a bound variable to the Cheese pattern in the LHS of the rule.
The core of an XML-QL query consists of a WHERE clause that binds one or more variables, and a CONSTRUCT clause that uses the values of the bound variables to construct a new document, possibly having a structure quite different from that of the original document(s).