А можна я сюда еще и своих тараканов добавлю?

модельные класы vs абстрактные типы данных

Похоже, что говоря об объектных классах и ООП иногда понимаются достаточно разные вещи:
a) Модельные классы объектов:
- иерархии уточняют свойства экземпляров подкласов через расширение;
- наследование и полиморфизм - методы суперкласса могут быть применены для экземпляров подкласса, результат выполнения может зависеть от того, были ли методы перекрыты в подклассе ("виртуальные методы");
- методы могут изменять внутреннее состояние.

б) Абстрактные типы данных:
- иерархии уточняют свойства значений подтипов через ограничение;
- нет методов (изменяющих значения), есть функции, которые порождают новые значения;
- наследование - функции, заданные для супертипа могут быть применены к значениям подтипа, результат определяется функцией супертипа.

0. Уточнение о терминах
АДТ ("значимые типы")- дальнейшее обобщение, тык скызать, "скалярных" типов данных, повседневные примеры - числа, строки, даты, сумма денег. Представляют сугубо абстрактные понятия, не обладающие поведением. Идентифицируются значением и только.

Модельные классы - модели динамических структур ["объектов реального мира"] записанные на ОО-языке. Хранят (скрыто) внутреннее состояние и могут изменять его, не теряя "идентифицируемости". Могут быть в отношении "is_a" (является) с другими классами через реализацию общего поведения (набора методов с одинаковыми сигнатурами, aka интерфейсов), отношении "has_a" со скалярами (семантика - "имеет свойство") и экземплярами модельных классов (семантика - "связан", "содержит"). Идентифицируются по OID.

1. Наследование
Пример - иерархия числовых классов
a) в Ruby:
б) "Естественный" АТД:

2. Изменение vs порождение.
Пример - список как объектный класс и как АТД.

а) Java-подобный класс и операции:
б) АТД:

3. Идентификация
В реальном мире, на самом деле, "объекты", действительно, "противостоят субъекту" (c) (шутка, конечно ), и выражается это в том, что каким бы общим набором не обладали два одновременно существующих объекта, иначе не отличимых, всегда есть одно свойство, по которому они различаются - пространственные координаты (о чем выше уже было сказано).

Для человека "реальные объекты" сохраняют самоидентичность себе в прошлом, несмотря на некоторые изменения в их состоянии, именно благодаря непрерывности истории их пространственно-временных координат. Некоторые разрывы, т.е. незнание, была ли эта история непрерывна, человеком устраняются либо дополнительными исследованиями ("Где вы были, когда старушку зарубили?" ), либо просто игнорируются в виду совпадения значений множества существенных характеристик.

При построении ИС с использованием модельных классов, пожалуй единственной заменой является использование OID для идентификации хранимых состояний объектов.

Но ищем-то мы объекты по набору значений существенных характеристик, посему и используются ключи и индексы.