Язык EXPRESS допускает повторное объявление наследованных атрибутов, обеспечивающее совместимость новых типов данных атрибутов. В приведенном ниже примере показаны некоторые допустимые формы повторного объявления:
- типом данных повторно объявленного атрибута является подтип наследованного типа;
- типом данных повторно объявленного атрибута является совместимый простой тип данных;
- значение повторно объявленного атрибута является необходимым, хотя наследованное значение было необязательным.
Пример - Повторное объявление атрибута на языке EXPRESS.
ENTITY sup_a; | ||||
attr : sup_b; | ||||
END_ENTITY; | ||||
SUBTYPE OF (sup_a); | ||||
END_ENTITY; | ||||
num : OPTIONAL NUMBER; | ||||
END_ENTITY; | ||||
SUBTYPE OF (sup_b); | ||||
END_ENTITY; |