bound variable

Also found in: Wikipedia

0.01 sec.

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.

1.		bound variable - 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.
2.		bound variable - In logic a bound variable is a quantified variable. See quantifier.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			c is a bound variable to the Cheese pattern in the LHS of the rule. On interchange between Drools and Jess by Nicolae, Oana; Giurca, Adrian; Wagner, Gerd / Informatica 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). Quilt--an XML query language by Floescu, Daniela / Software World			Boulton, Matthew Boumedienne, Houari Boumédienne, Houari Boun Phan Vet bounce bounce cast bounce dive bounce message bounce rate bounce table bounced e-mail bounced message bouncing Bet bouncing putty bound bound barrel Bound Brook bound charge bound electron bound glue state bound level bound particle Bound State bound symbol bound symbol sequence bound variable bound vector Bound Vortex bound water Boundaries, Delimitation of Boundaries, Demarcation of Boundary boundary condition Boundary Content Boundary County boundary error boundary friction Boundary Layer boundary line boundary lubrication boundary map boundary marker Boundary Markers boundary monument boundary of a set Boundary Peak boundary pillar boundary point Boundary Point of a Set boundary router Boundary Routing			bound off bound off bound off bound off Bound over Bound Over to Circuit Court Bound particle Bound Printed Matter Bound Rate Bound Rates Bound state Bound state Bound states Bound states bound symbol bound symbol sequence Bound Tariff Bound Tariffs bound to bound to do bound to respond bound together bound up bound up bound up bound up bound up bound up in bound up in bound up with bound variable Bound vector Bound Volume Magneto-Static Wave Bound Vortex bound water bound water bound water bound water bound water Bound Word Inc. Bound-Free Pair Production boundaries boundaries boundaries boundaries boundaries Boundaries and Survey Maps Act Boundaries, Delimitation of Boundaries, Demarcation of boundary boundary boundary boundary boundary boundary Boundary (topology) Boundary Access Node Boundary agreement Boundary agreement Boundary agreement Boundary agreement

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.