Re: Monetdb user-defined optimizer pipeline