A user can mine a database