Last time I checked, mmap breaks down for files with compression. This is understandable because the compressed buffers clearly can't be re-interpreted without inflation.
But the larger the file is more likely to be compressed, can we decompress only a single "row group" (and only the relevant columns, of course) on the fly yet? -- this is for the case when a user is doing per-row iteration
if user access the table by tbl[range, range], then clearly, we might need to read more than one row-group and chop off head/tails depending on where the overlap is