Re: [MonetDB-users] [Monetdb-developers] the database and index size