Философское отступление. 
Априорная модель данных в реляционных базах

априорная модель реляционный база.

Наименование «аксиоматика» следует понимать метафорически, формальность правил обусловлена их программной реализацией, однако эта аксиоматизация задает достаточно грубую модель мира. Априорность такой модели понимается в том смысле, что данные правила не модифицирутся системой в процессе ее работы. Все уточнения модели мира, формируемые системой путем сканирования ЕЯ-текстов, образуют надстройку над базовой (априорной) моделью. Последовательное проведение этого принципа ведет к важным результатам.

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

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

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

Таким образом наивная модель мира, отражая непосредственное восприятие действительности человеком, существенно уточняется «надстроечной» моделью в виде физических теорий. Проектируемая в системе модель предполагает такое же соотношение априорной модели и модели, формируемой из «внешнего мира» — мира ЕЯ-текстов.

С чисто прикладной точки важно зрения важно, чтобы объекты, свойства и отношения имели описание их представления в базе данных, т. е. таблиц, полей и значений. Однако помимо такого, важного, но в целом утилитарного описания, важно иметь описание объектов на высоком понятийном уровне. Будем пока говорить в основном о физических объектах. Дискретизация на объекты в физическом мире в первом приближении существенно опирается на различие в физических свойствах и способности изменять положение в пространстве. Условность такой дискретизации обусловлена нашим восприятием мира с помощью органов чувств, если бы мы видели мир на молекулярном уровне, то наша дискретизация на объекты существенно бы изменилась.

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

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

Свойства объектов привносятся человеком, ибо в конечном счете они важны для его выживания (твердый/мягкий, быстрый/медленный, сильный/слабый и т.). Аналогичное можно сказать и об отношениях (больше/меньше, скреплены, рядом/далеко, справа/слева и т. д.). Аксиоматика этих отношений (транзитивность, симметричность и т. п.) в конечном счете обусловлена физическими причинами, именно они (а не абстракции!) определяют фундаментальные свойства мира.