ГОСТ Р ИСО 13584-25—2010
SELRaggregate_value.values: LIST OF primitive_value:
min: OPTIONAL INTEGER:
max: OPTIONAL INTEGER:
WHERE
WR1: NOT EXISTS (min) OR NOT EXISTS (max) OR (min <= max);
WR2: VALUE_UNIQUE(values);
END_ENTITY;
(*
Определение атрибутов:
values: список, включающий всебя все значения множества, из которого могут быть выделены под
множества.
min: минимальный размер подмножеств, которые могут быть выделены,
max: максимальный размер подмножеств, которые могут быть выделены.
Формальные положения:
WR1: минимальный размер подмножеств min не может быть больше максимального размера под
множеств max.
WR2: все значения всписке values должны быть уникальными: повторяющиеся значения недопу
стимы.
7.3 IS013584_aggrogate_value_schema: определение правил
7.3.1 Правило allowed_aggregate_values
Правило allowed_aggregate_values гарантирует, что любое значение свойства property_value
совместимо с типом данных этого свойства даже в том случае, если этот тил данных является
агрегированным.
Спецификация EXPRESS:
*)
RULEallowed_aggregate_valuesFOR (property_vaiue,entity instance_type_for_aggregate).
WHERE
WR1:QUERY (prop <* property_value | NOT(compatible_complete_types_and_value (
prop.prop_def, prop.its_value))) =[);
END_RULE;--allo\ved_aggregate values
c
Формальные положения:
WR1: все значения, ассоциируемые с proporty_valuo посредством атрибута its_value. совместимы
с типом данных, который определен атрибутом prop_def. ассоциируемым со свойством базовой семанти
ческой единицы property_BSU, описываемой property_value.
7.4 IS013584_aggregate_value_schoma: определение функций
7.4.1 Функция compatible_complete_types_and_value
Функция compatible_complote_types_and_value дополняет определенную в ИСО 13584-24 функ
цию compatible_type_and_value проверкой всех типов данных, определенных в данном расширении.
Данная функцияобеспечивает проверкусоответствия агрегированныхзначений ихтипуданных.
Если значение, ассоциированное с каким-либо свойством, не является агрегированным, вызывают
функцию compatiblo_type_and_value. в противном случае — функцию compatible_aggregate_domain_
and_aggregate_value.
Спецификация EXPRESS:
*)
FUNCTION compatible_complete_types_and_value(dom: property_or_data_type_BSU:
val: primitive_value): LOGICAL,
IF (data_type_typeof(dom) = ())
THEN
RETURN(UNKNOWN);
ENDJF:
- - checking that values are primitive values but are not aggregate
- - values.
14