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