Что есть ОО-модель данных? (И есть ли она вообще??? :)

Цитат из недописанного :)

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

Отделив реализацию типа от его спецификации, можно понять принципиальное различие между ОО-парадигмой и моделью данных - любой, в том числе и реляционной. Модель данных определяется как совокупность множества типов, множества операций над экземплярами типов и множество применимых к ним ограничений. Таким образом, модель данных вводит конечный набор типов (например, в реляционной модели единственным типом данных является отношение), и определяет их спецификацию. Заметим однако, что (по определению!) модель данных никак не ограничивает и не определяет способы реализации этих типов.

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

Например, предположим, что, используя ОО систему программирования, был создан класс "Абстрактная таблица", для которой определили набор методов, реализующих реляционные операторы. У этого класса существует два класса-наследника, а именно класс "Хранимая таблица" и класс "Вид". Конструкторы, создающие объекты этих класов, принимают в качестве параметров например выражения "CREATE TABLE" и "CREATE VIEW" соответственно….. и так далее. Фактически, набор классов, созданный с использованием ОО-средств, реализует тип, спецификация которого определяется в реляционной модели данных.

Таким образом, "модель данных" (в т.ч. реляционная) и ОО-парадигма - это ортогональные и несравнимые логические построения. Их можно соотнести между между собой так же, как соотносятся между собой спецификация и реализация типа.....

К середине лета доделаю...

2 Ermak

А можно я ничего пробовать не буду? Ну, по крайней мере до тех пор, пока Вы то, что я написал, внимательно не прочитаете...

2 Ermak
Значит надо читать ещё более внимательно и вдумчиво.
авторИ Вашу мысль про то что используя ОО подход можно написать например сервер реляционной СУБД....
Это не есть моя мысль. Это только пример. Мысль же заключается в том, что приставку "OO-" в принципе нельзя ставить рядом со словами "модель данных" . И по поводу сравнений - там есть даже специальная фраза про несравнимость.