Open quoll opened 3 years ago
Ticket #182 demonstrated that chain walking for transitive closures is not appropriate. This needs to be done on disk as well.
Check that [? :v ?] works correctly on disk (it was wrong in memory).
[? :v ?]
Update [? :v :v] and [:v :v ?] to use the the [? :v ?] algorithm.
[? :v :v]
[:v :v ?]
Ticket #182 demonstrated that chain walking for transitive closures is not appropriate. This needs to be done on disk as well.
Check that
[? :v ?]
works correctly on disk (it was wrong in memory).Update
[? :v :v]
and[:v :v ?]
to use the the[? :v ?]
algorithm.