M> Понятие "Отношения" в БД тождественно понятию "таблица", которая так
M> и называется реляция. Математически отношения определяются на
M> множествах, а не на классах. Математика вообще работает со
M> множествами, а не с классами. Реляционные базы данных имеют строгую
M> математическую основу, не имеющую ничего общего с ООП. В Объектных
M> базах данных Объекты и классы навешиваются только как надстройка над
M> реляционной базой или с прямым нарушением реляционных принципов,
M> причем без строгого математического обоснования, т.к. такового
M> просто не может существовать. Нестрогое, может быть, но оно вам
M> надо?

Если вдаваться в математику метаматематики, логику и философию, то основа -
это понятие. У понятия есть
1) концепт, т.е. его интенсиональное описание (аналог описания класса),
2) денотат или расширение или экстенсионал (аналог множества экземпляров).

M> Почему не может? Очень просто.
M>
M> Множества могут реально существовать в природе как наборы
M> экземпляров классов. Например, экземпляры "камней" могут находиться
M> в отношении "лежать на" поверхности экземпляра "планета". Причем это
M> отношение не нарушается, даже если понятия "камни", "лежать на" и
M> "планета" не существуют и не существует субъекта который эти понятия
M> использует. Объективность отношений между экземплярами определяется
M> самой природой вещей.
M>
M> Сами Классы ( "Камни", "Планета" ), а также их свойства и отношения
M> не существуют в природе, а существуют только как часть модели мира в
M> сознании субъекта. Эта модель гарантированно не полна,
M> гарантированно противоречива и субъективна, т.е. зависит от точки
M> зрения субъекта. Соотвественно, они не могут быть обоснованы строго
M> математически. Принципы выделения классов сугубо практические. Для
M> человека это способ сократить многообразие воспринимаемой
M> действительности до обозримого множества сущностей.

Говоря языком теории моделей, субьект строит теорию, которая может быть
неполна или противоречива. Модель - это интерпретация, в которой все формулы
теории истины. Противоречивая теория не может иметь модели. Интерпретация,
действительно, может быть неформальной и субьективной. Однако теория - вещь
строго математическая.

Реляционная база данных может быть рассмотрена как теория, т.е. множество
формул логики, довольно строгая. Модель - тот фрагмент реального мира,
который описывает эта теория.

Теория на основе классов - менее строгая. И так далее...


Posted via ActualForum NNTP Server 1.4