[FLINK-13773] Rework of the Expression Design

• Type: Improvement
• Status: Closed
• Priority: Not a Priority
• Resolution: Implemented
• Fix Version/s: 1.19.0
• Component/s: Table SQL / API
• Labels: auto-deprioritized-major auto-deprioritized-minor
• Assignee: Dawid Wysakowicz
• Reporter: Jingsong Lee
• Created: 19/Aug/19 13:21
• Updated: 29/Nov/23 14:55
• Resolved: 29/Nov/23 14:55

Description

This JIRA addresses several shortcomings of current:
   - New Expressions still use PlannerExpressions to type inference and
to RexNode. Flnk-planner and blink-planner have a lot of repetitive code
 and logic.
   - Let TableApi and Cacite definitions consistent.
   - Reduce the complexity of Function development.
   - Powerful Function for user.
 
Key changes can be summarized as follows:
   - Improve the interface of FunctionDefinition.
   - Introduce type inference for built-in functions.
   - Introduce ExpressionConverter to convert Expression to calcite
RexNode.
   - Remove repetitive code and logic in planners.
 
Details: https://cwiki.apache.org/confluence/display/FLINK/FLIP-51%3A+Rework+of+the+Expression+Design

Issue Links

• is related to: FLINK-12251 Rework the Table API & SQL type system

Sub-Tasks

• Expression DSL use should resolve Expressions in blink: Resolved
• Refactor ExpressionConverter(RexNodeConverter) in blink: Resolved
• Introduce new interfaces to BuiltInFunctionDefinition: Closed
• Introduce sql function wrappers and conversion to ExpressionConverter: Closed
• Introduce ExpressionConverter to legacy planner: Closed
• Use new Expression in RexNodeToExpressionConverter: Closed
• Implement type inference for logic functions: Closed
• Implement type inference for string functions: Closed
• Implement type inference for math functions: Closed
• Can not use index to convert FieldReferenceExpression to RexNode: Closed
• Implement type inference for ROW/ARRAY/MAP constructors: Closed
• Implement type inference for AS: Closed
• Add a new test base for evaluating expressions: Closed
• Implement type inference for CAST: Closed
• Implement type inference for agg functions: Closed
• Implement type inference for time functions: Closed
• Implement type inference for functions on composite types: Closed
• Implement type inference for other functions: Closed
• Remove PlannerExpression and related: Closed
• Remove old expression stack leftovers for time functions: Closed
• Implement type inference for Over function: Closed
• Implement type inference for window properties functions: Closed
• Implement type inference for reinterpret_cast function: Closed
• Port PROCTIME/ROWTIME functions to the new inference stack: Closed
• Implement type inference for IN function: Closed
• Implement type inference for order(asc/desc) function: Closed
• Implement type inference for Agg functions: Closed