formatted database.cpp