Если второе, речь не о типах, а о наборах входных данных, которые ведут себя одинаково. При чем даже речь не о про ожидаемое поведение, а скорее про реальное поведение программы
Т.е. если в кусок программы входят данные. А выходом являеться запись этих данных в БД, то классом эквивалентности будет - способность добавить новую запись в БД?
Тут важный момент, что запись в базу может происходить в разных случаях, покрытых разными требованиями. И возможно, ожидается что программа может некорректно работать в некоторых ситуациях, тогда классы эквивалентности придется дробить
Проверка типов происходит в другом куске программы, поэтому считаеться что в том куске который мне нужен, данные верны и их нужно только записать в БД. как я понял исходя из этого надо проверить только способность записи. Я так думаю=/