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