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