history_database::statinfo()