- Notifications
You must be signed in to change notification settings - Fork5
Commit8759f17
committed
Performance improvements in cnfify(): get rid of exponential
space consumption in pull_args, and avoid doing the full CNF transform onoperands of operator clauses, where it's really not particularly helpful.This answers the TODO item about large numbers of OR clauses, at leastpartially. I was able to do a ten-thousand-OR-clause query with about20Mb memory consumption ... it took an obscenely long time, but it worked...1 parent85712da commit8759f17
1 file changed
+236
-249
lines changed0 commit comments
Comments
(0)