empty_database procedure.