[MariaDB discuss] Re: query optimization