We haven't had the need for that application yet, but it's certainly possible -- that's why declarative specifications are great :)
I haven't heard of SecDB, but I'll definitely check it out -- thanks!
I haven't heard of SecDB, but I'll definitely check it out -- thanks!
P.S. As I understand it all the graphs are dags. In my line of work (which involves doing stuff at the interface of probability and statistics) there are quite a few recursive functions that are difficult to unroll explicitly, or are otherwise undesirable to unroll for the purposes of readability. Can we expect to see circular dependencies at some point. Well, I know, the halting problem and all, but still...