Без заголовка

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