яді двох інцідентних точок р0 і р1 (атрибутів типу point) виглядає наступним чином:
ENTITY line;, p1: point; _ENTITY;
Атрибути і змінні самі можуть бути сутностями, так тип атрибутів p0 і p1 попереднього прикладу декларується, як сутність, атрибутами якої в разі простору 3D є геометричні координати x, y, z:
ENTITY point;, y, z: REAL; _ENTITY;
У мові Express-G сутності зображуються прямокутниками, всередині прямокутника записується ім'я сутності (рис. 1.2).
В
Рис. 1.2. Зображення сутності в мові Express-G
Зображення атрибутів в Express-G пояснює рис. 1.3, з якого, зокрема, випливає, що атрибут представлений прямокутником, а зв'язку "сутність-атрибут" або "сутність-сутність" відображаються лініями, причому у випадку зв'язку з optional атрибутом використовується пунктирна лінія. Напрямок зв'язку позначається окружністю на кінці лінії, що веде до атрибуту. Ім'я атрибута записується поруч з цією лінією. У прямокутнику атрибуту записується тип атрибута. br/>В
Рис. 1.3. Зображення атрибутів у мові Express-G
До простих типів даних відносяться такі типи:
В· integer - цілі числа;
В· real - речові числа;
В· number - тип, який об'єднує типи integer та real;
В· logical - його значеннями можуть бути true, false або unknown (невизначеність);
В· Boolean - з можливими значеннями true або false;
В· binary - послідовність бітів 1 або 0;
В· string - рядок символів.
В
Рис. 1.4. Зображення простих типів у мові Express-G
Зображення простих типів мовою Express-G показані на рис.1. 4. p> 1.3 Мова Express: супертіпа і підтипи <# "justify"> Відносини агрегування (типу ціле-частина) або відносини узагальнення (функція-варіант реалізації), характерні для представлення структур об'єктів у вигляді альтернативних (І-АБО ) дерев, у мові Express виражаються у формі відносин між типами даних. Для цього введені поняття супертіпа (supertype), як більш загального типу, і підтипів (subtypes), як підлеглих типів. На рис. 1.5 верхня сутність відноситься до супертіпа, а три нижніх прямокутника зображують підтипи, лінії зв'язку прямокутників повинні бути потовщеними.
Розглянемо приклад фрагмента І-АБО-дерева, в якому є АБО вершина a1 і дві підлеглі їй альтернативні вершини b1 і b2. Загальним атрибутом для b1 і b2 є size типу real...
