Агрегация покрытия
Конвой судов определенно является некоторым видом агрегации. Однако это не абстракция путем декартовой агрегации, так же как и не абстракция путем обобщения (суда не являются ни экземплярами, ни подтипами конвоев). Хаммер (Hammer) и Маклеод (McLeod) [15] включили этот вид агрегации в свою модель, и мы используем их пример.
Рис. 9. Агрегация покрытия и обобщение
Рассмотрим базу данных, которая отслеживает свойства отдельных судов и конвоев. Когда вставляется информация о новом судне, обычно не известно, в каких конвоях это судно будет участвовать (и будет ли участвовать вообще). Рис. 9 должен прояснить характерные аспекты этого вида агрегации. Тип покрытия (cover type) CONVOY означает, что эта база данных отслеживает конвои вообще. CONVOY ALPHA – это конкретный конвой, один из нескольких существующих в настоящее время. SAUCY SUE – название судна, которому довелось быть в конвое CONVOY ALPHA. Имеется, кроме того, некоторый подконвой конвоя ALPHA, которому SAUCY SUE также принадлежит. Заметим, что включение SUBCONVOY в CONVOY ALPHA не является обобщением, основанным на включении (SUBCONVOY является экстенсионально, а не интенсионально определенным подмножеством ALPHA). Более того, принадлежность SAUCY SUE конвою CONVOY ALPHA не является обобщением, основанным на принадлежности множеству (SAUCY SUE – это не конкретный конвой или вид конвоя).
В примере конвоя оказывается, что судно обычно не может быть элементом двух конвоев одновременно. Если мы считаем одиночные суда единичными конвоями, то понятие CONVOY осуществляет разбиение класса судов. Непересекаемость конвоев не переносится на все другие примеры агрегации покрытия. Так, рассмотрим вместо судов и конвоев людей и клубы: люди могут принадлежать многим разным клубам одновременно. Таким образом, этот тип агрегации, вообще говоря, образует покрытие, а не разбиение – отсюда его название.
Типовый состав покрытия может быть или не быть однородным по типам. Например, отряд особого назначения может состоять из судов, самолетов, танков и персонала.
Каждый тип агрегации покрытия интерпретируется RM/T как тип сущностей, имеющий обычное E-отношение, а также, возможно, P-отношения и подчиненные характеристические отношения. Например, в случае типа покрытия CONVOY в E-отношении регистрировались бы суррогаты для существующих конвоев, а в P-отношении и характеристических отношениях – свойства каждого конвоя, рассматриваемого как единичный родовой объект.
Хотя и можно интерпретировать каждый элемент покрытия как индивидуальный тип сущностей, обычно это не является необходимым или желательным. Принадлежность индивидуальных сущностей (судов) некоторому элементу покрытия (конкретному конвою) представляется графовым отношением, определенным на E-домене очевидным образом.
Чтобы дать системе возможность контролировать ввод элементов элементов покрытия, мы вводим отношение принадлежности покрытию (couer membership relation, KG-отношение) – графовое отношение на RN-домене, которое указывает для каждого типа агрегации покрытия допустимые типы, которые могут стать элементами элементов покрытия (например, только ли суда допускаются в составе конвоев или допускаются также и самолеты?).
