Comment on Data structures as topological spaces (2002) [pdf]parentComments−iamwil2yFigure 5 kinda reminds me of...Datalog? Where you have rules and a data set. Given the rules, you iteratively compute on the data set until there are no more rules that match the given data--the fixed point.Is that right?−Verdex2yI think that's accurate except it looks like you need to manually continue the applications of your transform.It looks like they've got a pure functional thing going on.
Comments
Figure 5 kinda reminds me of...Datalog? Where you have rules and a data set. Given the rules, you iteratively compute on the data set until there are no more rules that match the given data--the fixed point.
Is that right?
I think that's accurate except it looks like you need to manually continue the applications of your transform.
It looks like they've got a pure functional thing going on.