Re: [MonetDB-users] result cache?