Логические аспекты языков спецификаций реагирующих информационных систем
Руководитель проекта: Байжанов Б.С.
Исполнители проекта: В.В.Вербовский
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0202РК00934
Регистрационный номер: 0100РК00348
Ключевые слова: Информационные системы, Логические языки спецификаций, Программное обеспечение,
Для описания гибридных систем реального времени и приближенного описания нелинейных процессов построены логические языки спецификаций. Доказана их непротиворечивость. Составлена интерпретация языков в логике предикатов. Исследованы выразительные способности запросов первого порядка баз данных над о-минимальными теориями. Установлена связь между реляционными базами данных на расширенном и обедненном языках. Результаты могут быть применены при разработке программного обеспечения.