[SPARK-25708] HAVING without GROUP BY means global aggregate

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 2.0.2, 2.1.3, 2.2.3, 2.3.4, 2.4.0
• Fix Version/s: 2.4.0
• Component/s: SQL
• Labels: correctness release-notes
• Target Version/s: 2.4.0
• Assignee: Wenchen Fan
• Reporter: Wenchen Fan
• Created: 11/Oct/18 11:51
• Updated: 05/Jan/21 23:51
• Resolved: 12/Oct/18 07:26

Description

According to the SQL standard, when a query contains `HAVING`, it indicates an aggregate operator. For more details please refer to https://blog.jooq.org/2014/12/04/do-you-really-understand-sqls-group-by-and-having-clauses/

However, in Spark SQL parser, we treat HAVING as a normal filter when there is no GROUP BY, which breaks SQL semantic and lead to wrong result. This PR fixes the parser.

Issue Links

• is related to: SPARK-34012 Keep behavior consistent when conf `spark.sql.legacy.parser.havingWithoutGroupByAsWhere` is true with migration guide
• links to: [Github] Pull Request #22696 (cloud-fan)
• links to: [Github] Pull Request #31039 (AngersZhuuuu)
• links to: [Github] Pull Request #31039 (AngersZhuuuu)
• links to: GitHub Pull Request #22696