Implement function _database_file()