diff options
author | Kelly Rauchenberger <fefferburbia@gmail.com> | 2017-01-21 19:00:45 -0500 |
---|---|---|
committer | Kelly Rauchenberger <fefferburbia@gmail.com> | 2017-01-21 19:00:45 -0500 |
commit | 9423ab7f075afd3e1501a2d1438fc8330811e40e (patch) | |
tree | 71f1b207711907aad2e02643838eb2e479714526 /lib/lemma.h | |
parent | 2a1f319b37dc3af45c136bfdc9226515c2fefaf2 (diff) | |
download | verbly-9423ab7f075afd3e1501a2d1438fc8330811e40e.tar.gz verbly-9423ab7f075afd3e1501a2d1438fc8330811e40e.tar.bz2 verbly-9423ab7f075afd3e1501a2d1438fc8330811e40e.zip |
Fixed statement generation involving negative subqueries
Previously, we generated negative subqueries by integrating them into the main statement normally, and then making the connecting join be a LEFT JOIN instead of an INNER JOIN, and by adding a condition that the join column be NULL. The problem with this is that if the top table of the subquery joins against any other table (which join throughs always do), then no rows will be returned. This was solved by putting the subquery into a CTE and then LEFT JOINing as before with the CTE.
Diffstat (limited to 'lib/lemma.h')
0 files changed, 0 insertions, 0 deletions