ГОСТ Р ИСО 10303-14-2015 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 14. Методы описания. Справочное руководство по языку EXPRESS-X (Переиздание)
Приложение D
(справочное)
Вопросы реализации
D.1 Полное отображение
Реализация выполняет полное отображение в том случае, если она удовлетворяет следующим критериям:
- программа отображения принимает на входе один или несколько наборов исходных данных и производит один или несколько выходных наборов данных (отображений) или пространств образов (образов);
- выходные наборы данных производятся из входных наборов данных с помощью выполнения и вычисления всех объявлений образов (VIEW) отображений и отображений (MAP);
- каждый экземпляр из входных наборов данных отображается на выходные наборы данных (отображения) или пространства образов (образы) так, как указано в схеме отображения.
D.2 Отображение по запросам
Реализация выполняет отображение по запросам в том случае, если она удовлетворяет следующим критериям:
- программа отображения принимает на входе один или несколько наборов исходных данных;
- только указанные в запросах экземпляры целевых данных производятся из наборов входных данных с помощью выполнения и вычисления соответствующих объявлений образов или отображений.
Примечание - В настоящем стандарте не определено, как объявления образов и отображений выбираются для отображения по запросам.
D.3 Поддержка проверки ограничений
Реализация поддерживает проверку ограничений в том случае, если в ней реализованы положения, описанные в подразделе 9.6 ИСО 10303-11, по отношению к экземплярам объектов в целевых наборах данных и экземплярам образов в пространствах образов.
Примечание - Проверка ограничений не влияет на выполнение отображения.
D.4 Поддержка обновлений
Выполнение обновлений невозможно в тех случаях, когда имеет место любое из следующих положений:
- образ/целевой объект производится/отображается из двух или более исходных объектов с помощью одной операции.
Пример - Образ/целевой объект person_in_dept соответствует исходным объектам person и department, если значением объединяющего их условия person.id = department.person_id является TRUE; |
- дубликаты, т.е. экземпляры, имеющие одинаковые значения атрибутов, существующие в исходных данных, удаляются из образа/целевых данных;
- атрибуты образов/целевые атрибуты получены/отображены из элементов исходной схемы с помощью математических выражений, которые не являются математически обратимыми;
- схема образа/целевая схема определяет дополнительные подтипы данных, которые не существуют в исходной схеме (схемах);
- подтипы данных, определенные в исходной схеме (схемах), переносятся в схему образа/целевую схему (т.е. не содержатся в ней);
- порядок сортировки исходных атрибутов типа данных AGGREGATE аннулируется в схеме образа/целевой схеме;
- дубликаты (с точки зрения эквивалентности значений) элементов исходных атрибутов типа данных AGGREGATE исключаются из схемы образа/целевой схемы;
- один исходный объект соответствует сети взаимосвязанных образов/целевых объектов (через взаимосвязи или эквивалентность значений атрибутов).
__________________