tests for Database class