ГОСТ Р ИСО 10303-14—2015
9.3.2 Атрибуты образа
Атрибут типаданных образа представляет характеристику образа. Значение атрибута экземпляра
образа получают в результате вычисления значения выражения, представленного элементом языка
expression из синтаксического правила 224.
Имя атрибута образа
(view_attribute_id
из синтаксического правила 224) представляет роль,
которую играет связанное с ним значение в контексте образа, в котором присутствует данный атрибут.
Синтаксис:
226 view attr aecl stmt list = ( view attribute decl ) .
224 view attribute decl = view attribute id ’:’ ( OPTIONAL ] [
source schema ref] base type ’expression.
Правила и ограничения
a) Значение, полученное в результате вычисления выражения, представленного элементом языка
expression
из синтаксического правила 224, должно быть совместимо по присваиванию с атрибутом
образа
base_type.
b) Любое имя атрибута образа
view_atrribute_id.
объявленное в объявлении образа, должно
быть уникально в рамках данного объявления.
c) Элемент языка
optional
показывает, что значение данного атрибута может быть неопреде
ленным. Использование элемента языка
optional
не влияет на модель исполнения.
9.3.3 Разделы образа
Раздел образа является подмножеством пространства образа. Пространство образа представля
ет собой объединение его разделов. Объявление образа состоит из одного или нескольких объявлений
разделов, в каждое из которых входят свои собственные элементы языка
FROM
и
WHERE.
Пример
—
В ИСО 10303-201 прикладной объект
ORGANIZATION
может быть отображен из объ
екта
PERSON,ORGANIZATION
или
PERSON_AND_ORGANIZATION.
Отображение образа данной схемы на
образ
arra_organization
определено следующим образом:
VIEW arm_organization;
PARTITION a_single_j>erson;
FROM p : person;
PARTITION a_single_organization;
FROM o: organization;
PARTITION a_person_in_an_organization;
FROM po: person_and_organization;
END VIEW;
Синтаксис:
228 view decl = (root view decl Idependent view decl Isubtype view decl
> -
177 root view decl = VIEW view id l supertype constraint J
Binding header SELECT view attr decl stmt list { bindinq header SELECT
view attr decl stmt list l END VIEW-
67 dependent view decl = VIEW view id base type binding header
RETURN expression { bindinq header RETURN expression 1 END VIEW .
206 subtype view decl = VIEW view id subtype declaration ’;’ subtype
binding header SELECT view attr decl stmt list i subtype bindinq
header SELECT view attr decl stmt list ) END VIEW
203 subtype binding header = lPARTITION partition idj where clause .
47 binding header = [ PARTITION partition -id ) ( from clause ] [
local decl J l where clause J [ identified by clause J [
ordered by clause ) .
15