Обсуждение

4D - это очень правильно в 15926 выбрано. Это действительно непривычно, но так же весьма актуально для поставленных задач, т.е. исключить противоречия в описаниях при развитии во времени. Собственно это можно сказать "стандартный" философский прием, и тем кто осваивает онтологии, рано или поздно придется с этим столкнуться :).

Это, кстати, один из затыков при описании ISO 24744: поскольку там речь идет об описании метода, то нужно правильно выбрать 4D-описание (т.е. разобраться, что там класс, что possible individual, что individual и т.д. -- при этом учесть "многовариантное будущее"). Думаю, vvagr подробнее расскажет, он как раз сейчас это копает. Еще крайне важно, что Matthew West указывает, что шестая нормальная форма и 4D тесно связаны. Это дает возможность при развитии проекта во времени (т.е. уточнении моделей, добавлении деталей, увеличении объема системы в ходе разработки) пополнять мегамодель инкрементально, не перебирая каждый раз всю базу данных. Так что это и на математику влияет.

Вот я и думаю, что надо все же мне себя заставить и засесть за описание 24744 в темплейтах :). Мэттью Уэст говорит вещи которые во мне глубоко откликаются, ибо я с подобными проблемами ранее сталкивался.

Я бы тут еще подчеркнул, что 4Д равно как и 6я нормальная форма очень противоречат программерскому багажу :). Потому как считается что надо все оптимизировать и не более чем в третье нормальной форме держать :). По этой причине, возможно что программеры - не очень хорошие кандидаты в дата-модельеры.

У меня с vvagr проблема: он все в максимально доступной нормальной форме держит, даже в "просто текстах для нубов". Поэтому он хорший кандидат в дата-модельеры :)

Насчет vvagr согласен :). Я кстати раньше задумывался над тулзой, которая бы как раз разрешала проблемы разного уровня нормализаций. Т.е. чтобы можно было иметь модель данных в высоких нормальных формах, но в конкретной БД держать данные в более низких нормализациях. И автоматизированно отслеживать несогласованности при изменениях.

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