Push down temporal filters for TIMESTAMP WITH TIME ZONE columns on Delta Lake

[findinpath]

Add the ability to subsume temporal filter expressions which can be subsumed to be performed on the parquet row group level over even on the metadata level instead of being applied for each row retrieved.

CAST("event_date" AS DATE) < DATE '2023-03-03')

is equivalent to

event_date < TIMESTAMP 2023-03-03 00:00:00.000000 UTC`

(still to be verified - delta.parquet.time-zone setting may play out a role in the translation of the expression above)

In a similar fashion as it is done for Iceberg with Iceberg on

trino/plugin/trino-iceberg/src/test/java/io/trino/plugin/iceberg/BaseIcebergConnectorTest.java

Lines 1934 to 1960 in cac5b0f

	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE d >= DATE '2015-05-15'"))
	.isFullyPushedDown();
	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE CAST(d AS date) >= DATE '2015-05-15'"))
	.isFullyPushedDown();
	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE d >= TIMESTAMP '2015-05-15 12:00:00 UTC'"))
	.isFullyPushedDown();
	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE d >= TIMESTAMP '2015-05-15 12:00:00.000001 UTC'"))
	.isNotFullyPushedDown(FilterNode.class);
	// date()
	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE date(d) = DATE '2015-05-15'"))
	.isFullyPushedDown();
	// year()
	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE year(d) = 2015"))
	.isFullyPushedDown();
	// date_trunc
	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE date_trunc('hour', d) = TIMESTAMP '2015-05-15 12:00:00.000000 UTC'"))
	.isFullyPushedDown();
	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE date_trunc('day', d) = TIMESTAMP '2015-05-15 00:00:00.000000 UTC'"))
	.isFullyPushedDown();
	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE date_trunc('month', d) = TIMESTAMP '2015-05-01 00:00:00.000000 UTC'"))
	.isFullyPushedDown();
	assertThat(query("SELECT * FROM test_hour_transform_timestamptz WHERE date_trunc('year', d) = TIMESTAMP '2015-01-01 00:00:00.000000 UTC'"))
	.isFullyPushedDown();

add similar logic (either on the engine or on Delta Lake connector DeltaLakeMetadata#applyFilter() method) for being able to subsume such filters.

See how it is done on the Iceberg connector:

trino/plugin/trino-iceberg/src/main/java/io/trino/plugin/iceberg/ConstraintExtractor.java

Lines 182 to 196 in cac5b0f

	private static Optional<Domain> unwrapTimestampTzToDateCast(IcebergColumnHandle column, FunctionName functionName, long date)
	{
	Type type = column.getType();
	checkArgument(type.equals(TIMESTAMP_TZ_MICROS), "Column of unexpected type %s: %s", type, column);
	// Verify no overflow. Date values must be in integer range.
	verify(date <= Integer.MAX_VALUE, "Date value out of range: %s", date);
	// In Iceberg, timestamp with time zone values are all in UTC
	LongTimestampWithTimeZone startOfDate = LongTimestampWithTimeZone.fromEpochMillisAndFraction(date * MILLISECONDS_PER_DAY, 0, UTC_KEY);
	LongTimestampWithTimeZone startOfNextDate = LongTimestampWithTimeZone.fromEpochMillisAndFraction((date + 1) * MILLISECONDS_PER_DAY, 0, UTC_KEY);
	return createDomain(functionName, type, startOfDate, startOfNextDate);
	}