Configuring and using database servers