Assertions for database