refactor Database#<< spec