-
Notifications
You must be signed in to change notification settings - Fork 93
feat(isthmus): add dynamic function conversion for Substrait<->Calcite #457
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from 15 commits
9d60dc7
556847b
857fe2c
eeb97cd
f30b556
6d9cc2a
1a1bf47
834ab5e
8340cc5
6ba115f
e739184
838a0a7
32ae275
e4f656d
8d2b4ed
9b0c027
a9e7c60
2f6cd28
71fcdfc
ca3d967
142d372
74fd2e7
ec45173
6eedacd
b002d9b
fcf24bb
fc2d576
26c15dc
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,38 @@ | ||
| package io.substrait.isthmus; | ||
|
|
||
| import io.substrait.extension.DefaultExtensionCatalog; | ||
| import io.substrait.extension.SimpleExtension; | ||
| import io.substrait.isthmus.calcite.SubstraitOperatorTable; | ||
| import java.util.List; | ||
| import java.util.Locale; | ||
| import java.util.Set; | ||
| import java.util.stream.Collectors; | ||
|
|
||
| public class ExtensionUtils { | ||
|
|
||
| public static SimpleExtension.ExtensionCollection getDynamicExtensions( | ||
| SimpleExtension.ExtensionCollection extensions) { | ||
| Set<String> knownFunctionNames = | ||
| SubstraitOperatorTable.INSTANCE.getOperatorList().stream() | ||
| .map(op -> op.getName().toLowerCase(Locale.ROOT)) | ||
| .collect(Collectors.toSet()); | ||
|
|
||
| List<SimpleExtension.ScalarFunctionVariant> customFunctions = | ||
| extensions.scalarFunctions().stream() | ||
| .filter(f -> !knownFunctionNames.contains(f.name().toLowerCase(Locale.ROOT))) | ||
vbarua marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| .collect(Collectors.toList()); | ||
|
|
||
| return SimpleExtension.ExtensionCollection.builder() | ||
| .scalarFunctions(customFunctions) | ||
| // TODO: handle aggregates and other functions | ||
| .build(); | ||
| } | ||
|
|
||
| public static SimpleExtension.ExtensionCollection loadExtensions(List<String> yamlFunctionFiles) { | ||
| SimpleExtension.ExtensionCollection allExtensions = DefaultExtensionCatalog.DEFAULT_COLLECTION; | ||
| if (yamlFunctionFiles != null && !yamlFunctionFiles.isEmpty()) { | ||
| allExtensions = allExtensions.merge(SimpleExtension.load(yamlFunctionFiles)); | ||
| } | ||
| return allExtensions; | ||
| } | ||
|
||
| } | ||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,342 @@ | ||
| package io.substrait.isthmus; | ||
|
|
||
| import io.substrait.extension.SimpleExtension; | ||
| import io.substrait.function.ParameterizedType; | ||
| import io.substrait.function.ParameterizedTypeVisitor; | ||
| import io.substrait.function.TypeExpression; | ||
| import io.substrait.type.Type; | ||
| import io.substrait.type.TypeExpressionEvaluator; | ||
| import java.util.ArrayList; | ||
| import java.util.List; | ||
| import java.util.stream.Collectors; | ||
| import java.util.stream.Stream; | ||
| import org.apache.calcite.jdbc.JavaTypeFactoryImpl; | ||
| import org.apache.calcite.rel.type.RelDataType; | ||
| import org.apache.calcite.rel.type.RelDataTypeFactory; | ||
| import org.apache.calcite.sql.SqlFunction; | ||
| import org.apache.calcite.sql.SqlFunctionCategory; | ||
| import org.apache.calcite.sql.SqlKind; | ||
| import org.apache.calcite.sql.SqlOperator; | ||
| import org.apache.calcite.sql.SqlOperatorBinding; | ||
| import org.apache.calcite.sql.type.OperandTypes; | ||
| import org.apache.calcite.sql.type.SqlReturnTypeInference; | ||
| import org.apache.calcite.sql.type.SqlTypeFamily; | ||
| import org.apache.calcite.sql.type.SqlTypeName; | ||
|
|
||
| public final class SimpleExtensionToSqlOperator { | ||
|
|
||
| private static final RelDataTypeFactory DEFAULT_TYPE_FACTORY = | ||
| new JavaTypeFactoryImpl(SubstraitTypeSystem.TYPE_SYSTEM); | ||
|
|
||
| private SimpleExtensionToSqlOperator() {} | ||
|
|
||
| public static List<SqlOperator> from(SimpleExtension.ExtensionCollection collection) { | ||
| return from(collection, DEFAULT_TYPE_FACTORY); | ||
| } | ||
|
|
||
| public static List<SqlOperator> from( | ||
| SimpleExtension.ExtensionCollection collection, RelDataTypeFactory typeFactory) { | ||
| TypeConverter typeConverter = TypeConverter.DEFAULT; | ||
|
||
| return Stream.concat( | ||
| collection.scalarFunctions().stream(), collection.aggregateFunctions().stream()) | ||
vbarua marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| .map(function -> toSqlFunction(function, typeFactory, typeConverter)) | ||
| .collect(Collectors.toList()); | ||
| } | ||
|
|
||
| private static SqlFunction toSqlFunction( | ||
| SimpleExtension.Function function, | ||
| RelDataTypeFactory typeFactory, | ||
| TypeConverter typeConverter) { | ||
|
|
||
| List<SqlTypeFamily> argFamilies = new ArrayList<>(); | ||
|
|
||
| for (SimpleExtension.Argument arg : function.requiredArguments()) { | ||
| if (arg instanceof SimpleExtension.ValueArgument) { | ||
| SimpleExtension.ValueArgument valueArg = (SimpleExtension.ValueArgument) arg; | ||
| SqlTypeName typeName = valueArg.value().accept(new CalciteTypeVisitor()); | ||
|
||
| argFamilies.add(typeName.getFamily()); | ||
| } else if (arg instanceof SimpleExtension.EnumArgument) { | ||
| // Treat an EnumArgument as a required string literal. | ||
| argFamilies.add(SqlTypeFamily.STRING); | ||
ZorinAnton marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| } | ||
| } | ||
|
|
||
| SqlReturnTypeInference returnTypeInference = | ||
| new SubstraitReturnTypeInference(function, typeFactory, typeConverter); | ||
|
|
||
| return new SqlFunction( | ||
| function.name(), | ||
| SqlKind.OTHER_FUNCTION, | ||
| returnTypeInference, | ||
| null, | ||
| OperandTypes.family(argFamilies), | ||
vbarua marked this conversation as resolved.
Show resolved
Hide resolved
|
||
| SqlFunctionCategory.USER_DEFINED_FUNCTION); | ||
| } | ||
|
|
||
| private static class SubstraitReturnTypeInference implements SqlReturnTypeInference { | ||
|
|
||
| private final SimpleExtension.Function function; | ||
| private final RelDataTypeFactory typeFactory; | ||
| private final TypeConverter typeConverter; | ||
|
|
||
| private SubstraitReturnTypeInference( | ||
| SimpleExtension.Function function, | ||
| RelDataTypeFactory typeFactory, | ||
| TypeConverter typeConverter) { | ||
| this.function = function; | ||
| this.typeFactory = typeFactory; | ||
| this.typeConverter = typeConverter; | ||
| } | ||
|
|
||
| @Override | ||
| public RelDataType inferReturnType(SqlOperatorBinding opBinding) { | ||
| List<Type> substraitArgTypes = | ||
| opBinding.collectOperandTypes().stream() | ||
| .map(typeConverter::toSubstrait) | ||
| .collect(Collectors.toList()); | ||
|
|
||
| TypeExpression returnExpression = function.returnType(); | ||
| Type resolvedSubstraitType = | ||
| TypeExpressionEvaluator.evaluateExpression( | ||
| returnExpression, function.args(), substraitArgTypes); | ||
|
|
||
| boolean finalIsNullable; | ||
| switch (function.nullability()) { | ||
| case MIRROR: | ||
| // If any input is nullable, the output is nullable. | ||
| finalIsNullable = | ||
| opBinding.collectOperandTypes().stream().anyMatch(RelDataType::isNullable); | ||
| break; | ||
| case DISCRETE: | ||
| // The function can return null even if inputs are not null. | ||
| finalIsNullable = true; | ||
|
||
| break; | ||
| case DECLARED_OUTPUT: | ||
| default: | ||
| // Use the nullability declared on the resolved Substrait type. | ||
| finalIsNullable = resolvedSubstraitType.nullable(); | ||
| break; | ||
| } | ||
|
|
||
| RelDataType baseCalciteType = typeConverter.toCalcite(typeFactory, resolvedSubstraitType); | ||
|
|
||
| return typeFactory.createTypeWithNullability(baseCalciteType, finalIsNullable); | ||
| } | ||
| } | ||
|
|
||
| private static class CalciteTypeVisitor | ||
| extends ParameterizedTypeVisitor.ParameterizedTypeThrowsVisitor< | ||
| SqlTypeName, RuntimeException> { | ||
|
|
||
| private CalciteTypeVisitor() { | ||
| super("Type not supported for Calcite conversion."); | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.Bool expr) { | ||
| return SqlTypeName.BOOLEAN; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.I8 expr) { | ||
| return SqlTypeName.TINYINT; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.I16 expr) { | ||
| return SqlTypeName.SMALLINT; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.I32 expr) { | ||
| return SqlTypeName.INTEGER; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.I64 expr) { | ||
| return SqlTypeName.BIGINT; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.FP32 expr) { | ||
| return SqlTypeName.FLOAT; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.FP64 expr) { | ||
| return SqlTypeName.DOUBLE; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.Str expr) { | ||
| return SqlTypeName.VARCHAR; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.Binary expr) { | ||
| return SqlTypeName.VARBINARY; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.Date expr) { | ||
| return SqlTypeName.DATE; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.Time expr) { | ||
| return SqlTypeName.TIME; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.TimestampTZ expr) { | ||
| return SqlTypeName.TIMESTAMP_WITH_LOCAL_TIME_ZONE; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.Timestamp expr) { | ||
| return SqlTypeName.TIMESTAMP; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.IntervalYear year) { | ||
| return SqlTypeName.INTERVAL_YEAR_MONTH; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.IntervalDay day) { | ||
| return SqlTypeName.INTERVAL_DAY; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.UUID expr) { | ||
| return SqlTypeName.VARCHAR; | ||
|
||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.Struct struct) { | ||
| return SqlTypeName.ROW; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.ListType listType) { | ||
| return SqlTypeName.ARRAY; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(Type.Map map) { | ||
| return SqlTypeName.MAP; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.FixedChar expr) { | ||
| return SqlTypeName.CHAR; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.VarChar expr) { | ||
| return SqlTypeName.VARCHAR; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.FixedBinary expr) { | ||
| return SqlTypeName.BINARY; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.Decimal expr) { | ||
| return SqlTypeName.DECIMAL; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.Struct expr) { | ||
| return SqlTypeName.ROW; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.ListType expr) { | ||
| return SqlTypeName.ARRAY; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.Map expr) { | ||
| return SqlTypeName.MAP; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.PrecisionTimestamp expr) { | ||
| return SqlTypeName.TIMESTAMP; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.PrecisionTimestampTZ expr) { | ||
| return SqlTypeName.TIMESTAMP_WITH_LOCAL_TIME_ZONE; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.PrecisionTime expr) { | ||
| return SqlTypeName.TIME; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.IntervalDay expr) { | ||
| return SqlTypeName.INTERVAL_DAY; | ||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.IntervalCompound expr) { | ||
| // TODO: double check | ||
| return SqlTypeName.INTERVAL_DAY_HOUR; | ||
|
||
| } | ||
|
|
||
| @Override | ||
| public SqlTypeName visit(ParameterizedType.StringLiteral expr) { | ||
| String type = expr.value().toUpperCase(); | ||
|
|
||
| if (type.startsWith("ANY")) { | ||
| return SqlTypeName.ANY; | ||
| } | ||
|
|
||
| switch (type) { | ||
| case "BOOLEAN": | ||
| return SqlTypeName.BOOLEAN; | ||
| case "I8": | ||
| return SqlTypeName.TINYINT; | ||
| case "I16": | ||
| return SqlTypeName.SMALLINT; | ||
| case "I32": | ||
| return SqlTypeName.INTEGER; | ||
| case "I64": | ||
| return SqlTypeName.BIGINT; | ||
| case "FP32": | ||
| return SqlTypeName.FLOAT; | ||
| case "FP64": | ||
| return SqlTypeName.DOUBLE; | ||
| case "STRING": | ||
| return SqlTypeName.VARCHAR; | ||
| case "BINARY": | ||
| return SqlTypeName.VARBINARY; | ||
| case "TIMESTAMP": | ||
| return SqlTypeName.TIMESTAMP; | ||
| case "TIMESTAMP_TZ": | ||
| return SqlTypeName.TIMESTAMP_WITH_LOCAL_TIME_ZONE; | ||
| case "DATE": | ||
| return SqlTypeName.DATE; | ||
| case "TIME": | ||
| return SqlTypeName.TIME; | ||
| case "UUID": | ||
| return SqlTypeName.VARCHAR; | ||
|
||
| default: | ||
| if (type.startsWith("DECIMAL")) { | ||
| return SqlTypeName.DECIMAL; | ||
| } | ||
| if (type.startsWith("STRUCT")) { | ||
| return SqlTypeName.ROW; | ||
| } | ||
| if (type.startsWith("LIST")) { | ||
| return SqlTypeName.ARRAY; | ||
| } | ||
| return super.visit(expr); | ||
| } | ||
| } | ||
| } | ||
| } | ||
Uh oh!
There was an error while loading. Please reload this page.