Implement MySQL table names filtering in SQL, fix #105.

This allows returning only selected table names as early as possible
rather than post-filtering a possibly large result list.