Без заголовка
/// Почему мир не моделируют в этих типах, а моделируют только обработки внутри БД?! ///
ИМХО если бы все креативили в Wolfram'е, то типизировали бы всё подряд, поскольку там оно достигается в известной мере бесплатно.
Кстати, помимо типа/класса, есть и другие аффиксы модельных объектов— scope, reliability, affinity, integrity, могу ещё добавлять.