i think asami implemented the proper query algorithm
looks at the code, there’s not a lot of low level optimizations, but it is still much faster than datascript, meaning asami’s algorithms are correct, whereas datascript’s maybe too naive
e,g, i don’t remember seeing projection operation in datascript