public Database getDatabase(final long dbid, final String server, final Session session) {
Database result = dbMap_.get(dbid);
if (result == null) {
String replid = getReplidFromLong(dbid);
DbDirectory dir = session.getDbDirectory(server);
result = dir.openDatabaseByReplicaID(replid);
dbMap_.put(dbid, result);
}
return result;
}