search

maurer / holmes

Datalog engine with extensions for integrating analyses
MIT License
38 stars 4 forks source link

Invalid SQL Generation (Misordered Join) #10

Closed maurer closed 7 years ago

maurer commented 7 years ago 
rule!(succ(name, addr, next) <= link_pad(name, [_], tgt) & sema(name, addr, [_], next) & succ(name, addr, tgt))

generates invalid SQL due to a misordered join on tables.