Having clause in correlated subquery cannot reference outer query attribute

Consider the following query:

SELECT * FROM customer WHERE EXISTS (
    SELECT COUNT(*) FROM transaction 
    GROUP BY transaction.customer_id 
    HAVING transaction.customer_id = customer.id);

This is giving the following error: Query 20190619_162521_08871_c8pm8 failed: line 1:172: '(transaction_sequence.customer_id = customer_sequence.id)' must be an aggregate expression or appear in GROUP BY clause

This example works for MariaDB/MySQL, PostgreSQL, MS SQL Server, and Oracle 12c. It is surprising that it fails for Presto.

The error is due to customer_sequence.id, which is an attribute referenced from the outer query. If I replace it with a constant, it works. Also, if I move the filter to the WHERE clause, it also works:

SELECT * FROM customer WHERE EXISTS (
    SELECT COUNT(*) FROM transaction
    WHERE transaction.customer_id = customer.id
    GROUP BY transaction.customer_id;

So it seems like there is a problem in handling of outer query attribute references in the having clause.

[bgedik]

@mbasmanova I would have liked to spend time on it, but unfortunately it is not possible at this time. This issue is not blocking me (I have a workaround), but I wanted to report it for the benefit of the community.

I am sure the issue can be fixed easily by someone who is knowledgeable about the Presto code base. Based on a quick look, it seems to me that this is a problem with the validation that is being done in AggregationAnalyzer.java.

[stale[bot]]

This issue has been automatically marked as stale because it has not had any activity in the last 2 years. If you feel that this issue is important, just comment and the stale tag will be removed; otherwise it will be closed in 7 days. This is an attempt to ensure that our open issues remain valuable and relevant so that we can keep track of what needs to be done and prioritize the right things.