ProfileCache get_profile_cache(string db_name)
Returns a ProfileCache for the profiles stored in the database db_name .