Логические языки спецификаций реагирующих информационных систем
Full Name of the work head: Б.С.Байжанов
Исполнители проекта: В.В.Вербовский
: Ин-т пробл. информат. и упр.
Inventory number: 0205РК00745
Registration number: 0103РК00123
Keywords: Информационные системы, Языки спецификаций,
Показана невозможность интерпретации языка спецификаций RAISE в логике предикатов первого порядка. Проведен анализ систем формул DC, выражающих свойства кусочной постоянности. Получена характеризация теорий без свойства конечной покрываемости над множеством (nfcp) в терминах обогащения одноместным предикатом.
