読み取り専用。パスを除いたデータベースのファイル名。
return database.getTitle() + " (" + database.getFileName() + ")"
Java™ Database クラスの FileName プロパティ
式言語の @DbName