Re: [MonetDB-users] shrinking BATs and distributed/streaming MonetDB