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