|
Size: 434
Comment:
|
← Revision 3 as of 2004-11-07 19:24:21 ⇥
Size: 444
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 5: | Line 5: |
| A fixed point of a recursive algorithm 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. | 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
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