ГОСТ Р 56271-2014
Приложение Н
(справочное)
Формальны© ограничения вне шаблона
Язык шаблона может быть встроен в более выразительный язык первого порядка. С помощью богатых фор
мализмов можно получить выражения для широкого диапазона ограничений, представляющих практический ин
терес.
П р и м е р 1 — Транзитивность сущности Specialization может быть показана следующим об
разом.
Vxyz(SpecializatiooTemp!ate(x. y)*,SpeaalizationTemplate{y. z) — SpecializationTemplate(x. z))
П р и м е р 2— Если a — это член b. mo b может не быть членом а. Настоящее ограничение можно
представить в виде:
Уху (Classification Templatefx.y) —-^ClassificationTemplate{y.x))
87