ГОСТ Р ИСОГГС 10303-1654—2014
EXPRESS-слецификация.
*>
ENTITY Characteristic_data_column_header_link
SUBTYPE OF (Independent_property_relationship);
SELF\Independent_property_relationship.relating RENAMED prece
dent :
Characteristic_data_column_heaaer;
SELF\Independent_property_relationship.related RENAMED subse
quent :
Characteristic_data_column_header;
DERIVE
SELF\Independent_property_relationship.relation_type : STRING :=
subsequent;
<> precedent;
’sequence’;
UNIQUE
UR1:precedent,
WHERE
WR1: subsequent
END_ENTITY;
(*
Определения атрибутов
precedent - определяет объект Characteristic_data_column_header. представляющий заголо
вок предыдущей графы таблицы;
subsequent - определяет объект Characteristic_data_column_header. представляющий заго
ловок следующей графы таблицы;
relation_type - атрибут, унаследованный от объекта lndependent_property_relationship, дол
жен быть переобъявлем для объекта Characteristic_data_column_ headerjink со значением, пред
ставленным строкой ’sequence (последовательность)’.
Формальные утверждения
UR1 - комбинация атрибутов precedent и subsequent должна быть уникальной среди представи
телей объекта Characteristic_data_coIumn_headerJink;
WR1 - значение атрибута subsequent недолжно совпадать со значением атрибута precedent.
4.3.3 Объект Characteristic_data_table
Объект Characteristic_data_table является подтипом объекта Representation_ item, который
описывается одним или несколькими объектами Characteristic_data_table_ row.
EXPRESS-слецификация.
*)
ENTITY Characteristic_data_table
SUBTYPE OF (Representation^tem);
property_value : LIST[1:?] OF Characteristic_data_table_row;
WHERE
WR1:SIZEOF(QUERY(pv <* property_value |NOT (SIZEOF(pv.cell) =
SIZEOF(property_value(1).cell)) )) = 0;
END_ENTITY;
(*
Определение атрибута
property_value - задает список, состоящий из одного или нескольких объектов Characteris-
tic_data_table_row, который определяет объект Characteristic_data_table.
Формальное утверждение
WR1 - размер каждой строки таблицы должен совпадать с размером ее первой строки.
6