Record codecs, Flink formats and codec-specific SQL generation.