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