Back to ComputerTerms

A fixed point of a function f is x such that f(x) = x. The LeastFixedPoint is the smallest x such that f(x) = x.

A fixed point of a recursive datalog query is a point where no new "facts" are found.

This implies that if you have several rules in which some are recursive, you may have to come back to those rules again and again until no new data is found throughout your set of rules.

Back to ComputerTerms

FixedPoint (last edited 2004-11-07 19:24:21 by yakko)