ハッシュ結合(Hash Join)において、ハッシュテーブルがメモリ(work_mem)に収まらない場合、ハッシュテーブルはどう分割されるか。

バッチ(Batch)に分割され、ディスクに一時退避される